-
Effectiveness of Contact Tracing on Networks with Cliques
Authors:
Abbas K. Rizi,
Leah A. Keating,
James P. Gleeson,
David J. P. O'Sullivan,
Mikko Kivelä
Abstract:
Contact tracing, the practice of isolating individuals who have been in contact with infected individuals, is an effective and practical way of containing disease spread. Here, we show that this strategy is particularly effective in the presence of social groups: Once the disease enters a group, contact tracing not only cuts direct infection paths but can also pre-emptively quarantine group member…
▽ More
Contact tracing, the practice of isolating individuals who have been in contact with infected individuals, is an effective and practical way of containing disease spread. Here, we show that this strategy is particularly effective in the presence of social groups: Once the disease enters a group, contact tracing not only cuts direct infection paths but can also pre-emptively quarantine group members such that it will cut indirect spreading routes. We show these results by using a deliberately stylized model that allows us to isolate the effect of contact tracing within the clique structure of the network where the contagion is spreading. This will enable us to derive mean-field approximations and epidemic thresholds to demonstrate the efficiency of contact tracing in social networks with small groups. This analysis shows that contact tracing in networks with groups is more efficient the larger the groups are. We show how these results can be understood by approximating the combination of disease spreading and contact tracing with a complex contagion process where every failed infection attempt will lead to a lower infection probability in the following attempts. Our results illustrate how contact tracing in real-world settings can be more efficient than predicted by models that treat the system as fully mixed or the network structure as locally tree-like.
△ Less
Submitted 19 December, 2023; v1 submitted 20 April, 2023;
originally announced April 2023.
-
Pullback of principal bundles along proper morphisms
Authors:
Indranil Biswas,
Peter O'Sullivan
Abstract:
We study the behaviour of principal bundles under pullback along proper surjective morphisms of either schemes over an algebraically closed field of characteristic 0 or complex analytic spaces.
We study the behaviour of principal bundles under pullback along proper surjective morphisms of either schemes over an algebraically closed field of characteristic 0 or complex analytic spaces.
△ Less
Submitted 3 April, 2024; v1 submitted 15 March, 2023;
originally announced March 2023.
-
Étale triviality of finite equivariant vector bundles
Authors:
Indranil Biswas,
Peter O'Sullivan
Abstract:
Let H be a complex Lie group acting holomorphically on a complex analytic space X such that the restriction to X_{\mathrm{red}} of every H-invariant regular function on X is constant. We prove that an H-equivariant holomorphic vector bundle E over X is $H$-finite, meaning f_1(E)= f_2(E) as H-equivariant bundles for two distinct polynomials f_1 and f_2 whose coefficients are nonnegative integers, i…
▽ More
Let H be a complex Lie group acting holomorphically on a complex analytic space X such that the restriction to X_{\mathrm{red}} of every H-invariant regular function on X is constant. We prove that an H-equivariant holomorphic vector bundle E over X is $H$-finite, meaning f_1(E)= f_2(E) as H-equivariant bundles for two distinct polynomials f_1 and f_2 whose coefficients are nonnegative integers, if and only if the pullback of E along some H-equivariant finite étale covering of X is trivial as an H-equivariant bundle.
△ Less
Submitted 18 November, 2021; v1 submitted 11 March, 2021;
originally announced March 2021.
-
Super Tannakian hulls
Authors:
Peter O'Sullivan
Abstract:
We consider essentially small rigid tensor categories (not necessarily abelian) which have a faithful tensor functor to a category of super vector spaces over a field of characteristic 0. It is shown how to construct for each such tensor category a super Tannakian hull, which is a universal faithful tensor functor to a super Tannakian category over a field of characteristic 0. The construction is…
▽ More
We consider essentially small rigid tensor categories (not necessarily abelian) which have a faithful tensor functor to a category of super vector spaces over a field of characteristic 0. It is shown how to construct for each such tensor category a super Tannakian hull, which is a universal faithful tensor functor to a super Tannakian category over a field of characteristic 0. The construction is analogous to the passage from an integral domain to its field of fractions.
△ Less
Submitted 31 December, 2020;
originally announced December 2020.
-
Incorporating Posterior-Informed Approximation Errors into a Hierarchical Framework to Facilitate Out-of-the-Box MCMC Sampling for Geothermal Inverse Problems and Uncertainty Quantification
Authors:
Oliver J. Maclaren,
Ruanui Nicholson,
Elvar K. Bjarkason,
John P. O'Sullivan,
Michael J. O'Sullivan
Abstract:
We consider geothermal inverse problems and uncertainty quantification from a Bayesian perspective. Our main goal is to make standard, `out-of-the-box' Markov chain Monte Carlo (MCMC) sampling more feasible for complex simulation models by using suitable approximations. To do this, we first show how to pose both the inverse and prediction problems in a hierarchical Bayesian framework. We then show…
▽ More
We consider geothermal inverse problems and uncertainty quantification from a Bayesian perspective. Our main goal is to make standard, `out-of-the-box' Markov chain Monte Carlo (MCMC) sampling more feasible for complex simulation models by using suitable approximations. To do this, we first show how to pose both the inverse and prediction problems in a hierarchical Bayesian framework. We then show how to incorporate so-called posterior-informed model approximation error into this hierarchical framework, using a modified form of the Bayesian approximation error (BAE) approach. This enables the use of a `coarse', approximate model in place of a finer, more expensive model, while accounting for the additional uncertainty and potential bias that this can introduce. Our method requires only simple probability modelling, a relatively small number of fine model simulations, and only modifies the target posterior -- any standard MCMC sampling algorithm can be used to sample the new posterior. These corrections can also be used in methods that are not based on MCMC sampling. We show that our approach can achieve significant computational speed-ups on two geothermal test problems. We also demonstrate the dangers of naively using coarse, approximate models in place of finer models, without accounting for the induced approximation errors. The naive approach tends to give overly confident and biased posteriors while incorporating BAE into our hierarchical framework corrects for this while maintaining computational efficiency and ease-of-use.
△ Less
Submitted 19 December, 2019; v1 submitted 9 October, 2018;
originally announced October 2018.
-
Randomized Truncated SVD Levenberg-Marquardt Approach to Geothermal Natural State and History Matching
Authors:
Elvar K. Bjarkason,
Oliver J. Maclaren,
John P. O'Sullivan,
Michael J. O'Sullivan
Abstract:
The Levenberg-Marquardt (LM) method is commonly used for inverting models used to describe geothermal, groundwater, or oil and gas reservoirs. In previous studies LM parameter updates have been made tractable for highly parameterized inverse problems with large data sets by applying matrix factorization methods or iterative linear solvers to approximately solve the update equations.
Some studies…
▽ More
The Levenberg-Marquardt (LM) method is commonly used for inverting models used to describe geothermal, groundwater, or oil and gas reservoirs. In previous studies LM parameter updates have been made tractable for highly parameterized inverse problems with large data sets by applying matrix factorization methods or iterative linear solvers to approximately solve the update equations.
Some studies have shown that basing model updates on the truncated singular value decomposition (TSVD) of a dimensionless sensitivity matrix achieved using Lanczos iteration can speed up the inversion of reservoir models. Lanczos iterations only require the sensitivity matrix times a vector and its transpose times a vector, which are found efficiently using adjoint and direct simulations without the expense of forming a large sensitivity matrix.
Nevertheless, Lanczos iteration has the drawback of being a serial process, requiring a separate adjoint solve and direct solve every Lanczos iteration. Randomized methods, developed for low-rank matrix approximation of large matrices, are more efficient alternatives to the standard Lanczos method. Here we develop LM variants which use randomized methods to find a TSVD of a dimensionless sensitivity matrix when updating parameters. The randomized approach offers improved efficiency by enabling simultaneous solution of all adjoint and direct problems for a parameter update.
△ Less
Submitted 3 October, 2017;
originally announced October 2017.
-
Principal bundles under reductive groups
Authors:
Peter O'Sullivan
Abstract:
Let $k$ be a field of characteristic $0$. We consider principal bundles over a $k$-scheme with reductive structure group (not necessarily of finite type). It is showm in particular that for $k$ algebraically closed there exists on any complete connected $k$-scheme a universal such bundle. As a consequence, an explicit description of principal bundles with reductive structure group over curves of g…
▽ More
Let $k$ be a field of characteristic $0$. We consider principal bundles over a $k$-scheme with reductive structure group (not necessarily of finite type). It is showm in particular that for $k$ algebraically closed there exists on any complete connected $k$-scheme a universal such bundle. As a consequence, an explicit description of principal bundles with reductive structure group over curves of genus $0$ or $1$ is obtained.
△ Less
Submitted 22 May, 2019; v1 submitted 25 June, 2015;
originally announced June 2015.
-
A finiteness theorem for algebraic cycles
Authors:
Peter O'Sullivan
Abstract:
Let X be a smooth projective variety. Starting with a finite set of cycles on powers X^m of X, we consider the Q-vector subspaces of the Q-linear Chow groups of the X^m obtained by iterating the algebraic operations and pullback and push forward along those morphisms X^l -> X^m for which each component X^l -> X is a projection. It is shown that these Q-vector subspaces are all finite-dimensional,…
▽ More
Let X be a smooth projective variety. Starting with a finite set of cycles on powers X^m of X, we consider the Q-vector subspaces of the Q-linear Chow groups of the X^m obtained by iterating the algebraic operations and pullback and push forward along those morphisms X^l -> X^m for which each component X^l -> X is a projection. It is shown that these Q-vector subspaces are all finite-dimensional, provided that the Q-linear Chow motive of X is a direct summand of that of an abelian variety.
△ Less
Submitted 24 March, 2010;
originally announced March 2010.
-
Algebraic cycles on an abelian variety
Authors:
Peter O'Sullivan
Abstract:
It is shown that to every Q-linear cycle \barαmodulo numerical equivalence on an abelian variety A there is canonically associated a Q-linear cycle αmodulo rational equivalence on A lying above \barα. The assignment \barα-> αrespects the algebraic operations and pullback and push forward along homomorphisms of abelian varieties.
It is shown that to every Q-linear cycle \barαmodulo numerical equivalence on an abelian variety A there is canonically associated a Q-linear cycle αmodulo rational equivalence on A lying above \barα. The assignment \barα-> αrespects the algebraic operations and pullback and push forward along homomorphisms of abelian varieties.
△ Less
Submitted 5 August, 2009;
originally announced August 2009.
-
Nilpotence, radicaux et structures monoïdales
Authors:
Yves André,
Bruno Kahn,
avec un appendice de Peter O'Sullivan
Abstract:
For $K$ a field, a Wedderburn $K$-linear category is a $K$-linear category $\sA$ whose radical $\sR$ is locally nilpotent and such that $\bar \sA:=\sA/\sR$ is semi-simple and remains so after any extension of scalars. We prove existence and uniqueness results for sections of the projection $\sA\to \bar\sA$, in the vein of the theorems of Wedderburn. There are two such results: one in the general…
▽ More
For $K$ a field, a Wedderburn $K$-linear category is a $K$-linear category $\sA$ whose radical $\sR$ is locally nilpotent and such that $\bar \sA:=\sA/\sR$ is semi-simple and remains so after any extension of scalars. We prove existence and uniqueness results for sections of the projection $\sA\to \bar\sA$, in the vein of the theorems of Wedderburn. There are two such results: one in the general case and one when $\sA$ has a monoidal structure for which $\sR$ is a monoidal ideal. The latter applies notably to Tannakian categories over a field of characteristic zero, and we get a generalisation of the Jacobson-Morozov theorem: the existence of a pro-reductive envelope $\Pred(G)$ associated to any affine group scheme $G$ over $K$. Other applications are given in this paper as well as in a forthcoming one on motives.
△ Less
Submitted 12 October, 2002; v1 submitted 26 March, 2002;
originally announced March 2002.
