-
Large deviations of one-hidden-layer neural networks
Authors:
Christian Hirsch,
Daniel Willhalm
Abstract:
We study large deviations in the context of stochastic gradient descent for one-hidden-layer neural networks with quadratic loss. We derive a quenched large deviation principle, where we condition on an initial weight measure, and an annealed large deviation principle for the empirical weight evolution during training when letting the number of neurons and the number of training iterations simulta…
▽ More
We study large deviations in the context of stochastic gradient descent for one-hidden-layer neural networks with quadratic loss. We derive a quenched large deviation principle, where we condition on an initial weight measure, and an annealed large deviation principle for the empirical weight evolution during training when letting the number of neurons and the number of training iterations simultaneously tend to infinity. The weight evolution is treated as an interacting dynamic particle system. The distinctive aspect compared to prior work on interacting particle systems lies in the discrete particle updates, simultaneously with a growing number of particles.
△ Less
Submitted 14 March, 2024;
originally announced March 2024.
-
Poisson approximation of fixed-degree nodes in weighted random connection models
Authors:
Christian Hirsch,
Benedikt Jahnel,
Sanjoy Kumar Jhawar,
Peter Juhasz
Abstract:
We present a process-level Poisson-approximation result for the degree-k vertices in a high-density weighted random connection model with preferential-attachment kernel in the unit volume. Our main focus lies on the impact of the left tails of the weight distribution for which we establish general criteria based on their small-weight quantiles. To illustrate that our conditions are broadly applica…
▽ More
We present a process-level Poisson-approximation result for the degree-k vertices in a high-density weighted random connection model with preferential-attachment kernel in the unit volume. Our main focus lies on the impact of the left tails of the weight distribution for which we establish general criteria based on their small-weight quantiles. To illustrate that our conditions are broadly applicable, we verify them for weight distributions with polynomial and stretched exponential left tails. The proofs rest on truncation arguments and a recently established quantitative Poisson approximation result for functionals of Poisson point processes.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Cumulant method for weighted random connection models
Authors:
Nils Heerten,
Christian Hirsch,
Moritz Otto
Abstract:
In this paper, we derive cumulant bounds for subgraph counts and power-weighted edge length in a class of spatial random networks known as weighted random connection models. This involves dealing with long-range spatial correlations induced by the profile function and the weight distribution. We start by deriving the bounds for the classical case of a Poisson vertex set, and then provide extension…
▽ More
In this paper, we derive cumulant bounds for subgraph counts and power-weighted edge length in a class of spatial random networks known as weighted random connection models. This involves dealing with long-range spatial correlations induced by the profile function and the weight distribution. We start by deriving the bounds for the classical case of a Poisson vertex set, and then provide extensions to $α$-determinantal processes.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
Large deviations for the isoperimetric constant in 2D percolation
Authors:
Christian Hirsch,
Kyeongsik Nam
Abstract:
Isoperimetric profile describes the minimal boundary size of a set with a prescribed volume. Itai Benjamini conjectured that the isoperimetric profile of the giant component in supercritical percolation experiences an averaging effect and satisfies the law of large numbers. This conjecture was settled by Biskup-Louidor-Procaccia-Rosenthal for 2D percolation, and later resolved by Gold for higher-d…
▽ More
Isoperimetric profile describes the minimal boundary size of a set with a prescribed volume. Itai Benjamini conjectured that the isoperimetric profile of the giant component in supercritical percolation experiences an averaging effect and satisfies the law of large numbers. This conjecture was settled by Biskup-Louidor-Procaccia-Rosenthal for 2D percolation, and later resolved by Gold for higher-dimensional lattices.
However, more refined properties of the isoperimetric profile, such as fluctuations and large deviations, remain unknown. In this paper, we determine the large deviation probabilities of the isoperimetric constant in 2D supercritical percolation, answering the question by Biskup-Louidor-Procaccia-Rosenthal. Interestingly, while the large deviation probability is of surface order in the entire upper tail regime, a phase transition occurs in the lower tail regime, exhibiting both surface and volume order large deviations.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
On the topology of higher-order age-dependent random connection models
Authors:
Christian Hirsch,
Peter Juhasz
Abstract:
In this paper, we investigate the potential of the age-dependent random connection model (ADRCM) with the aim of representing higher-order networks. A key contribution of our work are probabilistic limit results in large domains. More precisely, we first prove that the higher-order degree distributions have a power-law tail. Second, we establish central limit theorems for the edge counts and Betti…
▽ More
In this paper, we investigate the potential of the age-dependent random connection model (ADRCM) with the aim of representing higher-order networks. A key contribution of our work are probabilistic limit results in large domains. More precisely, we first prove that the higher-order degree distributions have a power-law tail. Second, we establish central limit theorems for the edge counts and Betti numbers of the ADRCM in the regime where the degree distribution is light tailed. Moreover, in the heavy-tailed regime, we prove that asymptotically, the recentered and suitably rescaled edge counts converge to a stable distribution. We also propose a modification of the ADRCM in the form of a thinning procedure that enables independent adjustment of the power-law exponents for vertex and edge degrees. To apply the derived theorems to finite networks, we conduct a simulation study illustrating that the power-law degree distribution exponents approach their theoretical limits for large networks. It also indicates that in the heavy-tailed regime, the limit distribution of the recentered and suitably rescaled Betti numbers is stable. We demonstrate the practical application of the theoretical results to real-world datasets by analyzing scientific collaboration networks based on data from arXiv.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
Normal approximation for Gibbs processes via disagreement couplings
Authors:
Christian Hirsch,
Moritz Otto,
Anne Marie Svane
Abstract:
This work improves the existing central limit theorems (CLTs) for geometric functionals of Gibbs processes in three aspects. First, we derive a CLT for weakly stabilizing functionals, thereby improving on the previously used assumption of exponential stabilization. Second, we show that this CLT holds for interaction ranges up to the percolation threshold of the dominating Poisson process. This avo…
▽ More
This work improves the existing central limit theorems (CLTs) for geometric functionals of Gibbs processes in three aspects. First, we derive a CLT for weakly stabilizing functionals, thereby improving on the previously used assumption of exponential stabilization. Second, we show that this CLT holds for interaction ranges up to the percolation threshold of the dominating Poisson process. This avoids imprecise branching bounds from graphical construction. Third, by constructing simultaneous couplings of several Palm processes for Gibbs functionals, we provide a quantitative CLT in terms of Kolmogorov bounds for normal approximation. An important conceptual ingredient in these advances is the extension of disagreement coupling adapted to unbounded windows and to the comparison at multiple spatial locations.
△ Less
Submitted 11 June, 2024; v1 submitted 1 September, 2023;
originally announced September 2023.
-
Lower large deviations for geometric functionals in sparse, critical and dense regimes
Authors:
Christian Hirsch,
Daniel Willhalm
Abstract:
We prove lower large deviations for geometric functionals in sparse, critical and dense regimes. Our results are tailored for functionals with nonexisting exponential moments, for which standard large deviation theory is not applicable. The primary tool of the proofs is a sprinkling technique that, adapted to the considered functionals, ensures a certain boundedness. This substantially generalizes…
▽ More
We prove lower large deviations for geometric functionals in sparse, critical and dense regimes. Our results are tailored for functionals with nonexisting exponential moments, for which standard large deviation theory is not applicable. The primary tool of the proofs is a sprinkling technique that, adapted to the considered functionals, ensures a certain boundedness. This substantially generalizes previous approaches to tackle lower tails with sprinkling. Applications include subgraph counts, persistent Betti numbers and edge lengths based on a sparse random geometric graph, power-weighted edge lengths of a $k$-nearest neighbor graph as well as power-weighted spherical contact distances in a critical regime and volumes of $k$-nearest neighbor balls in a dense regime.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
Large deviations for hyperbolic $k$-nearest neighbor balls
Authors:
Christian Hirsch,
Moritz Otto,
Takashi Owada,
Christoph Thäle
Abstract:
We prove a large deviation principle for the point process of large Poisson $k$-nearest neighbor balls in hyperbolic space. More precisely, we consider a stationary Poisson point process of unit intensity in a growing sampling window in hyperbolic space. We further take a growing sequence of thresholds such that there is a diverging expected number of Poisson points whose $k$-nearest neighbor ball…
▽ More
We prove a large deviation principle for the point process of large Poisson $k$-nearest neighbor balls in hyperbolic space. More precisely, we consider a stationary Poisson point process of unit intensity in a growing sampling window in hyperbolic space. We further take a growing sequence of thresholds such that there is a diverging expected number of Poisson points whose $k$-nearest neighbor ball has a volume exceeding this threshold. Then, the point process of exceedances satisfies a large deviation principle whose rate function is described in terms of a relative entropy. The proof relies on a fine coarse-graining technique such that inside the resulting blocks the exceedances are approximated by independent Poisson point processes.
△ Less
Submitted 18 April, 2023;
originally announced April 2023.
-
Training one model to detect heart and lung sound events from single point auscultations
Authors:
Leander Melms,
Robert R. Ilesan,
Ulrich Köhler,
Olaf Hildebrandt,
Regina Conradt,
Jens Eckstein,
Cihan Atila,
Sami Matrood,
Bernhard Schieffer,
Jürgen R. Schaefer,
Tobias Müller,
Julius Obergassel,
Nadine Schlicker,
Martin C. Hirsch
Abstract:
Objective: This work proposes a semi-supervised training approach for detecting lung and heart sounds simultaneously with only one trained model and in invariance to the auscultation point. Methods: We use open-access data from the 2016 Physionet/CinC Challenge, the 2022 George Moody Challenge, and from the lung sound database HF_V1. We first train specialist single-task models using foreground gr…
▽ More
Objective: This work proposes a semi-supervised training approach for detecting lung and heart sounds simultaneously with only one trained model and in invariance to the auscultation point. Methods: We use open-access data from the 2016 Physionet/CinC Challenge, the 2022 George Moody Challenge, and from the lung sound database HF_V1. We first train specialist single-task models using foreground ground truth (GT) labels from different auscultation databases to identify background sound events in the respective lung and heart auscultation databases. The pseudo-labels generated in this way were combined with the ground truth labels in a new training iteration, such that a new model was subsequently trained to detect foreground and background signals. Benchmark tests ensured that the newly trained model could detect both, lung, and heart sound events in different auscultation sites without regressing on the original task. We also established hand-validated labels for the respective background signal in heart and lung sound auscultations to evaluate the models. Results: In this work, we report for the first time results for i) a multi-class prediction for lung sound events and ii) for simultaneous detection of heart and lung sound events and achieve competitive results using only one model. The combined multi-task model regressed slightly in heart sound detection and gained significantly in lung sound detection accuracy with an overall macro F1 score of 39.2% over six classes, representing a 6.7% improvement over the single-task baseline models. Conclusion/Significance: To the best of our knowledge, this is the first approach developed to date for measuring heart and lung sound events invariant to both, the auscultation site and capturing device. Hence, our model is capable of performing lung and heart sound detection from any auscultation location.
△ Less
Submitted 15 January, 2023;
originally announced January 2023.
-
Limit theory of sparse random geometric graphs in high dimensions
Authors:
Gilles Bonnet,
Christian Hirsch,
Daniel Rosen,
Daniel Willhalm
Abstract:
We study topological and geometric functionals of $l_\infty$-random geometric graphs on the high-dimensional torus in a sparse regime, where the expected number of neighbors decays exponentially in the dimension. More precisely, we establish moment asymptotics, functional central limit theorems and Poisson approximation theorems for certain functionals that are additive under disjoint unions of gr…
▽ More
We study topological and geometric functionals of $l_\infty$-random geometric graphs on the high-dimensional torus in a sparse regime, where the expected number of neighbors decays exponentially in the dimension. More precisely, we establish moment asymptotics, functional central limit theorems and Poisson approximation theorems for certain functionals that are additive under disjoint unions of graphs. For instance, this includes simplex counts and Betti numbers of the Rips complex, as well as general subgraph counts of the random geometric graph. We also present multi-additive extensions that cover the case of persistent Betti numbers of the Rips complex.
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
Face and cycle percolation
Authors:
Christian Hirsch,
Daniel Valesin
Abstract:
We consider face and cycle percolation as models for continuum percolation based on random simplicial complexes in Euclidean space. Face percolation is defined through infinite sequences of $d$-simplices sharing a $(d-1)$-dimensional face. In contrast, cycle percolation demands the existence of infinite $d$-cycles, thereby generalizing the lattice notion of plaquette percolation. We discuss the sh…
▽ More
We consider face and cycle percolation as models for continuum percolation based on random simplicial complexes in Euclidean space. Face percolation is defined through infinite sequences of $d$-simplices sharing a $(d-1)$-dimensional face. In contrast, cycle percolation demands the existence of infinite $d$-cycles, thereby generalizing the lattice notion of plaquette percolation. We discuss the sharp phase transition for face percolation and derive comparison results between the critical intensities for face and cycle percolation. Finally, we consider an alternate version of simplex percolation, by declaring simplices to be neighbors whenever they are sufficiently close to each other, and prove a strict inequality involving the critical intensity of this alternate version and that of face percolation.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
Large deviations for the volume of $k$-nearest neighbor balls
Authors:
Christian Hirsch,
Taegyu Kang,
Takashi Owada
Abstract:
This paper develops the large deviations theory for the point process associated with the Euclidean volume of $k$-nearest neighbor balls centered around the points of a homogeneous Poisson or a binomial point processes in the unit cube. Two different types of large deviation behaviors of such point processes are investigated. Our first result is the Donsker-Varadhan large deviation principle, unde…
▽ More
This paper develops the large deviations theory for the point process associated with the Euclidean volume of $k$-nearest neighbor balls centered around the points of a homogeneous Poisson or a binomial point processes in the unit cube. Two different types of large deviation behaviors of such point processes are investigated. Our first result is the Donsker-Varadhan large deviation principle, under the assumption that the centering terms for the volume of $k$-nearest neighbor balls grow to infinity more slowly than those needed for Poisson convergence. Additionally, we also study large deviations based on the notion of $\mathcal M_0$-topology, which takes place when the centering terms tend to infinity sufficiently fast, compared to those for Poisson convergence. As applications of our main theorems, we discuss large deviations for the number of Poisson or binomial points of degree at most $k$ in a geometric graph in the dense regime.
△ Less
Submitted 22 October, 2022;
originally announced October 2022.
-
Persistent homology based goodness-of-fit tests for spatial tessellations
Authors:
Christian Hirsch,
Johannes Krebs,
Claudia Redenbach
Abstract:
Motivated by the rapidly increasing relevance of virtual material design in the domain of materials science, it has become essential to assess whether topological properties of stochastic models for a spatial tessellation are in accordance with a given dataset. Recently, tools from topological data analysis such as the persistence diagram have allowed to reach profound insights in a variety of app…
▽ More
Motivated by the rapidly increasing relevance of virtual material design in the domain of materials science, it has become essential to assess whether topological properties of stochastic models for a spatial tessellation are in accordance with a given dataset. Recently, tools from topological data analysis such as the persistence diagram have allowed to reach profound insights in a variety of application contexts. In this work, we establish the asymptotic normality of a variety of test statistics derived from a tessellation-adapted refinement of the persistence diagram. Since in applications, it is common to work with tessellation data subject to interactions, we establish our main results for Voronoi and Laguerre tessellations whose generators form a Gibbs point process. We elucidate how these conceptual results can be used to derive goodness of fit tests, and then investigate their power in a simulation study. Finally, we apply our testing methodology to a tessellation describing real foam data.
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
Upper large deviations for power-weighted edge lengths in spatial random networks
Authors:
Christian Hirsch,
Daniel Willhalm
Abstract:
We study the large-volume asymptotics of the sum of power-weighted edge lengths $\sum_{e \in E}|e|^α$ in Poisson-based spatial random networks. In the regime $α> d$, we provide a set of sufficient conditions under which the upper large deviations asymptotics are characterized by a condensation phenomenon, meaning that the excess is caused by a negligible portion of Poisson points. Moreover, the ra…
▽ More
We study the large-volume asymptotics of the sum of power-weighted edge lengths $\sum_{e \in E}|e|^α$ in Poisson-based spatial random networks. In the regime $α> d$, we provide a set of sufficient conditions under which the upper large deviations asymptotics are characterized by a condensation phenomenon, meaning that the excess is caused by a negligible portion of Poisson points. Moreover, the rate function can be expressed through a concrete optimization problem. This framework encompasses in particular directed, bidirected and undirected variants of the $k$-nearest neighbor graph, as well as suitable $β$-skeletons.
△ Less
Submitted 1 March, 2023; v1 submitted 4 March, 2022;
originally announced March 2022.
-
Sharp phase transition for Cox percolation
Authors:
Christian Hirsch,
Benedikt Jahnel,
Stephen Muirhead
Abstract:
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 constructio…
▽ More
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.
△ Less
Submitted 2 March, 2022;
originally announced March 2022.
-
Backpropagation Clip** for Deep Learning with Differential Privacy
Authors:
Timothy Stevens,
Ivoline C. Ngong,
David Darais,
Calvin Hirsch,
David Slater,
Joseph P. Near
Abstract:
We present backpropagation clip**, a novel variant of differentially private stochastic gradient descent (DP-SGD) for privacy-preserving deep learning. Our approach clips each trainable layer's inputs (during the forward pass) and its upstream gradients (during the backward pass) to ensure bounded global sensitivity for the layer's gradient; this combination replaces the gradient clip** step i…
▽ More
We present backpropagation clip**, a novel variant of differentially private stochastic gradient descent (DP-SGD) for privacy-preserving deep learning. Our approach clips each trainable layer's inputs (during the forward pass) and its upstream gradients (during the backward pass) to ensure bounded global sensitivity for the layer's gradient; this combination replaces the gradient clip** step in existing DP-SGD variants. Our approach is simple to implement in existing deep learning frameworks. The results of our empirical evaluation demonstrate that backpropagation clip** provides higher accuracy at lower values for the privacy parameter $ε$ compared to previous work. We achieve 98.7% accuracy for MNIST with $ε= 0.07$ and 74% accuracy for CIFAR-10 with $ε= 3.64$.
△ Less
Submitted 17 February, 2022; v1 submitted 10 February, 2022;
originally announced February 2022.
-
Agent-based simulations for coverage extensions in 5G networks and beyond
Authors:
Chaima Ghribi,
Elie Cali,
Christian Hirsch,
Benedikt Jahnel
Abstract:
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…
▽ More
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.
△ Less
Submitted 28 January, 2022;
originally announced January 2022.
-
Large deviation principle for geometric and topological functionals and associated point processes
Authors:
Christian Hirsch,
Takashi Owada
Abstract:
We prove a large deviation principle for the point process associated to $k$-element connected components in $\mathbb R^d$ with respect to the connectivity radii $r_n\to\infty$. The random points are generated from a homogeneous Poisson point process, so that $(r_n)_{n\ge1}$ satisfies $n^kr_n^{d(k-1)}\to\infty$ and $nr_n^d\to0$ as $n\to\infty$ (i.e., sparse regime). The rate function for the obtai…
▽ More
We prove a large deviation principle for the point process associated to $k$-element connected components in $\mathbb R^d$ with respect to the connectivity radii $r_n\to\infty$. The random points are generated from a homogeneous Poisson point process, so that $(r_n)_{n\ge1}$ satisfies $n^kr_n^{d(k-1)}\to\infty$ and $nr_n^d\to0$ as $n\to\infty$ (i.e., sparse regime). The rate function for the obtained large deviation principle can be represented as relative entropy. As an application, we deduce large deviation principles for various functionals and point processes appearing in stochastic geometry and topology. As concrete examples of topological invariants, we consider persistent Betti numbers of geometric complexes and the number of Morse critical points of the min-type distance function.
△ Less
Submitted 17 October, 2022; v1 submitted 18 January, 2022;
originally announced January 2022.
-
Topology-based goodness-of-fit tests for sliced spatial data
Authors:
Alessandra Cipriani,
Christian Hirsch,
Martina Vittorietti
Abstract:
In materials science and many other application domains, 3D information can often only be extrapolated by taking 2D slices. In topological data analysis, persistence vineyards have emerged as a powerful tool to take into account topological features stretching over several slices. In the present paper, we illustrate how persistence vineyards can be used to design rigorous statistical hypothesis te…
▽ More
In materials science and many other application domains, 3D information can often only be extrapolated by taking 2D slices. In topological data analysis, persistence vineyards have emerged as a powerful tool to take into account topological features stretching over several slices. In the present paper, we illustrate how persistence vineyards can be used to design rigorous statistical hypothesis tests for 3D microstructure models based on data from 2D slices. More precisely, by establishing the asymptotic normality of suitable longitudinal and cross-sectional summary statistics, we devise goodness-of-fit tests that become asymptotically exact in large sampling windows. We illustrate the testing methodology through a detailed simulation study and provide a prototypical example from materials science.
△ Less
Submitted 11 January, 2022;
originally announced January 2022.
-
Asymptotic properties of one-layer artificial neural networks with sparse connectivity
Authors:
Christian Hirsch,
Matthias Neumann,
Volker Schmidt
Abstract:
A law of large numbers for the empirical distribution of parameters of a one-layer artificial neural networks with sparse connectivity is derived for a simultaneously increasing number of both, neurons and training iterations of the stochastic gradient descent.
A law of large numbers for the empirical distribution of parameters of a one-layer artificial neural networks with sparse connectivity is derived for a simultaneously increasing number of both, neurons and training iterations of the stochastic gradient descent.
△ Less
Submitted 9 December, 2021; v1 submitted 1 December, 2021;
originally announced December 2021.
-
Connection intervals in multi-scale dynamic networks
Authors:
Christian Hirsch,
Benedikt Jahnel,
Elie Cali
Abstract:
We 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 identif…
▽ More
We 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.
△ Less
Submitted 25 November, 2021;
originally announced November 2021.
-
On the consistency and asymptotic normality of multiparameter persistent Betti numbers
Authors:
Magnus Bakke Botnan,
Christian Hirsch
Abstract:
The persistent Betti numbers are used in topological data analysis to infer the scales at which topological features appear and disappear in the filtration of a topological space. Most commonly by means of the corresponding barcode or persistence diagram. While this approach to data science has been very successful, it suffers from sensitivity to outliers, and it does not allow for additional filt…
▽ More
The persistent Betti numbers are used in topological data analysis to infer the scales at which topological features appear and disappear in the filtration of a topological space. Most commonly by means of the corresponding barcode or persistence diagram. While this approach to data science has been very successful, it suffers from sensitivity to outliers, and it does not allow for additional filtration parameters. Such parameters naturally appear when a cloud of data points comes together with additional measurements taken at the locations of the data. For these reasons, multiparameter persistent homology has recently received significant attention. In particular, the multicover and Čech bifiltration have been introduced to overcome the aforementioned shortcomings.
In this work, we establish the strong consistency and asymptotic normality of the multiparameter persistent Betti numbers in growing domains. Our asymptotic results are established for a general framework encompassing both the marked Čech bifiltration, as well as the multicover bifiltration constructed on the null model of an independently marked Poisson point process. In a simulation study, we explain how the asymptotic normality can be used to derive tests for the goodness of fit. The statistical power of such tests is illustrated through different alternatives exhibiting more clustering, or more repulsion than the null model.
△ Less
Submitted 12 September, 2021;
originally announced September 2021.
-
Percolation and connection times in multi-scale dynamic networks
Authors:
Christian Hirsch,
Benedikt Jahnel,
Elie Cali
Abstract:
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, stro…
▽ More
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.
△ Less
Submitted 4 March, 2021;
originally announced March 2021.
-
Weakly reinforced Pólya urns on countable networks
Authors:
Yannick Couzinié,
Christian Hirsch
Abstract:
We study the long-time asymptotics of a network of weakly reinforced Pólya urns. In this system, which extends the WARM introduced by R. van der Hofstad et. al. (2016) to countable networks, the nodes fire at times given by a Poisson point process. When a node fires, one of the incident edges is selected with a probability proportional to its weight raised to a power $α< 1$, and then this weight i…
▽ More
We study the long-time asymptotics of a network of weakly reinforced Pólya urns. In this system, which extends the WARM introduced by R. van der Hofstad et. al. (2016) to countable networks, the nodes fire at times given by a Poisson point process. When a node fires, one of the incident edges is selected with a probability proportional to its weight raised to a power $α< 1$, and then this weight is increased by $1$.
We show that for $α< 1/2$ on a network of bounded degrees, every edge is reinforced a positive proportion of time, and that the limiting proportion can be interpreted as an equilibrium in a countable network. Moreover, in the special case of regular graphs, this homogenization remains valid beyond the threshold $α= 1/2$.
△ Less
Submitted 25 June, 2021; v1 submitted 7 October, 2020;
originally announced October 2020.
-
Large deviations in the quantum quasi-1D jellium
Authors:
Christian Hirsch,
Sabine Jansen,
Paul Jung
Abstract:
Wigner's jellium is a model for a gas of electrons. The model consists of $N$ unit negatively charged particles lying in a sea of neutralizing homogeneous positive charge spread out according to Lebesgue measure, and interactions are governed by the Coulomb potential. In this work we consider the quantum jellium on quasi-one-dimensional spaces with Maxwell-Boltzmann statistics. Using the Feynman-K…
▽ More
Wigner's jellium is a model for a gas of electrons. The model consists of $N$ unit negatively charged particles lying in a sea of neutralizing homogeneous positive charge spread out according to Lebesgue measure, and interactions are governed by the Coulomb potential. In this work we consider the quantum jellium on quasi-one-dimensional spaces with Maxwell-Boltzmann statistics. Using the Feynman-Kac representation, we replace particle locations with Brownian bridges. We then adapt the approach of Leblé and Serfaty (2017) to prove a process-level large deviation principle for the empirical fields of the Brownian bridges.
△ Less
Submitted 2 May, 2022; v1 submitted 29 September, 2020;
originally announced September 2020.
-
Extremal life times of persistent loops and holes
Authors:
Nicolas Chenavier,
Christian Hirsch
Abstract:
Persistent homology captures the appearances and disappearances of topological features such as loops and holes when growing disks centered at a Poisson point process. We study extreme values for the life times of features dying in bounded components and with birth resp. death time bounded away from the threshold for continuum percolation. First, we describe the scaling of the minimal life times f…
▽ More
Persistent homology captures the appearances and disappearances of topological features such as loops and holes when growing disks centered at a Poisson point process. We study extreme values for the life times of features dying in bounded components and with birth resp. death time bounded away from the threshold for continuum percolation. First, we describe the scaling of the minimal life times for general feature dimensions, and of the maximal life times for holes in the Čech complex. Then, we proceed to a more refined analysis and establish Poisson approximation for large life times of holes and for small life times of loops. Finally, we also study the scaling of minimal life times in the Vietoris-Rips setting and point to a surprising difference to the Čech complex.
△ Less
Submitted 28 September, 2020;
originally announced September 2020.
-
Invariance principle for random walks on dynamically averaging random conductances
Authors:
Stein Andreas Bethuelsen,
Christian Hirsch,
Christian Mönch
Abstract:
We prove an invariance principle for continuous-time random walks in a dynamically averaging environment on $\mathbb Z$. In the beginning, the conductances may fluctuate substantially, but we assume that as time proceeds, the fluctuations decrease according to a typical diffusive scaling and eventually approach constant unit conductances. The proof relies on a coupling with the standard continuous…
▽ More
We prove an invariance principle for continuous-time random walks in a dynamically averaging environment on $\mathbb Z$. In the beginning, the conductances may fluctuate substantially, but we assume that as time proceeds, the fluctuations decrease according to a typical diffusive scaling and eventually approach constant unit conductances. The proof relies on a coupling with the standard continuous time simple random walk.
△ Less
Submitted 23 September, 2020;
originally announced September 2020.
-
WARM percolation on a regular tree in the strong reinforcement regime
Authors:
Christian Hirsch,
Mark Holmes,
Victor Kleptsyn
Abstract:
We consider a class of reinforcement processes, called WARMs, on tree graphs. These processes involve a parameter $α$ which governs the strength of the reinforcement, and a collection of Poisson processes indexed by the vertices of the graph. It has recently been proved that for any fixed bounded degree graph with Poisson firing rates that are uniformly bounded above, in the very strong reinforcem…
▽ More
We consider a class of reinforcement processes, called WARMs, on tree graphs. These processes involve a parameter $α$ which governs the strength of the reinforcement, and a collection of Poisson processes indexed by the vertices of the graph. It has recently been proved that for any fixed bounded degree graph with Poisson firing rates that are uniformly bounded above, in the very strong reinforcement regime ($α\gg 1$ sufficiently large depending on the maximal degree), the set of edges that "survive" (i.e. that are reinforced infinitely often by the process) has only finite connected components.
The present paper is devoted to the construction of an example in the opposite direction, that is, with the set of surviving edges having infinite connected components. Namely, we show that for each fixed $α>1$ one can find a regular rooted tree and firing rates that are uniformly bounded from above, for which there are infinite components almost surely. Joining such examples, we find a graph (with unbounded degrees) on which for any $α>1$ almost surely there are infinite connected components of surviving edges.
△ Less
Submitted 16 September, 2020;
originally announced September 2020.
-
Rare Events in Random Geometric Graphs
Authors:
Christian Hirsch,
Sarat B. Moka,
Thomas Taimre,
Dirk P. Kroese
Abstract:
This work introduces and compares approaches for estimating rare-event probabilities related to the number of edges in the random geometric graph on a Poisson point process. In the one-dimensional setting, we derive closed-form expressions for a variety of conditional probabilities related to the number of edges in the random geometric graph and develop conditional Monte Carlo algorithms for estim…
▽ More
This work introduces and compares approaches for estimating rare-event probabilities related to the number of edges in the random geometric graph on a Poisson point process. In the one-dimensional setting, we derive closed-form expressions for a variety of conditional probabilities related to the number of edges in the random geometric graph and develop conditional Monte Carlo algorithms for estimating rare-event probabilities on this basis. We prove rigorously a reduction in variance when compared to the crude Monte Carlo estimators and illustrate the magnitude of the improvements in a simulation study. In higher dimensions, we leverage conditional Monte Carlo to remove the fluctuations in the estimator coming from the randomness in the Poisson number of nodes. Finally, building on conceptual insights from large-deviations theory, we illustrate that importance sampling using a Gibbsian point process can further substantially reduce the estimation variance.
△ Less
Submitted 12 July, 2020;
originally announced July 2020.
-
Extremal linkage networks
Authors:
Markus Heydenreich,
Christian Hirsch
Abstract:
We demonstrate how sophisticated graph properties, such as small distances and scale-free degree distributions, arise naturally from a reinforcement mechanism on layered graphs. Every node is assigned an a-priori i.i.d. fitness with max-stable distribution. The fitness determines the node attractiveness w.r.t. incoming edges as well as the spatial range for outgoing edges. For max-stable fitness d…
▽ More
We demonstrate how sophisticated graph properties, such as small distances and scale-free degree distributions, arise naturally from a reinforcement mechanism on layered graphs. Every node is assigned an a-priori i.i.d. fitness with max-stable distribution. The fitness determines the node attractiveness w.r.t. incoming edges as well as the spatial range for outgoing edges. For max-stable fitness distributions, we thus obtain complex spatial network, which we coin extremal linkage network.
△ Less
Submitted 1 June, 2020;
originally announced June 2020.
-
Functional central limit theorems for persistent Betti numbers on cylindrical networks
Authors:
Johannes Krebs,
Christian Hirsch
Abstract:
We study functional central limit theorems for persistent Betti numbers obtained from networks defined on a Poisson point process. The limit is formed in large volumes of cylindrical shape stretching only in one dimension. The results cover a directed sublevel-filtration for stabilizing networks and the Cech and Vietoris-Rips complex on the random geometric graph.
The presented functional centra…
▽ More
We study functional central limit theorems for persistent Betti numbers obtained from networks defined on a Poisson point process. The limit is formed in large volumes of cylindrical shape stretching only in one dimension. The results cover a directed sublevel-filtration for stabilizing networks and the Cech and Vietoris-Rips complex on the random geometric graph.
The presented functional central limit theorems open the door to a variety of statistical applications in topological data analysis and we consider goodness-of-fit tests in a simulation study.
△ Less
Submitted 24 February, 2021; v1 submitted 30 March, 2020;
originally announced March 2020.
-
Optimal stationary markings
Authors:
Bartłomiej Błaszczyszyn,
Christian Hirsch
Abstract:
Many specific problems ranging from theoretical probability to applications in statistical physics, combinatorial optimization and communications can be formulated as an optimal tuning of local parameters in large systems of interacting particles. Using the framework of stationary point processes in the Euclidean space, we pose it as a problem of an optimal stationary marking of a given stationary…
▽ More
Many specific problems ranging from theoretical probability to applications in statistical physics, combinatorial optimization and communications can be formulated as an optimal tuning of local parameters in large systems of interacting particles. Using the framework of stationary point processes in the Euclidean space, we pose it as a problem of an optimal stationary marking of a given stationary point process. The quality of a given marking is evaluated in terms of scores calculated in a covariant manner for all points in function of the proposed marked configuration. In the absence of total order of the configurations of scores, we identify intensity-optimality and local optimality as two natural ways for defining optimal stationary marking. We derive tightness and integrability conditions under which intensity-optimal markings exist and further stabilization conditions making them equivalent to locally optimal ones. We present examples motivating the proposed, general framework. Finally, we discuss various possible approaches leading to uniqueness results.
△ Less
Submitted 22 January, 2020;
originally announced January 2020.
-
Lower large deviations for geometric functionals
Authors:
Christian Hirsch,
Benedikt Jahnel,
András Tóbiás
Abstract:
This 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-Voro…
▽ More
This 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, $k$-nearest neighbor and relative neighborhood graph.
△ Less
Submitted 14 October, 2019;
originally announced October 2019.
-
On the splitting principle for cohomological invariants of reflection groups
Authors:
Stefan Gille,
Christian Hirsch
Abstract:
Let $\mathrm{k}_{0}$ be a field and $W$ a finite orthogonal reflection group over $\mathrm{k}_{0}$. We prove Serre's splitting principle for cohomological invariants of $W$ with values in Rost's cycle modules (over $\mathrm{k}_{0}$) if the characteristic of $\mathrm{k}_{0}$ is coprime to $|W|$. We then show that this principle for such groups holds also for Witt- and Milnor-Witt $K$-theory invaria…
▽ More
Let $\mathrm{k}_{0}$ be a field and $W$ a finite orthogonal reflection group over $\mathrm{k}_{0}$. We prove Serre's splitting principle for cohomological invariants of $W$ with values in Rost's cycle modules (over $\mathrm{k}_{0}$) if the characteristic of $\mathrm{k}_{0}$ is coprime to $|W|$. We then show that this principle for such groups holds also for Witt- and Milnor-Witt $K$-theory invariants.
△ Less
Submitted 17 September, 2019; v1 submitted 21 August, 2019;
originally announced August 2019.
-
Testing goodness of fit for point processes via topological data analysis
Authors:
Christophe Ange Napoléon Biscio,
Nicolas Chenavier,
Christian Hirsch,
Anne Marie Svane
Abstract:
We introduce tests for the goodness of fit of point patterns via methods from topological data analysis. More precisely, the persistent Betti numbers give rise to a bivariate functional summary statistic for observed point patterns that is asymptotically Gaussian in large observation windows. We analyze the power of tests derived from this statistic on simulated point patterns and compare its perf…
▽ More
We introduce tests for the goodness of fit of point patterns via methods from topological data analysis. More precisely, the persistent Betti numbers give rise to a bivariate functional summary statistic for observed point patterns that is asymptotically Gaussian in large observation windows. We analyze the power of tests derived from this statistic on simulated point patterns and compare its performance with global envelope tests. Finally, we apply the tests to a point pattern from an application context in neuroscience. As the main methodological contribution, we derive sufficient conditions for a functional central limit theorem on bounded persistent Betti numbers of point processes with exponential decay of correlations.
△ Less
Submitted 18 June, 2019;
originally announced June 2019.
-
A spatial small-world graph arising from activity-based reinforcement
Authors:
Markus Heydenreich,
Christian Hirsch
Abstract:
In the classical preferential attachment model, links form instantly to newly arriving nodes and do not change over time. We propose a hierarchical random graph model in a spatial setting, where such a time-variability arises from an activity-based reinforcement mechanism. We show that the reinforcement mechanism converges, and prove rigorously that the resulting random graph exhibits the small-wo…
▽ More
In the classical preferential attachment model, links form instantly to newly arriving nodes and do not change over time. We propose a hierarchical random graph model in a spatial setting, where such a time-variability arises from an activity-based reinforcement mechanism. We show that the reinforcement mechanism converges, and prove rigorously that the resulting random graph exhibits the small-world property. A further motivation for this random graph stems from modeling synaptic plasticity.
△ Less
Submitted 3 April, 2019;
originally announced April 2019.
-
The typical cell in anisotropic tessellations
Authors:
Alexander Hinsen,
Christian Hirsch,
Benedikt Jahnel,
Elie Cali
Abstract:
The typical cell is a key concept for stochastic-geometry based modeling in communication networks, as it provides a rigorous framework for describing properties of a serving zone associated with a component selected at random in a large network. We consider a setting where network components are located on a large street network. While earlier investigations were restricted to street systems with…
▽ More
The typical cell is a key concept for stochastic-geometry based modeling in communication networks, as it provides a rigorous framework for describing properties of a serving zone associated with a component selected at random in a large network. We consider a setting where network components are located on a large street network. While earlier investigations were restricted to street systems without preferred directions, in this paper we derive the distribution of the typical cell in Manhattan-type systems characterized by a pattern of horizontal and vertical streets. We explain how the mathematical description can be turned into a simulation algorithm and provide numerical results uncovering novel effects when compared to classical isotropic networks.
△ Less
Submitted 22 November, 2018;
originally announced November 2018.
-
Distances and large deviations in the spatial preferential attachment model
Authors:
Christian Hirsch,
Christian Mönch
Abstract:
We investigate two asymptotic properties of a spatial preferential-attachment model introduced by E. Jacob and P. Mörters (2013). First, in a regime of strong linear reinforcement, we show that typical distances are at most of doubly-logarithmic order. Second, we derive a large deviation principle for the empirical neighbourhood structure and express the rate function as solution to an entropy min…
▽ More
We investigate two asymptotic properties of a spatial preferential-attachment model introduced by E. Jacob and P. Mörters (2013). First, in a regime of strong linear reinforcement, we show that typical distances are at most of doubly-logarithmic order. Second, we derive a large deviation principle for the empirical neighbourhood structure and express the rate function as solution to an entropy minimisation problem in the space of stationary marked point processes.
△ Less
Submitted 26 September, 2018; v1 submitted 26 September, 2018;
originally announced September 2018.
-
On the decomposability of mod 2 cohomological invariants of Weyl groups
Authors:
Christian Hirsch
Abstract:
We compute the invariants so of Weyl groups in mod 2 Milnor K-theory and more general cycle modules, which are annihilated by 2. Over a base field of characteristic coprime to the group order, the invariants decompose as direct sums of the coefficient module. All basis elements are induced either by Stiefel-Whitney classes or specific invariants in the Witt ring. The proof is based on Serre's spli…
▽ More
We compute the invariants so of Weyl groups in mod 2 Milnor K-theory and more general cycle modules, which are annihilated by 2. Over a base field of characteristic coprime to the group order, the invariants decompose as direct sums of the coefficient module. All basis elements are induced either by Stiefel-Whitney classes or specific invariants in the Witt ring. The proof is based on Serre's splitting principle that guarantees detection of invariants on elementary abelian 2-subgroups generated by reflections.
△ Less
Submitted 2 December, 2020; v1 submitted 12 May, 2018;
originally announced May 2018.
-
Estimation of geodesic tortuosity and constrictivity in stationary random closed sets
Authors:
Matthias Neumann,
Christian Hirsch,
Jakub Staněk,
Viktor Beneš,
Volker Schmidt
Abstract:
We investigate the problem of estimating geodesic tortuosity and constrictivity as two structural characteristics of stationary random closed sets. They are of central importance for the analysis of effective transport properties in porous or composite materials. Loosely speaking, geodesic tortuosity measures the windedness of paths whereas the notion of constrictivity captures the appearance of b…
▽ More
We investigate the problem of estimating geodesic tortuosity and constrictivity as two structural characteristics of stationary random closed sets. They are of central importance for the analysis of effective transport properties in porous or composite materials. Loosely speaking, geodesic tortuosity measures the windedness of paths whereas the notion of constrictivity captures the appearance of bottlenecks resulting from narrow passages within a given materials phase. We first provide mathematically precise definitions of these quantities and introduce appropriate estimators. Then, we show strong consistency of these estimators for unboundedly growing sampling windows. In order to apply our estimators to real datasets, the extent of edge effects needs to be controlled. This is illustrated using a model for a multi-phase material that is incorporated in solid oxid fuel cells.
△ Less
Submitted 5 December, 2018; v1 submitted 6 April, 2018;
originally announced April 2018.
-
Percolation for D2D Networks on Street Systems
Authors:
Elie Cali,
Nila Novita Gafur,
Christian Hirsch,
Benedikt Jahnel,
Taoufik En-Najjary,
Robert I. A. Patterson
Abstract:
We study fundamental characteristics for the connectivity of multi-hop D2D networks. Devices are randomly distributed on street systems and are able to communicate with each other whenever their separation is smaller than some connectivity threshold. We model the street systems as Poisson-Voronoi or Poisson-Delaunay tessellations with varying street lengths. We interpret the existence of adequate…
▽ More
We study fundamental characteristics for the connectivity of multi-hop D2D networks. Devices are randomly distributed on street systems and are able to communicate with each other whenever their separation is smaller than some connectivity threshold. We model the street systems as Poisson-Voronoi or Poisson-Delaunay tessellations with varying street lengths. We interpret the existence of adequate D2D connectivity as percolation of the underlying random graph. We derive and compare approximations for the critical device-intensity for percolation, the percolation probability and the graph distance. Our results show that for urban areas, the Poisson Boolean Model gives a very good approximation, while for rural areas, the percolation probability stays far from 1 even far above the percolation threshold.
△ Less
Submitted 31 January, 2018;
originally announced January 2018.
-
Large deviations for the capacity in dynamic spatial relay networks
Authors:
Christian Hirsch,
Benedikt Jahnel
Abstract:
We 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 a…
▽ More
We 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.
△ Less
Submitted 11 December, 2017;
originally announced December 2017.
-
Continuum percolation for Cox point processes
Authors:
Christian Hirsch,
Benedikt Jahnel,
Elie Cali
Abstract:
We investigate continuum percolation for Cox point processes, that is, Poisson point processes driven by random intensity measures. First, we derive sufficient conditions for the existence of non-trivial sub- and super-critical percolation regimes based on the notion of stabilization. Second, we give asymptotic expressions for the percolation probability in large-radius, high-density and coupled r…
▽ More
We investigate continuum percolation for Cox point processes, that is, Poisson point processes driven by random intensity measures. First, we derive sufficient conditions for the existence of non-trivial sub- and super-critical percolation regimes based on the notion of stabilization. Second, we give asymptotic expressions for the percolation probability in large-radius, high-density and coupled regimes. In some regimes, we find universality, whereas in others, a sensitive dependence on the underlying random intensity measure survives.
△ Less
Submitted 31 October, 2017;
originally announced October 2017.
-
On maximal hard-core thinnings of stationary particle processes
Authors:
Christian Hirsch,
Günter Last
Abstract:
The present paper studies existence and distributional uniqueness of subclasses of stationary hard-core particle systems arising as thinnings of stationary particle processes. These subclasses are defined by natural maximality criteria. We investigate two specific criteria, one related to the intensity of the hard-core particle process, the other one being a local optimality criterion on the level…
▽ More
The present paper studies existence and distributional uniqueness of subclasses of stationary hard-core particle systems arising as thinnings of stationary particle processes. These subclasses are defined by natural maximality criteria. We investigate two specific criteria, one related to the intensity of the hard-core particle process, the other one being a local optimality criterion on the level of realizations. In fact, the criteria are equivalent under suitable moment conditions. We show that stationary hard-core thinnings satisfying such criteria exist and are frequently distributionally unique. More precisely, distributional uniqueness holds in subcritical and barely supercritical regimes of continuum percolation. Additionally, based on the analysis of a specific example, we argue that fluctuations in grain sizes can play an important role for establishing distributional uniqueness at high intensities. Finally, we provide a family of algorithmically constructible approximations whose volume fractions are arbitrarily close to the maximum.
△ Less
Submitted 3 July, 2017;
originally announced July 2017.
-
Uniformity of hitting times of the contact process
Authors:
Markus Heydenreich,
Christian Hirsch,
Daniel Valesin
Abstract:
For the supercritical contact process on the hyper-cubic lattice started from a single infection at the origin and conditioned on survival, we establish two uniformity results for the hitting times $t(x)$, defined for each site $x$ as the first time at which it becomes infected. First, the family of random variables $(t(x)-t(y))/|x-y|$, indexed by $x \neq y$ in $\mathbb{Z}^d$, is stochastically ti…
▽ More
For the supercritical contact process on the hyper-cubic lattice started from a single infection at the origin and conditioned on survival, we establish two uniformity results for the hitting times $t(x)$, defined for each site $x$ as the first time at which it becomes infected. First, the family of random variables $(t(x)-t(y))/|x-y|$, indexed by $x \neq y$ in $\mathbb{Z}^d$, is stochastically tight. Second, for each $\varepsilon >0$ there exists $x$ such that, for infinitely many integers $n$, $t(nx) < t((n+1)x)$ with probability larger than $1-\varepsilon$. A key ingredient in our proofs is a tightness result concerning the essential hitting times of the supercritical contact process introduced by Garet and Marchand (Ann.\ Appl.\ Probab., 2012).
△ Less
Submitted 28 April, 2017;
originally announced May 2017.
-
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
Authors:
Anna Lukina,
Lukas Esterle,
Christian Hirsch,
Ezio Bartocci,
Junxing Yang,
Ashish Tiwari,
Scott A. Smolka,
Radu Grosu
Abstract:
We introduce ARES, an efficient approximation algorithm for generating optimal plans (action sequences) that take an initial state of a Markov Decision Process (MDP) to a state whose cost is below a specified (convergence) threshold. ARES uses Particle Swarm Optimization, with adaptive sizing for both the receding horizon and the particle swarm. Inspired by Importance Splitting, the length of the…
▽ More
We introduce ARES, an efficient approximation algorithm for generating optimal plans (action sequences) that take an initial state of a Markov Decision Process (MDP) to a state whose cost is below a specified (convergence) threshold. ARES uses Particle Swarm Optimization, with adaptive sizing for both the receding horizon and the particle swarm. Inspired by Importance Splitting, the length of the horizon and the number of particles are chosen such that at least one particle reaches a next-level state, that is, a state where the cost decreases by a required delta from the previous-level state. The level relation on states and the plans constructed by ARES implicitly define a Lyapunov function and an optimal policy, respectively, both of which could be explicitly generated by applying ARES to all states of the MDP, up to some topological equivalence relation. We also assess the effectiveness of ARES by statistically evaluating its rate of success in generating optimal plans. The ARES algorithm resulted from our desire to clarify if flying in V-formation is a flocking policy that optimizes energy conservation, clear view, and velocity alignment. That is, we were interested to see if one could find optimal plans that bring a flock from an arbitrary initial state to a state exhibiting a single connected V-formation. For flocks with 7 birds, ARES is able to generate a plan that leads to a V-formation in 95% of the 8,000 random initial configurations within 63 seconds, on average. ARES can also be easily customized into a model-predictive controller (MPC) with an adaptive receding horizon and statistical guarantees of convergence. To the best of our knowledge, our adaptive-sizing approach is the first to provide convergence guarantees in receding-horizon techniques.
△ Less
Submitted 21 December, 2016;
originally announced December 2016.
-
Space-time large deviations in capacity-constrained relay networks
Authors:
Christian Hirsch,
Benedikt Jahnel,
Robert Patterson
Abstract:
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 tim…
▽ More
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.
△ Less
Submitted 22 September, 2016;
originally announced September 2016.
-
Coalescence of Euclidean geodesics on the Poisson-Delaunay triangulation
Authors:
David Coupier,
Christian Hirsch
Abstract:
Let us consider Euclidean first-passage percolation on the Poisson-Delaunay triangulation. We prove almost sure coalescence of any two semi-infinite geodesics with the same asymptotic direction. The proof is based on an adapted Burton-Keane argument and makes use of the concentration property for shortest-path lengths in the considered graphs. Moreover, by considering the specific example of the r…
▽ More
Let us consider Euclidean first-passage percolation on the Poisson-Delaunay triangulation. We prove almost sure coalescence of any two semi-infinite geodesics with the same asymptotic direction. The proof is based on an adapted Burton-Keane argument and makes use of the concentration property for shortest-path lengths in the considered graphs. Moreover, by considering the specific example of the relative neighborhood graph, we illustrate that our approach extends to further well-known graphs in computational geometry. As an application, we show that the expected number of semi-infinite geodesics starting at a given vertex and leaving a disk of a certain radius grows at most sublinearly in the radius.
△ Less
Submitted 16 March, 2016;
originally announced March 2016.
-
Traffic flow densities in large transport networks
Authors:
Christian Hirsch,
Benedikt Jahnel,
Paul Keeler,
Robert I. A. Patterson
Abstract:
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 characteristi…
▽ More
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.
△ Less
Submitted 2 February, 2016;
originally announced February 2016.
-
Large deviations in relay-augmented wireless networks
Authors:
Christian Hirsch,
Benedikt Jahnel,
Paul Keeler,
Robert I. A. Patterson
Abstract:
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 increasin…
▽ More
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.
△ Less
Submitted 15 February, 2016; v1 submitted 14 October, 2015;
originally announced October 2015.