-
Jointly Exchangeable Collective Risk Models: Interaction, Structure, and Limit Theorems
Authors:
Daniel Gaigall,
Stefan Weber
Abstract:
We introduce a framework for systemic risk modeling in insurance portfolios using jointly exchangeable arrays, extending classical collective risk models to account for interactions. We establish central limit theorems that asymptotically characterize total portfolio losses, providing a theoretical foundation for approximations in large portfolios and over long time horizons. These approximations…
▽ More
We introduce a framework for systemic risk modeling in insurance portfolios using jointly exchangeable arrays, extending classical collective risk models to account for interactions. We establish central limit theorems that asymptotically characterize total portfolio losses, providing a theoretical foundation for approximations in large portfolios and over long time horizons. These approximations are validated through simulation-based numerical experiments. Additionally, we analyze the impact of dependence on portfolio loss distributions, with a particular focus on tail behavior.
△ Less
Submitted 2 April, 2025;
originally announced April 2025.
-
Operator orbit frames and frame-like Fourier expansions
Authors:
Chad Berner,
Eric S. Weber
Abstract:
Frames in a Hilbert space that are generated by operator orbits are vastly studied because of the applications in dynamic sampling and signal recovery. We demonstrate in this paper a representation theory for frames generated by operator orbits that provides explicit constructions of the frame and the operator when the operators are not surjective. It is known that the Kaczmarz algorithm for stati…
▽ More
Frames in a Hilbert space that are generated by operator orbits are vastly studied because of the applications in dynamic sampling and signal recovery. We demonstrate in this paper a representation theory for frames generated by operator orbits that provides explicit constructions of the frame and the operator when the operators are not surjective. It is known that the Kaczmarz algorithm for stationary sequences in Hilbert spaces generates a frame that arises from an operator orbit where the operator is not surjective. In this paper, we show that every frame generated by a not surjective operator in any Hilbert space arises from the Kaczmarz algorithm. Furthermore, we show that the operators generating these frames are similar to rank one perturbations of unitary operators. After this, we describe a large class of operator orbit frames that arise from Fourier expansions for singular measures. Moreover, we classify all measures that possess frame-like Fourier expansions arising from two-sided operator orbit frames. Finally, we show that measures that possess frame-like Fourier expansions arising from two-sided operator orbits are weighted Lebesgue measure with weight satisfying a weak $A_{2}$ condition, even in the non-frame case. We also use these results to classify measures with other types of frame-like Fourier expansions.
△ Less
Submitted 23 September, 2024; v1 submitted 16 September, 2024;
originally announced September 2024.
-
Fourier series for singular measures in higher dimensions
Authors:
Chad Berner,
John E. Herr,
Palle E. T. Jorgensen,
Eric S. Weber
Abstract:
For multi-variable finite measure spaces, we present in this paper a new framework for non-orthogonal $L^2$ Fourier expansions. Our results hold for probability measures $μ$ with finite support in $\mathbb{R}^d$ that satisfy a certain disintegration condition that we refer to as ``slice-singular''. In this general framework, we present explicit $L^{2}(μ)$-Fourier expansions, with Fourier exponenti…
▽ More
For multi-variable finite measure spaces, we present in this paper a new framework for non-orthogonal $L^2$ Fourier expansions. Our results hold for probability measures $μ$ with finite support in $\mathbb{R}^d$ that satisfy a certain disintegration condition that we refer to as ``slice-singular''. In this general framework, we present explicit $L^{2}(μ)$-Fourier expansions, with Fourier exponentials having positive Fourier frequencies in each of the d coordinates. Our Fourier representations apply to every $f \in L^2(μ)$, are based on an extended Kaczmarz algorithm, and use a new recursive $μ$ Rokhlin disintegration representation. In detail, our Fourier series expansion for $f$ is in terms of the multivariate Fourier exponentials $\{e_n\}$, but the associated Fourier coefficients for $f$ are now computed from a Kaczmarz system $\{g_n\}$ in $L^{2}(μ)$ which is dual to the Fourier exponentials. The $\{g_n\}$ system is shown to be a Parseval frame for $L^{2}(μ)$. Explicit computations for our new Fourier expansions entail a detailed analysis of subspaces of the Hardy space on the polydisk, dual to $L^{2}(μ)$, and an associated d-variable Normalized Cauchy Transform. Our results extend earlier work for measures $μ$ in one and two dimensions, i.e., $d=1 (μ$ singular), and $d=2 (μ$ assumed slice-singular). Here our focus is the extension to the cases of measures $μ$ in dimensions $d >2$. Our results are illustrated with the use of explicit iterated function systems (IFSs), including the IFS generated Menger sponge for $d=3$.
△ Less
Submitted 24 February, 2024;
originally announced February 2024.
-
Two Choices are Enough for P-LCPs, USOs, and Colorful Tangents
Authors:
Michaela Borzechowski,
John Fearnley,
Spencer Gordon,
Rahul Savani,
Patrick Schnider,
Simon Weber
Abstract:
We provide polynomial-time reductions between three search problems from three distinct areas: the P-matrix linear complementarity problem (P-LCP), finding the sink of a unique sink orientation (USO), and a variant of the $α$-Ham Sandwich problem. For all three settings, we show that "two choices are enough", meaning that the general non-binary version of the problem can be reduced in polynomial t…
▽ More
We provide polynomial-time reductions between three search problems from three distinct areas: the P-matrix linear complementarity problem (P-LCP), finding the sink of a unique sink orientation (USO), and a variant of the $α$-Ham Sandwich problem. For all three settings, we show that "two choices are enough", meaning that the general non-binary version of the problem can be reduced in polynomial time to the binary version. This specifically means that generalized P-LCPs are equivalent to P-LCPs, and grid USOs are equivalent to cube USOs. These results are obtained by showing that both the P-LCP and our $α$-Ham Sandwich variant are equivalent to a new problem we introduce, P-Lin-Bellman. This problem can be seen as a new tool for formulating problems as P-LCPs.
△ Less
Submitted 21 May, 2024; v1 submitted 12 February, 2024;
originally announced February 2024.
-
On Phases of Unique Sink Orientations
Authors:
Michaela Borzechowski,
Simon Weber
Abstract:
A unique sink orientation (USO) is an orientation of the $n$-dimensional hypercube graph such that every non-empty face contains a unique sink. Schurr showed that given any $n$-dimensional USO and any dimension $i$, the set of edges $E_i$ in that dimension can be decomposed into equivalence classes (so-called phases), such that flipping the orientation of a subset $S$ of $E_i$ yields another USO i…
▽ More
A unique sink orientation (USO) is an orientation of the $n$-dimensional hypercube graph such that every non-empty face contains a unique sink. Schurr showed that given any $n$-dimensional USO and any dimension $i$, the set of edges $E_i$ in that dimension can be decomposed into equivalence classes (so-called phases), such that flipping the orientation of a subset $S$ of $E_i$ yields another USO if and only if $S$ is a union of a set of these phases. In this paper we prove various results on the structure of phases. Using these results, we show that all phases can be computed in $O(3^n)$ time, significantly improving upon the previously known $O(4^n)$ trivial algorithm. Furthermore, we show that given a boolean circuit of size $poly(n)$ succinctly encoding an $n$-dimensional (acyclic) USO, it is PSPACE-complete to determine whether two given edges are in the same phase. The problem is thus equally difficult as determining whether the hypercube orientation encoded by a given circuit is an acyclic USO [Gärtner and Thomas, STACS'15].
△ Less
Submitted 29 September, 2023;
originally announced October 2023.
-
A Topological Version of Schaefer's Dichotomy Theorem
Authors:
Patrick Schnider,
Simon Weber
Abstract:
Schaefer's dichotomy theorem [Schaefer, STOC'78] states that a boolean constraint satisfaction problem (CSP) is polynomial-time solvable if one of six given conditions holds for every type of constraint allowed in its instances. Otherwise, it is NP-complete. In this paper, we analyze boolean CSPs in terms of their topological complexity, instead of their computational complexity. We attach a natur…
▽ More
Schaefer's dichotomy theorem [Schaefer, STOC'78] states that a boolean constraint satisfaction problem (CSP) is polynomial-time solvable if one of six given conditions holds for every type of constraint allowed in its instances. Otherwise, it is NP-complete. In this paper, we analyze boolean CSPs in terms of their topological complexity, instead of their computational complexity. We attach a natural topological space to the set of solutions of a boolean CSP and introduce the notion of projection-universality. We prove that a boolean CSP is projection-universal if and only if it is categorized as NP-complete by Schaefer's dichotomy theorem, showing that the dichotomy translates exactly from computational to topological complexity. We show a similar dichotomy for SAT variants and homotopy-universality.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
An FPT Algorithm for Splitting a Necklace Among Two Thieves
Authors:
Michaela Borzechowski,
Patrick Schnider,
Simon Weber
Abstract:
It is well-known that the 2-Thief-Necklace-Splitting problem reduces to the discrete Ham Sandwich problem. In fact, this reduction was crucial in the proof of the PPA-completeness of the Ham Sandwich problem [Filos-Ratsikas and Goldberg, STOC'19]. Recently, a variant of the Ham Sandwich problem called $α$-Ham Sandwich has been studied, in which the point sets are guaranteed to be well-separated [S…
▽ More
It is well-known that the 2-Thief-Necklace-Splitting problem reduces to the discrete Ham Sandwich problem. In fact, this reduction was crucial in the proof of the PPA-completeness of the Ham Sandwich problem [Filos-Ratsikas and Goldberg, STOC'19]. Recently, a variant of the Ham Sandwich problem called $α$-Ham Sandwich has been studied, in which the point sets are guaranteed to be well-separated [Steiger and Zhao, DCG'10]. The complexity of this search problem remains unknown, but it is known to lie in the complexity class UEOPL [Chiu, Choudhary and Mulzer, ICALP'20]. We define the analogue of this well-separability condition in the necklace splitting problem -- a necklace is $n$-separable, if every subset $A$ of the $n$ types of jewels can be separated from the types $[n]\setminus A$ by at most $n$ separator points. By the reduction to the Ham Sandwich problem it follows that this version of necklace splitting has a unique solution.
We furthermore provide two FPT algorithms: The first FPT algorithm solves 2-Thief-Necklace-Splitting on $(n-1+\ell)$-separable necklaces with $n$ types of jewels and $m$ total jewels in time $2^{O(\ell\log\ell)}+m^2$. In particular, this shows that 2-Thief-Necklace-Splitting is polynomial-time solvable on $n$-separable necklaces. Thus, attempts to show hardness of $α$-Ham Sandwich through reduction from the 2-Thief-Necklace-Splitting problem cannot work. The second FPT algorithm tests $(n-1+\ell)$-separability of a given necklace with $n$ types of jewels in time $2^{O(\ell^2)}\cdot n^4$. In particular, $n$-separability can thus be tested in polynomial time, even though testing well-separation of point sets is coNP-complete [Bergold et al., SWAT'22].
△ Less
Submitted 26 June, 2023;
originally announced June 2023.
-
On Connectivity in Random Graph Models with Limited Dependencies
Authors:
Johannes Lengler,
Anders Martinsson,
Kalina Petrova,
Patrick Schnider,
Raphael Steiner,
Simon Weber,
Emo Welzl
Abstract:
For any positive edge density $p$, a random graph in the Erdős-Renyi $G_{n,p}$ model is connected with non-zero probability, since all edges are mutually independent. We consider random graph models in which edges that do not share endpoints are independent while incident edges may be dependent and ask: what is the minimum probability $ρ(n)$, such that for any distribution $\mathcal{G}$ (in this m…
▽ More
For any positive edge density $p$, a random graph in the Erdős-Renyi $G_{n,p}$ model is connected with non-zero probability, since all edges are mutually independent. We consider random graph models in which edges that do not share endpoints are independent while incident edges may be dependent and ask: what is the minimum probability $ρ(n)$, such that for any distribution $\mathcal{G}$ (in this model) on graphs with $n$ vertices in which each potential edge has a marginal probability of being present at least $ρ(n)$, a graph drawn from $\mathcal{G}$ is connected with non-zero probability?
As it turns out, the condition ``edges that do not share endpoints are independent'' needs to be clarified and the answer to the question above is sensitive to the specification. In fact, we formalize this intuitive description into a strict hierarchy of five independence conditions, which we show to have at least three different behaviors for the threshold $ρ(n)$. For each condition, we provide upper and lower bounds for $ρ(n)$. In the strongest condition, the coloring model (which includes, e.g., random geometric graphs), we show that $ρ(n)\rightarrow 2-φ\approx 0.38$ for $n\rightarrow\infty$, proving a conjecture by Badakhshian, Falgas-Ravry, and Sharifzadeh. This separates the coloring models from the weaker independence conditions we consider, as there we prove that $ρ(n)>0.5-o(n)$. In stark contrast to the coloring model, for our weakest independence condition -- pairwise independence of non-adjacent edges -- we show that $ρ(n)$ lies within $O(1/n^2)$ of the threshold $1-2/n$ for completely arbitrary distributions.
△ Less
Submitted 7 July, 2023; v1 submitted 4 May, 2023;
originally announced May 2023.
-
On Degeneracy in the P-Matroid Oriented Matroid Complementarity Problem
Authors:
Michaela Borzechowski,
Simon Weber
Abstract:
Klaus showed that the Oriented Matroid Complementarity Problem (OMCP) can be solved by a reduction to the problem of sink-finding in a unique sink orientation (USO) if the input is promised to be given by a non-degenerate extension of a P-matroid. In this paper, we investigate the effect of degeneracy on this reduction. On the one hand, this understanding of degeneracies allows us to prove a linea…
▽ More
Klaus showed that the Oriented Matroid Complementarity Problem (OMCP) can be solved by a reduction to the problem of sink-finding in a unique sink orientation (USO) if the input is promised to be given by a non-degenerate extension of a P-matroid. In this paper, we investigate the effect of degeneracy on this reduction. On the one hand, this understanding of degeneracies allows us to prove a linear lower bound on the number of vertex evaluations required for sink-finding in P-matroid USOs, the set of USOs obtainable through Klaus' reduction. On the other hand, it allows us to adjust Klaus' reduction to also work with degenerate instances. Furthermore, we introduce a total search version of the P-Matroid Oriented Matroid Complementarity Problem (P-OMCP). Given any extension of any oriented matroid M, by reduction to a total search version of USO sink-finding we can either solve the OMCP, or provide a polynomial-time verifiable certificate that M is not a P-matroid. This places the total search version of the P-OMCP in the complexity class Unique End of Potential Line (UEOPL).
△ Less
Submitted 26 July, 2024; v1 submitted 28 February, 2023;
originally announced February 2023.
-
A Universal Construction for Unique Sink Orientations
Authors:
Michaela Borzechowski,
Joseph Doolittle,
Simon Weber
Abstract:
Unique Sink Orientations (USOs) of cubes can be used to capture the combinatorial structure of many essential algebraic and geometric problems. For various structural and algorithmic questions, including enumeration of USOs and algorithm analysis, it is crucial to have systematic constructions of USOs. While some construction methods for USOs already exist, each one of them has some significant do…
▽ More
Unique Sink Orientations (USOs) of cubes can be used to capture the combinatorial structure of many essential algebraic and geometric problems. For various structural and algorithmic questions, including enumeration of USOs and algorithm analysis, it is crucial to have systematic constructions of USOs. While some construction methods for USOs already exist, each one of them has some significant downside. Most of the construction methods have limited expressivity -- USOs with some desired properties cannot be constructed. In contrast, the phase flips of Schurr can construct all USOs, but the operation is not well understood. We were inspired by techniques from cube tilings of space; we expand upon existing techniques in the area to develop generalized rewriting rules for USOs. These rewriting rules are a new construction framework which can be applied to all USOs. The rewriting rules can generate every USO using only USOs of lower dimension. The effect of any specific rewriting rule on an USO is simple to understand. A special case of our construction produces a new elementary transformation of USOs, which we call a partial swap. We further investigate the relationship between partial swaps and phase flips and generalize partial swaps to phase swaps.
△ Less
Submitted 11 November, 2022;
originally announced November 2022.
-
Building Resilience in Cybersecurity -- An Artificial Lab Approach
Authors:
Kerstin Awiszus,
Yannick Bell,
Jan Lüttringhaus,
Gregor Svindland,
Alexander Voß,
Stefan Weber
Abstract:
Based on classical contagion models we introduce an artificial cyber lab: the digital twin of a complex cyber system in which possible cyber resilience measures may be implemented and tested. Using the lab, in numerical case studies, we identify two classes of measures to control systemic cyber risks: security- and topology-based interventions. We discuss the implications of our findings on select…
▽ More
Based on classical contagion models we introduce an artificial cyber lab: the digital twin of a complex cyber system in which possible cyber resilience measures may be implemented and tested. Using the lab, in numerical case studies, we identify two classes of measures to control systemic cyber risks: security- and topology-based interventions. We discuss the implications of our findings on selected real-world cybersecurity measures currently applied in the insurance and regulation practice or under discussion for future cyber risk control. To this end, we provide a brief overview of the current cybersecurity regulation and emphasize the role of insurance companies as private regulators. Moreover, from an insurance point of view, we provide first attempts to design systemic cyber risk obligations and to measure the systemic risk contribution of individual policyholders.
△ Less
Submitted 7 September, 2023; v1 submitted 9 November, 2022;
originally announced November 2022.
-
Modeling and Pricing Cyber Insurance -- Idiosyncratic, Systematic, and Systemic Risks
Authors:
Kerstin Awiszus,
Thomas Knispel,
Irina Penner,
Gregor Svindland,
Alexander Voß,
Stefan Weber
Abstract:
The paper provides a comprehensive overview of modeling and pricing cyber insurance and includes clear and easily understandable explanations of the underlying mathematical concepts. We distinguish three main types of cyber risks: idiosyncratic, systematic, and systemic cyber risks. While for idiosyncratic and systematic cyber risks, classical actuarial and financial mathematics appear to be well-…
▽ More
The paper provides a comprehensive overview of modeling and pricing cyber insurance and includes clear and easily understandable explanations of the underlying mathematical concepts. We distinguish three main types of cyber risks: idiosyncratic, systematic, and systemic cyber risks. While for idiosyncratic and systematic cyber risks, classical actuarial and financial mathematics appear to be well-suited, systemic cyber risks require more sophisticated approaches that capture both network and strategic interactions. In the context of pricing cyber insurance policies, issues of interdependence arise for both systematic and systemic cyber risks; classical actuarial valuation needs to be extended to include more complex methods, such as concepts of risk-neutral valuation and (set-valued) monetary risk measures.
△ Less
Submitted 5 December, 2022; v1 submitted 18 August, 2022;
originally announced September 2022.
-
Realizability Makes a Difference: A Complexity Gap for Sink-Finding in USOs
Authors:
Simon Weber,
Joel Widmer
Abstract:
Algorithms for finding the sink in Unique Sink Orientations (USOs) of the hypercube can be used to solve many algebraic and geometric problems, most importantly including the P-Matrix Linear Complementarity Problem and Linear Programming. The realizable USOs are those that arise from the reductions of these problems to the USO sink-finding problem. Finding the sink of realizable USOs is thus highl…
▽ More
Algorithms for finding the sink in Unique Sink Orientations (USOs) of the hypercube can be used to solve many algebraic and geometric problems, most importantly including the P-Matrix Linear Complementarity Problem and Linear Programming. The realizable USOs are those that arise from the reductions of these problems to the USO sink-finding problem. Finding the sink of realizable USOs is thus highly practically relevant, yet it is unknown whether realizability can be exploited algorithmically to find the sink more quickly. However, all (non-trivial) known unconditional lower bounds for sink-finding make use of USOs that are provably not realizable. This indicates that the sink-finding problem might indeed be strictly easier on realizable USOs.
In this paper we show that this is true for a subclass of all USOs. We consider the class of Matoušek-type USOs, which are a translation of Matoušek's LP-type problems into the language of USOs. We show a query complexity gap between sink-finding in all, and sink-finding in only the realizable $n$-dimensional Matoušek-type USOs. We provide concrete deterministic algorithms and lower bounds for both cases, and show that in the realizable case $O(log^2 n)$ vertex evaluation queries suffice, while in general exactly $n$ queries are needed. The Matoušek-type USOs are the first USO class found to admit such a gap.
△ Less
Submitted 13 July, 2022;
originally announced July 2022.
-
The Persistence Landscapes of Affine Fractals
Authors:
Michael J. Catanzaro,
Lee Przybylski,
Eric S. Weber
Abstract:
We develop a method for calculating the persistence landscapes of affine fractals using the parameters of the corresponding transformations. Given an iterated function system of affine transformations that satisfies a certain compatibility condition, we prove that there exists an affine transformation acting on the space of persistence landscapes which intertwines the action of the iterated functi…
▽ More
We develop a method for calculating the persistence landscapes of affine fractals using the parameters of the corresponding transformations. Given an iterated function system of affine transformations that satisfies a certain compatibility condition, we prove that there exists an affine transformation acting on the space of persistence landscapes which intertwines the action of the iterated function system. This latter affine transformation is a strict contraction and its unique fixed point is the persistence landscape of the affine fractal. We present several examples of the theory as well as confirm the main results through simulations.
△ Less
Submitted 7 January, 2022;
originally announced January 2022.
-
A Characterization of the Realizable Matoušek Unique Sink Orientations
Authors:
Simon Weber,
Bernd Gärtner
Abstract:
The Matoušek LP-type problems were used by Matoušek to show that the Sharir-Welzl algorithm may require at least subexponential time. Later, Gärtner translated this result into the language of Unique Sink Orientations (USOs) and introduced the Matoušek USOs, the USOs equivalent to Matoušek's LP-type problems. He further showed that the Random Facet algorithm only requires quadratic time on the rea…
▽ More
The Matoušek LP-type problems were used by Matoušek to show that the Sharir-Welzl algorithm may require at least subexponential time. Later, Gärtner translated this result into the language of Unique Sink Orientations (USOs) and introduced the Matoušek USOs, the USOs equivalent to Matoušek's LP-type problems. He further showed that the Random Facet algorithm only requires quadratic time on the realizable subset of the Matoušek USOs, but without characterizing this subset. In this paper, we deliver this missing characterization and also provide concrete realizations for all realizable Matoušek USOs. Furthermore, we show that the realizable Matoušek USOs are exactly the orientations arising from simple extensions of cyclic-P-matroids.
△ Less
Submitted 8 September, 2021;
originally announced September 2021.
-
Topological Art in Simple Galleries
Authors:
Daniel Bertschinger,
Nicolas El Maalouly,
Tillmann Miltzow,
Patrick Schnider,
Simon Weber
Abstract:
Let $P$ be a simple polygon, then the art gallery problem is looking for a minimum set of points (guards) that can see every point in $P$. We say two points $a,b\in P$ can see each other if the line segment $seg(a,b)$ is contained in $P$. We denote by $V(P)$ the family of all minimum guard placements. The Hausdorff distance makes $V(P)$ a metric space and thus a topological space. We show homotopy…
▽ More
Let $P$ be a simple polygon, then the art gallery problem is looking for a minimum set of points (guards) that can see every point in $P$. We say two points $a,b\in P$ can see each other if the line segment $seg(a,b)$ is contained in $P$. We denote by $V(P)$ the family of all minimum guard placements. The Hausdorff distance makes $V(P)$ a metric space and thus a topological space. We show homotopy-universality, that is for every semi-algebraic set $S$ there is a polygon $P$ such that $V(P)$ is homotopy equivalent to $S$.
Furthermore, for various concrete topological spaces $T$, we describe instances $I$ of the art gallery problem such that $V(I)$ is homeomorphic to $T$.
△ Less
Submitted 30 May, 2023; v1 submitted 9 August, 2021;
originally announced August 2021.
-
Almost-nowhere intersection of Cantor sets, and sufficient sampling of their cumulative distribution functions
Authors:
Allison Byars,
Evan Camrud,
Steven N. Harding,
Sarah McCarty,
Keith Sullivan,
Eric S. Weber
Abstract:
Cantor sets are constructed from iteratively removing sections of intervals. This process yields a cumulative distribution function (CDF), constructed from the invariant measure associated with their iterated function systems. Under appropriate assumptions, we identify sampling schemes of such CDFs, meaning that the underlying Cantor set can be reconstructed from sufficiently many samples of its C…
▽ More
Cantor sets are constructed from iteratively removing sections of intervals. This process yields a cumulative distribution function (CDF), constructed from the invariant measure associated with their iterated function systems. Under appropriate assumptions, we identify sampling schemes of such CDFs, meaning that the underlying Cantor set can be reconstructed from sufficiently many samples of its CDF. To this end, we prove that two Cantor sets have almost-nowhere (with respect to their respective invariant measures) intersection.
△ Less
Submitted 11 December, 2019;
originally announced December 2019.
-
Stochastic mortality models: An infinite dimensional approach
Authors:
Stefan Tappe,
Stefan Weber
Abstract:
Demographic projections of future mortality rates involve a high level of uncertainty and require stochastic mortality models. The current paper investigates forward mortality models driven by a (possibly infinite dimensional) Wiener process and a compensated Poisson random measure. A major innovation of the paper is the introduction of a family of processes called forward mortality improvements w…
▽ More
Demographic projections of future mortality rates involve a high level of uncertainty and require stochastic mortality models. The current paper investigates forward mortality models driven by a (possibly infinite dimensional) Wiener process and a compensated Poisson random measure. A major innovation of the paper is the introduction of a family of processes called forward mortality improvements which provide a flexible tool for a simple construction of stochastic forward mortality models. In practice, the notion of mortality improvements are a convenient device for the quantification of changes in mortality rates over time that enables, for example, the detection of cohort effects.
We show that the forward mortality rates satisfy Heath-Jarrow-Morton-type consistency conditions which translate to the forward mortality improvements. While the consistency conditions of the forward mortality rates are analogous to the classical conditions in the context of bond markets, the conditions of the forward mortality improvements possess a different structure: forward mortality models include a cohort parameter besides the time horizon; these two dimensions are coupled in the dynamics of consistent models of forwards mortality improvements. In order to obtain a unified framework, we transform the systems of Itô-processes which describe the forward mortality rates and improvements: in contrast to term-structure models, the corresponding stochastic partial differential equations (SPDEs) describe the random dynamics of two-dimensional surfaces rather than curves.
△ Less
Submitted 11 July, 2019;
originally announced July 2019.
-
Stability of the Kaczmarz Reconstruction for Stationary Sequences
Authors:
Caleb Camrud,
Evan Camrud,
Lee Przybylski,
Eric S. Weber
Abstract:
The Kaczmarz algorithm is an iterative method to reconstruct an unknown vector $f$ from inner products $\langle f , \varphi_{n} \rangle $. We consider the problem of how additive noise affects the reconstruction under the assumption that $\{ \varphi_{n} \}$ form a stationary sequence. Unlike other reconstruction methods, such as frame reconstructions, the Kaczmarz reconstruction is unstable in the…
▽ More
The Kaczmarz algorithm is an iterative method to reconstruct an unknown vector $f$ from inner products $\langle f , \varphi_{n} \rangle $. We consider the problem of how additive noise affects the reconstruction under the assumption that $\{ \varphi_{n} \}$ form a stationary sequence. Unlike other reconstruction methods, such as frame reconstructions, the Kaczmarz reconstruction is unstable in the presence of noise. We show, however, that the reconstruction can be stabilized by relaxing the Kaczmarz algorithm; this relaxation corresponds to Abel summation when viewed as a reconstruction on the unit disc. We show, moreover, that for certain noise profiles, such as those that lie in $H^{\infty}(\mathbb{D})$ or certain subspaces of $H^{2}(\mathbb{D})$, the relaxed version of the Kaczmarz algorithm can fully remove the corruption by noise in the inner products. Using the spectral representation of stationary sequences, we show that our relaxed version of the Kaczmarz algorithm also stabilizes the reconstruction of Fourier series expansions in $L^2(μ)$ when $μ$ is singular.
△ Less
Submitted 19 June, 2019;
originally announced June 2019.
-
A Kaczmarz Algorithm for Solving Tree Based Distributed Systems of Equations
Authors:
Chinmay Hegde,
Fritz Keinert,
Eric S. Weber
Abstract:
The Kaczmarz algorithm is an iterative method for solving systems of linear equations. We introduce a modified Kaczmarz algorithm for solving systems of linear equations in a distributed environment, i.e. the equations within the system are distributed over multiple nodes within a network. The modification we introduce is designed for a network with a tree structure that allows for passage of solu…
▽ More
The Kaczmarz algorithm is an iterative method for solving systems of linear equations. We introduce a modified Kaczmarz algorithm for solving systems of linear equations in a distributed environment, i.e. the equations within the system are distributed over multiple nodes within a network. The modification we introduce is designed for a network with a tree structure that allows for passage of solution estimates between the nodes in the network. We prove that the modified algorithm converges under no additional assumptions on the equations. We demonstrate that the algorithm converges to the solution, or the solution of minimal norm, when the system is consistent. We also demonstrate that in the case of an inconsistent system of equations, the modified relaxed Kaczmarz algorithm converges to a weighted least squares solution as the relaxation parameter approaches $0$.
△ Less
Submitted 11 April, 2019;
originally announced April 2019.
-
Star sampling with and without replacement
Authors:
Jonathan Stokes,
Steven Weber
Abstract:
Star sampling (SS) is a random sampling procedure on a graph wherein each sample consists of a randomly selected vertex (the star center) and its one-hop neighbors (the star endpoints). We consider the use of star sampling to find any member of an arbitrary target set of vertices in a graph, where the figure of merit (cost) is either the expected number of samples (unit cost) or the expected numbe…
▽ More
Star sampling (SS) is a random sampling procedure on a graph wherein each sample consists of a randomly selected vertex (the star center) and its one-hop neighbors (the star endpoints). We consider the use of star sampling to find any member of an arbitrary target set of vertices in a graph, where the figure of merit (cost) is either the expected number of samples (unit cost) or the expected number of star centers plus star endpoints (linear cost) until a vertex in the target set is encountered, either as a star center or as a star point. We analyze this performance measure on three related star sampling paradigms: SS with replacement (SSR), SS without center replacement (SSC), and SS without star replacement (SSS). We derive exact and approximate expressions for the expected unit and linear costs of SSR, SSC, and SSS on Erdos-Renyi (ER) graphs. Our results show there is i) little difference in unit cost, but ii) significant difference in linear cost, across the three paradigms. Although our results are derived for ER graphs, experiments on "real-world" graphs suggest our performance expressions are reasonably accurate for non-ER graphs.
△ Less
Submitted 2 December, 2020; v1 submitted 4 January, 2019;
originally announced January 2019.
-
The Dual Kaczmarz Algorithm
Authors:
Anna Aboud,
Emelie Curl,
Steven N. Harding,
M. Vaughan,
Eric S. Weber
Abstract:
The Kaczmarz algorithm is an iterative method for solving a system of linear equations. It can be extended so as to reconstruct a vector $x$ in a (separable) Hilbert space from the inner-products $\{\langle x, φ_{n} \rangle\}$. The Kaczmarz algorithms defines a sequence of approximations from the sequence $\{\langle x, φ_{n} \rangle\}$; these approximations only converge to $x$ when $\{φ_{n}\}$ is…
▽ More
The Kaczmarz algorithm is an iterative method for solving a system of linear equations. It can be extended so as to reconstruct a vector $x$ in a (separable) Hilbert space from the inner-products $\{\langle x, φ_{n} \rangle\}$. The Kaczmarz algorithms defines a sequence of approximations from the sequence $\{\langle x, φ_{n} \rangle\}$; these approximations only converge to $x$ when $\{φ_{n}\}$ is ${effective}$. We dualize the Kaczmarz algorithm so that $x$ can be obtained from $\{\langle x, φ_{n} \rangle\}$ by using a second sequence $\{ψ_{n}\}$ in the reconstruction. This allows for the recovery of $x$ even when the sequence $\{φ_{n}\}$ is not effective; in particular, our dualization yields a reconstruction when the sequence $\{φ_{n}\}$ is $almost$ $effective$. We also obtain some partial results characterizing when the sequence of approximations from $\{\langle x, φ_{n} \rangle\}$ using $\{ψ_{n}\}$ converges to $x$, in which case $\{(φ_n, ψ_n)\}$ is called an $effective$ $pair$.
△ Less
Submitted 31 October, 2018;
originally announced November 2018.
-
Sample Path Properties of the Average Generation of a Bellman-Harris Process
Authors:
Gianfelice Meli,
Tom S. Weber,
Ken R. Duffy
Abstract:
Motivated by a recently proposed design for a DNA coded randomised algorithm that enables inference of the average generation of a collection of cells descendent from a common progenitor, here we establish strong convergence properties for the average generation of a super-critical Bellman-Harris process. We further extend those results to a two-type Bellman-Harris process where one type can give…
▽ More
Motivated by a recently proposed design for a DNA coded randomised algorithm that enables inference of the average generation of a collection of cells descendent from a common progenitor, here we establish strong convergence properties for the average generation of a super-critical Bellman-Harris process. We further extend those results to a two-type Bellman-Harris process where one type can give rise to the other, but not vice versa. These results further affirm the estimation method's potential utility by establishing its long run accuracy on individual sample-paths, and significantly expanding its remit to encompass cellular development that gives rise to differentiated offspring with distinct population dynamics.
△ Less
Submitted 9 August, 2019; v1 submitted 18 July, 2018;
originally announced July 2018.
-
Multidimensional free-mobility equilibrium: Tiebout revisited
Authors:
Alexey Savvateev,
Constantine Sorokin,
Shlomo Weber
Abstract:
The paper provides consistent mathematical framework for seminal Tiebout free-mobility model (1956). Our setting supports continuum of consumers with multidimensional preferences and finite number of strategic public good providers. We accommodate the most general assumptions: providers' production function may have variable returns to scale, our framework is rich enough to incorporate possible ex…
▽ More
The paper provides consistent mathematical framework for seminal Tiebout free-mobility model (1956). Our setting supports continuum of consumers with multidimensional preferences and finite number of strategic public good providers. We accommodate the most general assumptions: providers' production function may have variable returns to scale, our framework is rich enough to incorporate possible externalities, spillovers, scale economies, network effects, etc.; consumers utility may depend on choice of other agents in almost arbitrary way. We focus on equilibrium existence, however the questions of efficiency and stability are not left behind. The model can also be applied in several related fields, most notably in political economy.
△ Less
Submitted 30 May, 2018;
originally announced May 2018.
-
A Characterization of Boundary Representations of Positive Matrices in the Hardy Space via the Abel Product
Authors:
John E. Herr,
Palle E. T. Jorgensen,
Eric S. Weber
Abstract:
Spectral measures give rise to a natural harmonic analysis on the unit disc via a boundary representation of a positive matrix arising from a spectrum of the measure. We consider in this paper the reverse: for a positive matrix in the Hardy space of the unit disc we consider which measures, if any, yield a boundary representation of the positive matrix. We prove a characterization of those represe…
▽ More
Spectral measures give rise to a natural harmonic analysis on the unit disc via a boundary representation of a positive matrix arising from a spectrum of the measure. We consider in this paper the reverse: for a positive matrix in the Hardy space of the unit disc we consider which measures, if any, yield a boundary representation of the positive matrix. We prove a characterization of those representing measures via a matrix identity by introducing a new operator product called the Abel Product.
△ Less
Submitted 28 February, 2018;
originally announced March 2018.
-
A Paley-Wiener Type Theorem for Singular Measures on $\mathbb{T}$
Authors:
Eric S. Weber
Abstract:
For a fixed singular Borel probability measure $μ$ on $\mathbb{T}$, we give several characterizations of when an entire function is the Fourier transform of some $f \in L^2(μ)$. The first characterization is given in terms of criteria for sampling functions of the form $\hat{f}$ when $f \in L^2(μ)$. The second characterization is given in terms of criteria for interpolation of bounded sequences on…
▽ More
For a fixed singular Borel probability measure $μ$ on $\mathbb{T}$, we give several characterizations of when an entire function is the Fourier transform of some $f \in L^2(μ)$. The first characterization is given in terms of criteria for sampling functions of the form $\hat{f}$ when $f \in L^2(μ)$. The second characterization is given in terms of criteria for interpolation of bounded sequences on $\mathbb{N}_{0}$ by $\hat{f}$. Both characterizations use the construction of Fourier series for $f \in L^2(μ)$ demonstrated in Herr and Weber via the Kaczmarz algorithm and classical results concerning the Cauchy transform of $μ$.
△ Less
Submitted 21 September, 2017;
originally announced September 2017.
-
A matrix characterization of boundary representations of positive matrices in the Hardy space
Authors:
John E. Herr,
Palle E. T. Jorgensen,
Eric S. Weber
Abstract:
Spectral measures give rise to a natural harmonic analysis on the unit disc via a boundary representation of a positive matrix arising from a spectrum of the measure. We consider in this paper the reverse: for a positive matrix in the Hardy space of the unit disc we consider which measures, if any, yield a boundary representation of the positive matrix. We introduce a potential characterization of…
▽ More
Spectral measures give rise to a natural harmonic analysis on the unit disc via a boundary representation of a positive matrix arising from a spectrum of the measure. We consider in this paper the reverse: for a positive matrix in the Hardy space of the unit disc we consider which measures, if any, yield a boundary representation of the positive matrix. We introduce a potential characterization of those measures via a matrix identity and show that the characterization holds in several important special cases.
△ Less
Submitted 9 May, 2017;
originally announced May 2017.
-
A Fast Fourier Transform for Fractal Approximations
Authors:
Calvin Hotchkiss,
Eric S. Weber
Abstract:
We consider finite approximations of a fractal generated by an iterated function system of affine transformations on $\mathbb{R}^d$ as a discrete set of data points. Considering a signal supported on this finite approximation, we propose a Fast (Fractal) Fourier Transform by choosing appropriately a second iterated function system to generate a set of frequencies for a collection of exponential fu…
▽ More
We consider finite approximations of a fractal generated by an iterated function system of affine transformations on $\mathbb{R}^d$ as a discrete set of data points. Considering a signal supported on this finite approximation, we propose a Fast (Fractal) Fourier Transform by choosing appropriately a second iterated function system to generate a set of frequencies for a collection of exponential functions supported on this finite approximation. Since both the data points of the fractal approximation and the frequencies of the exponential functions are generated by iterated function systems, the matrix representing the Discrete Fourier Transform (DFT) satisfies certain recursion relations, which we describe in terms of Diţǎ's construction for large Hadamard matrices. These recursion relations allow for the DFT matrix calculation to be reduced in complexity to O(N log N ), as in the case of the classical FFT.
△ Less
Submitted 13 July, 2016;
originally announced July 2016.
-
Positive Matrices in the Hardy Space with Prescribed Boundary Representations via the Kaczmarz Algorithm
Authors:
John E. Herr,
Palle E. T. Jorgensen,
Eric S. Weber
Abstract:
For a singular probability measure $μ$ on the circle, we show the existence of positive matrices on the unit disc which admit a boundary representation on the unit circle with respect to $μ$. These positive matrices are constructed in several different ways using the Kaczmarz algorithm. Some of these positive matrices correspond to the projection of the Szegő kernel on the disc to certain subspace…
▽ More
For a singular probability measure $μ$ on the circle, we show the existence of positive matrices on the unit disc which admit a boundary representation on the unit circle with respect to $μ$. These positive matrices are constructed in several different ways using the Kaczmarz algorithm. Some of these positive matrices correspond to the projection of the Szegő kernel on the disc to certain subspaces of the Hardy space corresponding to the normalized Cauchy transform of $μ$. Other positive matrices are obtained which correspond to subspaces of the Hardy space after a renormalization, and so are not projections of the Szegő kernel. We show that these positive matrices are a generalization of a spectrum or Fourier frame for $μ$, and the existence of such a positive matrix does not require $μ$ to be spectral.
△ Less
Submitted 29 March, 2016;
originally announced March 2016.
-
Sampling in de Branges Spaces and Naimark Dilation
Authors:
Sa'ud al-Sa'di,
Eric S. Weber
Abstract:
We consider the problem of sampling in de Branges spaces and develop some necessary conditions and some sufficient conditions for sampling sequences, which generalize some well-known sampling results in the Paley-Wiener space. These conditions are obtained by identifying the main construction with Naimark dilation of frames--embedding the de Branges space into a larger de Branges space while embed…
▽ More
We consider the problem of sampling in de Branges spaces and develop some necessary conditions and some sufficient conditions for sampling sequences, which generalize some well-known sampling results in the Paley-Wiener space. These conditions are obtained by identifying the main construction with Naimark dilation of frames--embedding the de Branges space into a larger de Branges space while embedding the kernel functions associated with a sampling sequence into a Riesz basis for the larger space.
△ Less
Submitted 4 February, 2016;
originally announced February 2016.
-
Inferring average generation via division-linked labeling
Authors:
Tom S. Weber,
Leila Perie,
Ken R. Duffy
Abstract:
For proliferating cells subject to both division and death, how can one estimate the average generation number of the living population without continuous observation or a division-diluting dye? In this paper we provide a method for cell systems such that at each division there is an unlikely, heritable one-way label change that has no impact other than to serve as a distinguishing marker. If the…
▽ More
For proliferating cells subject to both division and death, how can one estimate the average generation number of the living population without continuous observation or a division-diluting dye? In this paper we provide a method for cell systems such that at each division there is an unlikely, heritable one-way label change that has no impact other than to serve as a distinguishing marker. If the probability of label change per cell generation can be determined and the proportion of labeled cells at a given time point can be measured, we establish that the average generation number of living cells can be estimated. Crucially, the estimator does not depend on knowledge of the statistics of cell cycle, death rates or total cell numbers. We validate the estimator and illustrate its features through comparison with published data and physiologically parameterized stochastic simulations, using it to suggest new experimental designs.
△ Less
Submitted 27 April, 2017; v1 submitted 7 June, 2015;
originally announced June 2015.
-
Fourier Series for Singular Measures
Authors:
John E. Herr,
Eric S. Weber
Abstract:
Using the Kaczmarz algorithm, we prove that for any singular Borel probability measure $μ$ on $[0,1)$, every $f\in L^2(μ)$ possesses a Fourier series of the form $f(x)=\sum_{n=0}^{\infty}c_ne^{2πinx}$. We show that the coefficients $c_{n}$ can be computed in terms of the quantities $\hat{f}(n) = \int_{0}^{1} f(x) e^{-2πi n x} d μ(x)$. We also demonstrate a Shannon-type sampling theorem for functio…
▽ More
Using the Kaczmarz algorithm, we prove that for any singular Borel probability measure $μ$ on $[0,1)$, every $f\in L^2(μ)$ possesses a Fourier series of the form $f(x)=\sum_{n=0}^{\infty}c_ne^{2πinx}$. We show that the coefficients $c_{n}$ can be computed in terms of the quantities $\hat{f}(n) = \int_{0}^{1} f(x) e^{-2πi n x} d μ(x)$. We also demonstrate a Shannon-type sampling theorem for functions that are in a sense $μ$-bandlimited.
△ Less
Submitted 1 May, 2016; v1 submitted 16 March, 2015;
originally announced March 2015.
-
Fourier Frames for the Cantor-4 Set
Authors:
Gabriel Picioroaga,
Eric S. Weber
Abstract:
The measure supported on the Cantor-4 set constructed by Jorgensen-Pedersen is known to have a Fourier basis, i.e. that it possess a sequence of exponentials which form an orthonormal basis. We construct Fourier frames for this measure via a dilation theory type construction. We expand the Cantor-4 set to a 2 dimensional fractal which admits a representation of a Cuntz algebra. Using the action of…
▽ More
The measure supported on the Cantor-4 set constructed by Jorgensen-Pedersen is known to have a Fourier basis, i.e. that it possess a sequence of exponentials which form an orthonormal basis. We construct Fourier frames for this measure via a dilation theory type construction. We expand the Cantor-4 set to a 2 dimensional fractal which admits a representation of a Cuntz algebra. Using the action of this algebra, an orthonormal set is generated on the larger fractal, which is then projected onto the Cantor-4 set to produce a Fourier frame.
△ Less
Submitted 5 March, 2015;
originally announced March 2015.
