-
Bridging-Induced Phase Separation and Loop Extrusion Drive Noise in Chromatin Transcription
Authors:
Michael Chiang,
Cleis Battaglia,
Giada Forte,
Chris A. Brackley,
Nick Gilbert,
Davide Marenduzzo
Abstract:
Transcriptional noise, or heterogeneity, is important in cellular development and in disease. The molecular mechanisms driving it are, however, elusive and ill-understood. Here, we use computer simulations to explore the role of 3D chromatin structure in driving transcriptional noise. We study a simple polymer model where proteins - modeling complexes of transcription factors and polymerases - bin…
▽ More
Transcriptional noise, or heterogeneity, is important in cellular development and in disease. The molecular mechanisms driving it are, however, elusive and ill-understood. Here, we use computer simulations to explore the role of 3D chromatin structure in driving transcriptional noise. We study a simple polymer model where proteins - modeling complexes of transcription factors and polymerases - bind multivalently to transcription units - modeling regulatory elements such as promoters and enhancers. We also include cohesin-like factors which extrude chromatin loops that are important for the physiological folding of chromosomes. We find that transcription factor binding creates spatiotemporal patterning and a highly variable correlation time in transcriptional dynamics, providing a mechanism for intrinsic noise within a single cell. Instead, loop extrusion contributes to extrinsic noise, as the stochastic nature of this process leads to different networks of cohesin loops in different cells in our simulations. Our results could be tested with single-cell experiments and provide a pathway to understanding the principles underlying transcriptional plasticity in vivo.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
Modelling the 3D spatiotemporal organisation of chromatin replication
Authors:
G. Forte,
S. Buonomo,
P. R. Cook,
N. Gilbert,
D. Marenduzzo,
E. Orlandini
Abstract:
We propose a polymer model for the dynamics of chromatin replication in three dimensional space. Our simulations indicate that both immobile and tracking replisomes may self-assemble during the process, reconciling previous apparently discordant experimental evidence in favour of either scenario. Which of the two morphologies appears in our model depends on the balance between non-specific and ori…
▽ More
We propose a polymer model for the dynamics of chromatin replication in three dimensional space. Our simulations indicate that both immobile and tracking replisomes may self-assemble during the process, reconciling previous apparently discordant experimental evidence in favour of either scenario. Which of the two morphologies appears in our model depends on the balance between non-specific and origin-targeting interactions between chromatin and firing factors -- polymerases and other components of the replisome. Non-specific interactions are also necessary to yield clustering of factors and replication forks, creating structures akin to the replication foci observed in mammalian cells in vivo. We suggest that cluster formation provides an underappreciated but robust pathway to avoid stalled or faulty forks, which would otherwise diminish the efficiency of the replication process. Additionally, our simulations allow us to predict different modes of cluster growth during S-phase, which could be tested experimentally, and they show that the three dimensional chromatin context is important to understand replication patterns in fission yeast.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Genome organization: experiments and modelling
Authors:
N. Gilbert,
D. Marenduzzo
Abstract:
This is an introduction to the special issue Genome organization: experiments and simulations, published in Chromosome Research, volume 25, issue 1 (2017).
This is an introduction to the special issue Genome organization: experiments and simulations, published in Chromosome Research, volume 25, issue 1 (2017).
△ Less
Submitted 16 October, 2020;
originally announced October 2020.
-
Mechanistic Modelling of Chromatin Folding to Understand Function
Authors:
Chris A. Brackley,
Davide Marenduzzo,
Nick Gilbert
Abstract:
Experimental approaches have been applied to address questions in understanding three-dimensional chromatin organisation and function. As datasets increase in size and complexity, it becomes a challenge to reach a mechanistic interpretation of experimental results. Polymer simulations and mechanistic modelling have been applied to explain experimental observations, and the links to different aspec…
▽ More
Experimental approaches have been applied to address questions in understanding three-dimensional chromatin organisation and function. As datasets increase in size and complexity, it becomes a challenge to reach a mechanistic interpretation of experimental results. Polymer simulations and mechanistic modelling have been applied to explain experimental observations, and the links to different aspects of genome function. Here, we provide a guide for biologists, explaining different simulation approaches and the contexts in which they have been used.
△ Less
Submitted 13 October, 2020;
originally announced October 2020.
-
Key Questions for Modelling COVID-19 Exit Strategies
Authors:
Robin N Thompson,
T Deirdre Hollingsworth,
Valerie Isham,
Daniel Arribas-Bel,
Ben Ashby,
Tom Britton,
Peter Challoner,
Lauren H K Chappell,
Hannah Clapham,
Nik J Cunniffe,
A Philip Dawid,
Christl A Donnelly,
Rosalind Eggo,
Sebastian Funk,
Nigel Gilbert,
Julia R Gog,
Paul Glendinning,
William S Hart,
Hans Heesterbeek,
Thomas House,
Matt Keeling,
Istvan Z Kiss,
Mirjam Kretzschmar,
Alun L Lloyd,
Emma S McBryde
, et al. (18 additional authors not shown)
Abstract:
Combinations of intense non-pharmaceutical interventions ('lockdowns') were introduced in countries worldwide to reduce SARS-CoV-2 transmission. Many governments have begun to implement lockdown exit strategies that allow restrictions to be relaxed while attempting to control the risk of a surge in cases. Mathematical modelling has played a central role in guiding interventions, but the challenge…
▽ More
Combinations of intense non-pharmaceutical interventions ('lockdowns') were introduced in countries worldwide to reduce SARS-CoV-2 transmission. Many governments have begun to implement lockdown exit strategies that allow restrictions to be relaxed while attempting to control the risk of a surge in cases. Mathematical modelling has played a central role in guiding interventions, but the challenge of designing optimal exit strategies in the face of ongoing transmission is unprecedented. Here, we report discussions from the Isaac Newton Institute 'Models for an exit strategy' workshop (11-15 May 2020). A diverse community of modellers who are providing evidence to governments worldwide were asked to identify the main questions that, if answered, will allow for more accurate predictions of the effects of different exit strategies. Based on these questions, we propose a roadmap to facilitate the development of reliable models to guide exit strategies. The roadmap requires a global collaborative effort from the scientific community and policy-makers, and is made up of three parts: i) improve estimation of key epidemiological parameters; ii) understand sources of heterogeneity in populations; iii) focus on requirements for data collection, particularly in Low-to-Middle-Income countries. This will provide important information for planning exit strategies that balance socio-economic benefits with public health.
△ Less
Submitted 21 July, 2020; v1 submitted 21 June, 2020;
originally announced June 2020.
-
MakeSense: An IoT Testbed for Social Research of Indoor Activities
Authors:
Jie Jiang,
Riccardo Pozza,
Nigel Gilbert,
Klaus Moessner
Abstract:
There has been increasing interest in deploying IoT devices to study human behaviour in locations such as homes and offices. Such devices can be deployed in a laboratory or `in the wild' in natural environments. The latter allows one to collect behavioural data that is not contaminated by the artificiality of a laboratory experiment. Using IoT devices in ordinary environments also brings the benef…
▽ More
There has been increasing interest in deploying IoT devices to study human behaviour in locations such as homes and offices. Such devices can be deployed in a laboratory or `in the wild' in natural environments. The latter allows one to collect behavioural data that is not contaminated by the artificiality of a laboratory experiment. Using IoT devices in ordinary environments also brings the benefits of reduced cost, as compared with lab experiments, and less disturbance to the participants' daily routines which in turn helps with recruiting them into the research. However, in this case, it is essential to have an IoT infrastructure that can be easily and swiftly installed and from which real-time data can be securely and straightforwardly collected. In this paper, we present MakeSense, an IoT testbed that enables real-world experimentation for large scale social research on indoor activities through real-time monitoring and/or situation-aware applications. The testbed features quick setup, flexibility in deployment, the integration of a range of IoT devices, resilience, and scalability. We also present two case studies to demonstrate the use of the testbed, one in homes and one in offices.
△ Less
Submitted 9 August, 2019;
originally announced August 2019.
-
Deep Learning Based Energy Disaggregation and On/Off Detection of Household Appliances
Authors:
Jie Jiang,
Qiuqiang Kong,
Mark Plumbley,
Nigel Gilbert
Abstract:
Energy disaggregation, a.k.a. Non-Intrusive Load Monitoring, aims to separate the energy consumption of individual appliances from the readings of a mains power meter measuring the total energy consumption of, e.g. a whole house. Energy consumption of individual appliances can be useful in many applications, e.g., providing appliance-level feedback to the end users to help them understand their en…
▽ More
Energy disaggregation, a.k.a. Non-Intrusive Load Monitoring, aims to separate the energy consumption of individual appliances from the readings of a mains power meter measuring the total energy consumption of, e.g. a whole house. Energy consumption of individual appliances can be useful in many applications, e.g., providing appliance-level feedback to the end users to help them understand their energy consumption and ultimately save energy. Recently, with the availability of large-scale energy consumption datasets, various neural network models such as convolutional neural networks and recurrent neural networks have been investigated to solve the energy disaggregation problem. Neural network models can learn complex patterns from large amounts of data and have been shown to outperform the traditional machine learning methods such as variants of hidden Markov models. However, current neural network methods for energy disaggregation are either computational expensive or are not capable of handling long-term dependencies. In this paper, we investigate the application of the recently developed WaveNet models for the task of energy disaggregation. Based on a real-world energy dataset collected from 20 households over two years, we show that WaveNet models outperforms the state-of-the-art deep learning methods proposed in the literature for energy disaggregation in terms of both error measures and computational cost. On the basis of energy disaggregation, we then investigate the performance of two deep-learning based frameworks for the task of on/off detection which aims at estimating whether an appliance is in operation or not. Based on the same dataset, we show that for the task of on/off detection the second framework, i.e., directly training a binary classifier, achieves better performance in terms of F1 score.
△ Less
Submitted 5 August, 2019; v1 submitted 2 July, 2019;
originally announced August 2019.
-
The algebra of rewriting for presentations of inverse monoids
Authors:
N. D. Gilbert,
E. A. McDougall
Abstract:
We describe a formalism, using groupoids, for the study of rewriting for presentations of inverse monoids, that is based on the Squier complex construction for monoid presentations. We introduce the class of pseudoregular groupoids, an example of which now arises as the fundamental groupoid of our version of the Squier complex. A further key ingredient is the factorisation of the presentation map…
▽ More
We describe a formalism, using groupoids, for the study of rewriting for presentations of inverse monoids, that is based on the Squier complex construction for monoid presentations. We introduce the class of pseudoregular groupoids, an example of which now arises as the fundamental groupoid of our version of the Squier complex. A further key ingredient is the factorisation of the presentation map from a free inverse monoid as the composition of an idempotent pure map and an idempotent separating map. The relation module of a presentation is then defined as the abelianised kernel of this idempotent separating map. We then use the properties of idempotent separating maps to derive a free presentation of the relation module. The construction of its kernel - the module of identities - uses further facts about pseudoregular groupoids.
△ Less
Submitted 30 April, 2019;
originally announced April 2019.
-
Groupoids and the algebra of rewriting in group presentations
Authors:
N. D. Gilbert,
E. A. McDougall
Abstract:
Presentations of groups by rewriting systems (that is, by monoid presentations), have been fruitfully studied by encoding the rewriting system in a $2$--complex -- the Squier complex -- whose fundamental groupoid then describes the derivation of consequences of the rewrite rules. We describe a reduced form of the Squier complex, investigate the structure of its fundamental groupoid, and show that…
▽ More
Presentations of groups by rewriting systems (that is, by monoid presentations), have been fruitfully studied by encoding the rewriting system in a $2$--complex -- the Squier complex -- whose fundamental groupoid then describes the derivation of consequences of the rewrite rules. We describe a reduced form of the Squier complex, investigate the structure of its fundamental groupoid, and show that key properties of the presentation are still encoded in the reduced form.
△ Less
Submitted 14 January, 2019;
originally announced January 2019.
-
The homology of principally directed ordered groupoids
Authors:
B. O. Bainson,
N. D. Gilbert
Abstract:
We present some homological properties of a relation $β$ on ordered groupoids that generalises the minimum group congruence for inverse semigroups. When $β$ is a transitive relation on an ordered groupoid $G$, the quotient $G / β$ is again an ordered groupoid, and construct a pair of adjoint functors between the module categories of $G$ and of $G / β$. As a consequence, we show that the homology o…
▽ More
We present some homological properties of a relation $β$ on ordered groupoids that generalises the minimum group congruence for inverse semigroups. When $β$ is a transitive relation on an ordered groupoid $G$, the quotient $G / β$ is again an ordered groupoid, and construct a pair of adjoint functors between the module categories of $G$ and of $G / β$. As a consequence, we show that the homology of $G$ is completely determined by that of $G / β$, generalising a result of Loganathan for inverse semigroups.
△ Less
Submitted 12 April, 2017;
originally announced April 2017.
-
Cohomology and extensions of ordered groupoids
Authors:
B. O. Bainson,
N. D. Gilbert
Abstract:
We adapt and generalise results of Loganathan on the cohomology of inverse semigroups to the cohomology of ordered groupoids. We then derive a five-term exact sequence in cohomology from an extension of ordered groupoids, and show that this sequence leads to a classification of extensions by a second cohomology group. Our methods use structural ideas in cohomology as far as possible, rather than c…
▽ More
We adapt and generalise results of Loganathan on the cohomology of inverse semigroups to the cohomology of ordered groupoids. We then derive a five-term exact sequence in cohomology from an extension of ordered groupoids, and show that this sequence leads to a classification of extensions by a second cohomology group. Our methods use structural ideas in cohomology as far as possible, rather than computation with cocycles.
△ Less
Submitted 21 February, 2017;
originally announced February 2017.
-
Closed inverse subsemigroups of graph inverse semigroups
Authors:
Amal AlAli,
N. D. Gilbert
Abstract:
As part of his study of representations of the polycylic monoids, M.V. Lawson described all the closed inverse submonoids of a polycyclic monoid $P_n$ and classified them up to conjugacy. We show that Lawson's description can be extended to closed inverse subsemigroups of graph inverse semigroups. We then apply B. Schein's theory of cosets in inverse semigroups to the closed inverse subsemigroups…
▽ More
As part of his study of representations of the polycylic monoids, M.V. Lawson described all the closed inverse submonoids of a polycyclic monoid $P_n$ and classified them up to conjugacy. We show that Lawson's description can be extended to closed inverse subsemigroups of graph inverse semigroups. We then apply B. Schein's theory of cosets in inverse semigroups to the closed inverse subsemigroups of graph inverse semigroups: we give necessary and sufficient conditions for a closed inverse subsemigroup of a graph inverse semigroup to have finite index, and determine the value of the index when it is finite.
△ Less
Submitted 16 August, 2016;
originally announced August 2016.
-
Inverse subsemigroups of finite index in finitely generated inverse semigroups
Authors:
Amal AlAli,
N. D. Gilbert
Abstract:
The index of a subgroup of a group counts the number of cosets of that subgroup. A subgroup of finite index often shares structural properties with the group, and the existence of a subgroup of finite index with some particular property can therefore imply useful structural information for the overgroup. A developed theory of cosets in inverse semigroups exists, originally due to Schein: it is def…
▽ More
The index of a subgroup of a group counts the number of cosets of that subgroup. A subgroup of finite index often shares structural properties with the group, and the existence of a subgroup of finite index with some particular property can therefore imply useful structural information for the overgroup. A developed theory of cosets in inverse semigroups exists, originally due to Schein: it is defined only for closed inverse subsemigroups, and the structural correspondences between an inverse semigroup and a closed inverse subsemigroup of finite index are weaker than in the group case. Nevertheless, many aspects of this theory are of interest, and some of them are addressed in this paper. We study the basic theory of cosets in inverse semigroups, including an index formula for chains of subgroups and an analogue of M. Hall's Theorem on counting subgroups of finite index in finitely generated groups. We then look in detail at the connection between the following properties of a closed inverse submonoid of an inverse monoid: having finite index; being a recognisable subset; being a rational subset; being finitely generated (as a closed inverse submonoid). A remarkable result of Margolis and Meakin shows that these properties are equivalent for closed inverse submonoids of free inverse monoids.
△ Less
Submitted 15 August, 2016;
originally announced August 2016.
-
A stochastic model of supercoiling-dependent transcription
Authors:
C. A. Brackley,
J. Johnson,
A. Bentivoglio,
S. Corless,
N. Gilbert,
G. Gonnella,
D. Marenduzzo
Abstract:
We propose a stochastic model for gene transcription coupled to DNA supercoiling, where we incorporate the experimental observation that polymerases create supercoiling as they unwind the DNA helix, and that these enzymes bind more favourably to regions where the genome is unwound. Within this model, we show that when the transcriptionally induced flux of supercoiling increases, there is a sharp c…
▽ More
We propose a stochastic model for gene transcription coupled to DNA supercoiling, where we incorporate the experimental observation that polymerases create supercoiling as they unwind the DNA helix, and that these enzymes bind more favourably to regions where the genome is unwound. Within this model, we show that when the transcriptionally induced flux of supercoiling increases, there is a sharp crossover from a regime where torsional stresses relax quickly and gene transcription is random, to one where gene expression is highly correlated and tightly regulated by supercoiling. In the latter regime, the model displays transcriptional bursts, waves of supercoiling, and up-regulation of divergent or bidirectional genes. It also predicts that topological enzymes which relax twist and writhe should provide a pathway to down-regulate transcription. This article has been published in Physical Review Letters, May 2016.
△ Less
Submitted 13 April, 2018; v1 submitted 21 June, 2016;
originally announced June 2016.
-
Ordered groupoid quotients and congruences on inverse semigroups
Authors:
Nouf AlYamani,
N. D. Gilbert
Abstract:
We introduce a preorder on an inverse semigroup $S$ associated to any normal inverse subsemigroup $N$, that lies between the natural partial order and Green's ${\mathscr J}$-relation. The corresponding equivalence relation $\simeq_N$ is not necessarily a congruence on $S$, but the quotient set does inherit a natural ordered groupoid structure. We show that this construction permits the factorisati…
▽ More
We introduce a preorder on an inverse semigroup $S$ associated to any normal inverse subsemigroup $N$, that lies between the natural partial order and Green's ${\mathscr J}$-relation. The corresponding equivalence relation $\simeq_N$ is not necessarily a congruence on $S$, but the quotient set does inherit a natural ordered groupoid structure. We show that this construction permits the factorisation of any inverse semigroup homomorphism into a composition of a quotient map and a star-injective functor, and that this decomposition implies a classification of congruences on $S$. We give an application to the congruence and certain normal inverse subsemigroups associate to an inverse monoid presentation.
△ Less
Submitted 29 January, 2016;
originally announced January 2016.
-
A broadband silicon quarter-wave retarder for far-infrared spectroscopic circular dichroism
Authors:
Xiaoxiang Xi,
R. J. Smith,
T. N. Stanislavchuk,
A. A. Sirenko,
S. N. Gilbert,
J. J. Tu,
G. L. Carr
Abstract:
The high brightness, broad spectral coverage and pulsed characteristics of infrared synchrotron radiation enable time-resolved spectroscopy under throughput-limited optical systems, as can occur with the high-field magnet cryostat systems used to study electron dynamics and cyclotron resonance by far-infrared techniques. A natural extension for magnetospectroscopy is to sense circular dichroism, i…
▽ More
The high brightness, broad spectral coverage and pulsed characteristics of infrared synchrotron radiation enable time-resolved spectroscopy under throughput-limited optical systems, as can occur with the high-field magnet cryostat systems used to study electron dynamics and cyclotron resonance by far-infrared techniques. A natural extension for magnetospectroscopy is to sense circular dichroism, i.e. the difference in a material's optical response for left and right circularly polarized light. A key component for spectroscopic circular dichroism is an achromatic 1/4 wave retarder functioning over the spectral range of interest. We report here the development of an in-line retarder using total internal reflection in high-resistivity silicon. We demonstrate its performance by distinguishing electronic excitations of different handednesses for GaAs in a magnetic field. This 1/4 wave retarder is expected to be useful for far-infrared spectroscopy of circular dichroism in many materials.
△ Less
Submitted 7 August, 2014;
originally announced August 2014.
-
Fibrations of ordered groupoids and the factorization of ordered functors
Authors:
Nouf AlYamani,
N. D. Gilbert,
E. C. Miller
Abstract:
We investigate canonical factorizations of ordered functors of ordered groupoids through star-surjective functors. Our main construction is a quotient ordered groupoid, depending on an ordered version of the notion of normal subgroupoid, that results is the factorization of an ordered functor as a star-surjective functor followed by a star-injective functor. Any star-injective functor possesses a…
▽ More
We investigate canonical factorizations of ordered functors of ordered groupoids through star-surjective functors. Our main construction is a quotient ordered groupoid, depending on an ordered version of the notion of normal subgroupoid, that results is the factorization of an ordered functor as a star-surjective functor followed by a star-injective functor. Any star-injective functor possesses a universal factorization through a covering, by Ehresmann's Maximum Enlargement Theorem. We also show that any ordered functor has a canonical factorization through a functor with the ordered homotopy lifting property.
△ Less
Submitted 27 March, 2014; v1 submitted 13 March, 2014;
originally announced March 2014.
-
Ordered groupoids and the holomorph of an inverse semigroup
Authors:
N. D. Gilbert,
E. A. McDougall
Abstract:
We present a construction for the holomorph of an inverse semigroup, derived from the cartesian closed structure of the category of ordered groupoids. We compare the holomorph with the monoid of map**s that preserve the ternary heap operation on an inverse semigroup: for groups these two constructions coincide. We present detailed calculations for semilattices of groups and for the polycyclic mo…
▽ More
We present a construction for the holomorph of an inverse semigroup, derived from the cartesian closed structure of the category of ordered groupoids. We compare the holomorph with the monoid of map**s that preserve the ternary heap operation on an inverse semigroup: for groups these two constructions coincide. We present detailed calculations for semilattices of groups and for the polycyclic monoids.
△ Less
Submitted 19 February, 2014;
originally announced February 2014.
-
Towards a living earth simulator
Authors:
M. Paolucci,
D. Kossman,
R. Conte,
P. Lukowicz,
P. Argyrakis,
A. Blandford,
G. Bonelli,
S. Anderson,
S. de Freitas,
B. Edmonds,
N. Gilbert,
M. Gross,
J. Kohlhammer,
P. Koumoutsakos,
A. Krause,
B. -O. Linnér,
P. Slusallek,
O. Sorkine,
R. W. Sumner,
D. Helbing
Abstract:
The Living Earth Simulator (LES) is one of the core components of the FuturICT architecture. It will work as a federation of methods, tools, techniques and facilities supporting all of the FuturICT simulation-related activities to allow and encourage interactive exploration and understanding of societal issues. Society-relevant problems will be targeted by leaning on approaches based on complex sy…
▽ More
The Living Earth Simulator (LES) is one of the core components of the FuturICT architecture. It will work as a federation of methods, tools, techniques and facilities supporting all of the FuturICT simulation-related activities to allow and encourage interactive exploration and understanding of societal issues. Society-relevant problems will be targeted by leaning on approaches based on complex systems theories and data science in tight interaction with the other components of FuturICT. The LES will evaluate and provide answers to real-world questions by taking into account multiple scenarios. It will build on present approaches such as agent-based simulation and modeling, multiscale modelling, statistical inference, and data mining, moving beyond disciplinary borders to achieve a new perspective on complex social systems.
△ Less
Submitted 6 April, 2013;
originally announced April 2013.
-
Mechanical and Electronic Properties of Ferromagnetic GaMnAs Using Ultrafast Coherent Acoustic Phonons
Authors:
J. Qi,
J. A. Yan,
H. Park,
A. Steigerwald,
Y. Xu,
S. N. Gilbert,
X. Liu,
J. K. Furdyna,
S. T. Pantelides,
N. Tolk
Abstract:
Ultrafast two-color pump-probe measurements, involving coherent acoustic phonon (CAP) waves, have provided information simultaneously on the mechanical properties and on the electronic structure of ferromagnetic GaMnAs. The elastic constant C11 of Ga1-xMnxAs (0.03<x<0.07) are observed to be systematically smaller than those of GaAs. Both C11 and Vs of GaMnAs are found to increase with temperature…
▽ More
Ultrafast two-color pump-probe measurements, involving coherent acoustic phonon (CAP) waves, have provided information simultaneously on the mechanical properties and on the electronic structure of ferromagnetic GaMnAs. The elastic constant C11 of Ga1-xMnxAs (0.03<x<0.07) are observed to be systematically smaller than those of GaAs. Both C11 and Vs of GaMnAs are found to increase with temperature (78 K<T<295 K), again in contrast to the opposite behavior in GaAs. In addition, the fundamental bandgap (at E0 critical point) of Ga1-xMnxAs is found to shift slightly to higher energies with Mn concentration.
△ Less
Submitted 14 September, 2012; v1 submitted 10 July, 2008;
originally announced July 2008.