-
Weak-Form Inference for Hybrid Dynamical Systems in Ecology
Authors:
Daniel Messenger,
Greg Dwyer,
Vanja Dukic
Abstract:
Species subject to predation and environmental threats commonly exhibit variable periods of population boom and bust over long timescales. Understanding and predicting such behavior, especially given the inherent heterogeneity and stochasticity of exogenous driving factors over short timescales, is an ongoing challenge. A modeling paradigm gaining popularity in the ecological sciences for such mul…
▽ More
Species subject to predation and environmental threats commonly exhibit variable periods of population boom and bust over long timescales. Understanding and predicting such behavior, especially given the inherent heterogeneity and stochasticity of exogenous driving factors over short timescales, is an ongoing challenge. A modeling paradigm gaining popularity in the ecological sciences for such multi-scale effects is to couple short-term continuous dynamics to long-term discrete updates. We develop a data-driven method utilizing weak-form equation learning to extract such hybrid governing equations for population dynamics and to estimate the requisite parameters using sparse intermittent measurements of the discrete and continuous variables. The method produces a set of short-term continuous dynamical system equations parametrized by long-term variables, and long-term discrete equations parametrized by short-term variables, allowing direct assessment of interdependencies between the two time scales. We demonstrate the utility of the method on a variety of ecological scenarios and provide extensive tests using models previously derived for epizootics experienced by the North American spongy moth (Lymantria dispar dispar).
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Deep Sequential Mosaicking of Fetoscopic Videos
Authors:
Sophia Bano,
Francisco Vasconcelos,
Marcel Tella Amo,
George Dwyer,
Caspar Gruijthuijsen,
Jan Deprest,
Sebastien Ourselin,
Emmanuel Vander Poorten,
Tom Vercauteren,
Danail Stoyanov
Abstract:
Twin-to-twin transfusion syndrome treatment requires fetoscopic laser photocoagulation of placental vascular anastomoses to regulate blood flow to both fetuses. Limited field-of-view (FoV) and low visual quality during fetoscopy make it challenging to identify all vascular connections. Mosaicking can align multiple overlap** images to generate an image with increased FoV, however, existing techn…
▽ More
Twin-to-twin transfusion syndrome treatment requires fetoscopic laser photocoagulation of placental vascular anastomoses to regulate blood flow to both fetuses. Limited field-of-view (FoV) and low visual quality during fetoscopy make it challenging to identify all vascular connections. Mosaicking can align multiple overlap** images to generate an image with increased FoV, however, existing techniques apply poorly to fetoscopy due to the low visual quality, texture paucity, and hence fail in longer sequences due to the drift accumulated over time. Deep learning techniques can facilitate in overcoming these challenges. Therefore, we present a new generalized Deep Sequential Mosaicking (DSM) framework for fetoscopic videos captured from different settings such as simulation, phantom, and real environments. DSM extends an existing deep image-based homography model to sequential data by proposing controlled data augmentation and outlier rejection methods. Unlike existing methods, DSM can handle visual variations due to specular highlights and reflection across adjacent frames, hence reducing the accumulated drift. We perform experimental validation and comparison using 5 diverse fetoscopic videos to demonstrate the robustness of our framework.
△ Less
Submitted 15 July, 2019;
originally announced July 2019.
-
P-Toral Approximations Compute Bredon Homology
Authors:
Gregory Z. Arone,
William G. Dwyer,
Kathryn Lesh
Abstract:
We study Bredon homology approximations for spaces with an action of a compact Lie group G. We show that if M is a coMackey functor satisfying mild p-locality conditions, then Bredon homology of a G-space X with coefficients in M is determined by fixed points of p-toral subgroups of G acting on X. As an application we prove a vanishing result for the Bredon homology of the complex L_n of direct-su…
▽ More
We study Bredon homology approximations for spaces with an action of a compact Lie group G. We show that if M is a coMackey functor satisfying mild p-locality conditions, then Bredon homology of a G-space X with coefficients in M is determined by fixed points of p-toral subgroups of G acting on X. As an application we prove a vanishing result for the Bredon homology of the complex L_n of direct-sum decompositions of complex n-space.
△ Less
Submitted 26 February, 2020; v1 submitted 22 January, 2019;
originally announced January 2019.
-
Using machine learning to parameterize moist convection: potential for modeling of climate, climate change and extreme events
Authors:
Paul A. O'Gorman,
John G. Dwyer
Abstract:
The parameterization of moist convection contributes to uncertainty in climate modeling and numerical weather prediction. Machine learning (ML) can be used to learn new parameterizations directly from high-resolution model output, but it remains poorly understood how such parameterizations behave when fully coupled in a general circulation model (GCM) and whether they are useful for simulations of…
▽ More
The parameterization of moist convection contributes to uncertainty in climate modeling and numerical weather prediction. Machine learning (ML) can be used to learn new parameterizations directly from high-resolution model output, but it remains poorly understood how such parameterizations behave when fully coupled in a general circulation model (GCM) and whether they are useful for simulations of climate change or extreme events. Here, we focus on these issues using idealized tests in which an ML-based parameterization is trained on output from a conventional parameterization and its performance is assessed in simulations with a GCM. We use an ensemble of decision trees (random forest) as the ML algorithm, and this has the advantage that it automatically ensures conservation of energy and non-negativity of surface precipitation. The GCM with the ML convective parameterization runs stably and accurately captures important climate statistics including precipitation extremes without the need for special training on extremes. Climate change between a control climate and a warm climate is not captured if the ML parameterization is only trained on the control climate, but it is captured if the training includes samples from both climates. Remarkably, climate change is also captured when training only on the warm climate, and this is because the extratropics of the warm climate provides training samples for the tropics of the control climate. In addition to being potentially useful for the simulation of climate, we show that ML parameterizations can be interrogated to provide diagnostics of the interaction between convection and the large-scale environment.
△ Less
Submitted 28 September, 2018; v1 submitted 28 June, 2018;
originally announced June 2018.
-
Automated pick-up of suturing needles for robotic surgical assistance
Authors:
Claudia D'Ettorre,
George Dwyer,
Xiaofei Du,
Francois Chadebecq,
Francisco Vasconcelos,
Elena De Momi,
Danail Stoyanov
Abstract:
Robot-assisted laparoscopic prostatectomy (RALP) is a treatment for prostate cancer that involves complete or nerve sparing removal prostate tissue that contains cancer. After removal the bladder neck is successively sutured directly with the urethra. The procedure is called urethrovesical anastomosis and is one of the most dexterity demanding tasks during RALP. Two suturing instruments and a pair…
▽ More
Robot-assisted laparoscopic prostatectomy (RALP) is a treatment for prostate cancer that involves complete or nerve sparing removal prostate tissue that contains cancer. After removal the bladder neck is successively sutured directly with the urethra. The procedure is called urethrovesical anastomosis and is one of the most dexterity demanding tasks during RALP. Two suturing instruments and a pair of needles are used in combination to perform a running stitch during urethrovesical anastomosis. While robotic instruments provide enhanced dexterity to perform the anastomosis, it is still highly challenging and difficult to learn. In this paper, we presents a vision-guided needle gras** method for automatically gras** the needle that has been inserted into the patient prior to anastomosis. We aim to automatically grasp the suturing needle in a position that avoids hand-offs and immediately enables the start of suturing. The full gras** process can be broken down into: a needle detection algorithm; an approach phase where the surgical tool moves closer to the needle based on visual feedback; and a gras** phase through path planning based on observed surgical practice. Our experimental results show examples of successful autonomous gras** that has the potential to simplify and decrease the operational time in RALP by assisting a small component of urethrovesical anastomosis.
△ Less
Submitted 9 April, 2018;
originally announced April 2018.
-
N-GrAM: New Groningen Author-profiling Model
Authors:
Angelo Basile,
Gareth Dwyer,
Maria Medvedeva,
Josine Rawee,
Hessel Haagsma,
Malvina Nissim
Abstract:
We describe our participation in the PAN 2017 shared task on Author Profiling, identifying authors' gender and language variety for English, Spanish, Arabic and Portuguese. We describe both the final, submitted system, and a series of negative results. Our aim was to create a single model for both gender and language, and for all language varieties. Our best-performing system (on cross-validated r…
▽ More
We describe our participation in the PAN 2017 shared task on Author Profiling, identifying authors' gender and language variety for English, Spanish, Arabic and Portuguese. We describe both the final, submitted system, and a series of negative results. Our aim was to create a single model for both gender and language, and for all language varieties. Our best-performing system (on cross-validated results) is a linear support vector machine (SVM) with word unigrams and character 3- to 5-grams as features. A set of additional features, including POS tags, additional datasets, geographic entities, and Twitter handles, hurt, rather than improve, performance. Results from cross-validation indicated high performance overall and results on the test set confirmed them, at 0.86 averaged accuracy, with performance on sub-tasks ranging from 0.68 to 0.98.
△ Less
Submitted 12 July, 2017;
originally announced July 2017.
-
Frobenius and the derived centers of algebraic theories
Authors:
William G. Dwyer,
Markus Szymik
Abstract:
We show that the derived center of the category of simplicial algebras over every algebraic theory is homotopically discrete, with the abelian monoid of components isomorphic to the center of the category of discrete algebras. For example, in the case of commutative algebras in characteristic $p$, this center is freely generated by Frobenius. Our proof involves the calculation of homotopy coherent…
▽ More
We show that the derived center of the category of simplicial algebras over every algebraic theory is homotopically discrete, with the abelian monoid of components isomorphic to the center of the category of discrete algebras. For example, in the case of commutative algebras in characteristic $p$, this center is freely generated by Frobenius. Our proof involves the calculation of homotopy coherent centers of categories of simplicial presheaves as well as of Bousfield localizations. Numerous other classes of examples are discussed.
△ Less
Submitted 14 October, 2014;
originally announced October 2014.
-
Bredon Homology of Partition Complexes
Authors:
Gregory Z. Arone,
William G. Dwyer,
Kathryn Lesh
Abstract:
We prove that the Bredon homology or cohomology of the partition complex with fairly general coefficients is either trivial or computable in terms of constructions with the Steinberg module. The argument involves develo** a theory of Bredon homology and cohomology approximation.
We prove that the Bredon homology or cohomology of the partition complex with fairly general coefficients is either trivial or computable in terms of constructions with the Steinberg module. The argument involves develo** a theory of Bredon homology and cohomology approximation.
△ Less
Submitted 11 July, 2016; v1 submitted 31 May, 2013;
originally announced June 2013.
-
DG algebras with exterior homology
Authors:
W. G. Dwyer,
J. P. C. Greenlees,
S. B. Iyengar
Abstract:
We study differential graded algebras whose homology is an exterior algebra over a commutative ring R on a generator of degree n, and also certain types of differential modules over these DGAs. We obtain a complete classification when R is the integers, or the prime field of characteristic p>0, and n is greater than or equal to -1. The examples are unexpectedly interesting.
We study differential graded algebras whose homology is an exterior algebra over a commutative ring R on a generator of degree n, and also certain types of differential modules over these DGAs. We obtain a complete classification when R is the integers, or the prime field of characteristic p>0, and n is greater than or equal to -1. The examples are unexpectedly interesting.
△ Less
Submitted 14 July, 2012;
originally announced July 2012.
-
Faithfulness of a functor of Quillen
Authors:
William G. Dwyer,
Andrei Radulescu-Banu,
Sebastian Thomas
Abstract:
There exists a canonical functor from the category of fibrant objects of a model category modulo cylinder homotopy to its homotopy category. We show that this functor is faithful under certain conditions, but not in general.
There exists a canonical functor from the category of fibrant objects of a model category modulo cylinder homotopy to its homotopy category. We show that this functor is faithful under certain conditions, but not in general.
△ Less
Submitted 6 October, 2009;
originally announced October 2009.
-
Searches for gravitational waves from known pulsars with S5 LIGO data
Authors:
The LIGO Scientific Collaboration,
The Virgo Collaboration,
B. P. Abbott,
R. Abbott,
F. Acernese,
R. Adhikari,
P. Ajith,
B. Allen,
G. Allen,
M. Alshourbagy,
R. S. Amin,
S. B. Anderson,
W. G. Anderson,
F. Antonucci,
S. Aoudia,
M. A. Arain,
M. Araya,
H. Armandula,
P. Armor,
K. G. Arun,
Y. Aso,
S. Aston,
P. Astone,
P. Aufmuth,
C. Aulbert
, et al. (656 additional authors not shown)
Abstract:
We present a search for gravitational waves from 116 known millisecond and young pulsars using data from the fifth science run of the LIGO detectors. For this search ephemerides overlap** the run period were obtained for all pulsars using radio and X-ray observations. We demonstrate an updated search method that allows for small uncertainties in the pulsar phase parameters to be included in th…
▽ More
We present a search for gravitational waves from 116 known millisecond and young pulsars using data from the fifth science run of the LIGO detectors. For this search ephemerides overlap** the run period were obtained for all pulsars using radio and X-ray observations. We demonstrate an updated search method that allows for small uncertainties in the pulsar phase parameters to be included in the search. We report no signal detection from any of the targets and therefore interpret our results as upper limits on the gravitational wave signal strength. The most interesting limits are those for young pulsars. We present updated limits on gravitational radiation from the Crab pulsar, where the measured limit is now a factor of seven below the spin-down limit. This limits the power radiated via gravitational waves to be less than ~2% of the available spin-down power. For the X-ray pulsar J0537-6910 we reach the spin-down limit under the assumption that any gravitational wave signal from it stays phase locked to the X-ray pulses over timing glitches, and for pulsars J1913+1011 and J1952+3252 we are only a factor of a few above the spin-down limit. Of the recycled millisecond pulsars several of the measured upper limits are only about an order of magnitude above their spin-down limits. For these our best (lowest) upper limit on gravitational wave amplitude is 2.3x10^-26 for J1603-7202 and our best (lowest) limit on the inferred pulsar ellipticity is 7.0x10^-8 for J2124-3358.
△ Less
Submitted 26 February, 2010; v1 submitted 19 September, 2009;
originally announced September 2009.
-
Search for gravitational-wave bursts associated with gamma-ray bursts using data from LIGO Science Run 5 and Virgo Science Run 1
Authors:
LIGO Scientific Collaboration,
Virgo Collaboration,
B. P. Abbott,
R. Abbott,
F. Acernese,
R. Adhikari,
P. Ajith,
B. Allen,
G. Allen,
M. Alshourbagy,
R. S. Amin,
S. B. Anderson,
W. G. Anderson,
F. Antonucci,
S. Aoudia,
M. A. Arain,
M. Araya,
H. Armandula,
P. Armor,
K. G. Arun,
Y. Aso,
S. Aston,
P. Astone,
P. Aufmuth,
C. Aulbert
, et al. (643 additional authors not shown)
Abstract:
We present the results of a search for gravitational-wave bursts associated with 137 gamma-ray bursts (GRBs) that were detected by satellite-based gamma-ray experiments during the fifth LIGO science run and first Virgo science run. The data used in this analysis were collected from 2005 November 4 to 2007 October 1, and most of the GRB triggers were from the Swift satellite. The search uses a co…
▽ More
We present the results of a search for gravitational-wave bursts associated with 137 gamma-ray bursts (GRBs) that were detected by satellite-based gamma-ray experiments during the fifth LIGO science run and first Virgo science run. The data used in this analysis were collected from 2005 November 4 to 2007 October 1, and most of the GRB triggers were from the Swift satellite. The search uses a coherent network analysis method that takes into account the different locations and orientations of the interferometers at the three LIGO-Virgo sites. We find no evidence for gravitational-wave burst signals associated with this sample of GRBs. Using simulated short-duration (<1 s) waveforms, we set upper limits on the amplitude of gravitational waves associated with each GRB. We also place lower bounds on the distance to each GRB under the assumption of a fixed energy emission in gravitational waves, with typical limits of D ~ 15 Mpc (E_GW^iso / 0.01 M_o c^2)^1/2 for emission at frequencies around 150 Hz, where the LIGO-Virgo detector network has best sensitivity. We present astrophysical interpretations and implications of these results, and prospects for corresponding searches during future LIGO-Virgo runs.
△ Less
Submitted 7 April, 2010; v1 submitted 26 August, 2009;
originally announced August 2009.
-
Gross-Hopkins duality and the Gorenstein condition
Authors:
W. G. Dwyer,
J. P. C. Greenlees,
S. B. Iyengar
Abstract:
Gross and Hopkins have proved that in chromatic stable homotopy, Spanier-Whitehead duality nearly coincides with Brown-Comenetz duality. Our goal is to give a conceptual interpretation for this phenomenon in terms of the Gorenstein condition for maps of ring spectra in the sense of [Duality in algebra and topology, Adv. Math. 200 (2006), 357--402. arXiv: math.AT/0510247 ]. We describe a general no…
▽ More
Gross and Hopkins have proved that in chromatic stable homotopy, Spanier-Whitehead duality nearly coincides with Brown-Comenetz duality. Our goal is to give a conceptual interpretation for this phenomenon in terms of the Gorenstein condition for maps of ring spectra in the sense of [Duality in algebra and topology, Adv. Math. 200 (2006), 357--402. arXiv: math.AT/0510247 ]. We describe a general notion of Brown-Comenetz dualizing module for a map of ring spectra and show that in this context such dualizing modules correspond bijectively to invertible K(n)-local spectra.
△ Less
Submitted 27 August, 2010; v1 submitted 28 May, 2009;
originally announced May 2009.
-
Beating the spin-down limit on gravitational wave emission from the Crab pulsar
Authors:
The LIGO Scientific Collaboration,
B. Abbott,
R. Abbott,
R. Adhikari,
P. Ajith,
B. Allen,
G. Allen,
R. Amin,
S. B. Anderson,
W. G. Anderson,
M. A. Arain,
M. Araya,
H. Armandula,
P. Armor,
Y. Aso,
S. Aston,
P. Aufmuth,
C. Aulbert,
S. Babak,
S. Ballmer,
H. Bantilan,
B. C. Barish,
C. Barker,
D. Barker,
B. Barr
, et al. (419 additional authors not shown)
Abstract:
We present direct upper limits on gravitational wave emission from the Crab pulsar using data from the first nine months of the fifth science run of the Laser Interferometer Gravitational-wave Observatory (LIGO). These limits are based on two searches. In the first we assume that the gravitational wave emission follows the observed radio timing, giving an upper limit on gravitational wave emissi…
▽ More
We present direct upper limits on gravitational wave emission from the Crab pulsar using data from the first nine months of the fifth science run of the Laser Interferometer Gravitational-wave Observatory (LIGO). These limits are based on two searches. In the first we assume that the gravitational wave emission follows the observed radio timing, giving an upper limit on gravitational wave emission that beats indirect limits inferred from the spin-down and braking index of the pulsar and the energetics of the nebula. In the second we allow for a small mismatch between the gravitational and radio signal frequencies and interpret our results in the context of two possible gravitational wave emission mechanisms.
△ Less
Submitted 22 July, 2008; v1 submitted 30 May, 2008;
originally announced May 2008.
-
The Bousfield lattice for truncated polynomial algebras
Authors:
W. G. Dwyer,
J. H. Palmieri
Abstract:
The global structure of the unbounded derived category of a truncated polynomial ring on countably many generators is investigated, via its Bousfield lattice. The Bousfield lattice is shown to have cardinality larger than that of the real numbers, and objects with large tensor-nilpotence height are constructed.
The global structure of the unbounded derived category of a truncated polynomial ring on countably many generators is investigated, via its Bousfield lattice. The Bousfield lattice is shown to have cardinality larger than that of the real numbers, and objects with large tensor-nilpotence height are constructed.
△ Less
Submitted 11 February, 2008;
originally announced February 2008.
-
Homotopy nilpotent groups
Authors:
Georg Biedermann,
William G. Dwyer
Abstract:
We study the connection between the Goodwillie tower of the identity and the lower central series of the loop group on connected spaces. We define the simplicial theory of homotopy n-nilpotent groups. This notion interpolates between infinite loop spaces and loop spaces. We prove that the set-valued algebraic theory obtained by applying $π_0$ is the theory of ordinary n-nilpotent groups and that…
▽ More
We study the connection between the Goodwillie tower of the identity and the lower central series of the loop group on connected spaces. We define the simplicial theory of homotopy n-nilpotent groups. This notion interpolates between infinite loop spaces and loop spaces. We prove that the set-valued algebraic theory obtained by applying $π_0$ is the theory of ordinary n-nilpotent groups and that the Goodwillie tower of a connected space is determined by a certain homotopy left Kan extension. We prove that n-excisive functors of the form $ΩF$ have values in homotopy n-nilpotent groups.
△ Less
Submitted 11 April, 2008; v1 submitted 25 September, 2007;
originally announced September 2007.
-
Homotopy theory of small diagrams over large categories
Authors:
Boris Chorny,
William G. Dwyer
Abstract:
Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the category of simplicial sets which satisfy a stronger universal property than the customary homotopy localization functors do.
Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the category of simplicial sets which satisfy a stronger universal property than the customary homotopy localization functors do.
△ Less
Submitted 5 July, 2006;
originally announced July 2006.
-
Duality in algebra and topology
Authors:
W. G. Dwyer,
J. P. C. Greenlees,
S. Iyengar
Abstract:
In this paper we take some classical ideas from commutative algebra, mostly ideas involving duality, and apply them in algebraic topology. To accomplish this we interpret properties of ordinary commutative rings in such a way that they can be extended to the more general rings that come up in homotopy theory. Amongst the rings we work with are the differential graded ring of cochains on a space,…
▽ More
In this paper we take some classical ideas from commutative algebra, mostly ideas involving duality, and apply them in algebraic topology. To accomplish this we interpret properties of ordinary commutative rings in such a way that they can be extended to the more general rings that come up in homotopy theory. Amongst the rings we work with are the differential graded ring of cochains on a space, the differential graded ring of chains on the loop space, and various ring spectra, e.g., the Spanier-Whitehead duals of finite spectra or chromatic localizations of the sphere spectrum.
Maybe the most important contribution of this paper is the conceptual framework, which allows us to view all of the following dualities: Poincare duality for manifolds, Gorenstein duality for commutative rings, Benson-Carlson duality for cohomology rings of finite groups, Poincare duality for groups, Gross-Hopkins duality in chromatic stable homotopy theory, as examples of a single phenomenon. Beyond setting up this framework, though, we prove some new results, both in algebra and topology, and give new proofs of a number of old results.
△ Less
Submitted 12 October, 2005;
originally announced October 2005.
-
Obstruction Theory in Model Categories
Authors:
J. Daniel Christensen,
William G. Dwyer,
Daniel C. Isaksen
Abstract:
Many examples of obstruction theory can be formulated as the study of when a lift exists in a commutative square. Typically, one of the maps is a cofibration of some sort and the opposite map is a fibration, and there is a functorial obstruction class that determines whether a lift exists. Working in an arbitrary pointed proper model category, we classify the cofibrations that have such an obstr…
▽ More
Many examples of obstruction theory can be formulated as the study of when a lift exists in a commutative square. Typically, one of the maps is a cofibration of some sort and the opposite map is a fibration, and there is a functorial obstruction class that determines whether a lift exists. Working in an arbitrary pointed proper model category, we classify the cofibrations that have such an obstruction theory with respect to all fibrations. Up to weak equivalence, retract, and cobase change, they are the cofibrations with weakly contractible target. Equivalently, they are the retracts of principal cofibrations. Without properness, the same classification holds for cofibrations with cofibrant source. Our results dualize to give a classification of fibrations that have an obstruction theory.
△ Less
Submitted 6 November, 2002; v1 submitted 22 September, 2001;
originally announced September 2001.