-
Identifying Easy Instances to Improve Efficiency of ML Pipelines for Algorithm-Selection
Authors:
Quentin Renau,
Emma Hart
Abstract:
Algorithm-selection (AS) methods are essential in order to obtain the best performance from a portfolio of solvers over large sets of instances. However, many AS methods rely on an analysis phase, e.g. where features are computed by sampling solutions and used as input in a machine-learning model. For AS to be efficient, it is therefore important that this analysis phase is not computationally exp…
▽ More
Algorithm-selection (AS) methods are essential in order to obtain the best performance from a portfolio of solvers over large sets of instances. However, many AS methods rely on an analysis phase, e.g. where features are computed by sampling solutions and used as input in a machine-learning model. For AS to be efficient, it is therefore important that this analysis phase is not computationally expensive. We propose a method for identifying easy instances which can be solved quickly using a generalist solver without any need for algorithm-selection. This saves computational budget associated with feature-computation which can then be used elsewhere in an AS pipeline, e.g., enabling additional function evaluations on hard problems. Experiments on the BBOB dataset in two settings (batch and streaming) show that identifying easy instances results in substantial savings in function evaluations. Re-allocating the saved budget to hard problems provides gains in performance compared to both the virtual best solver (VBS) computed with the original budget, the single best solver (SBS) and a trained algorithm-selector.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Evaluating the Robustness of Deep-Learning Algorithm-Selection Models by Evolving Adversarial Instances
Authors:
Emma Hart,
Quentin Renau,
Kevin Sim,
Mohamad Alissa
Abstract:
Deep neural networks (DNN) are increasingly being used to perform algorithm-selection in combinatorial optimisation domains, particularly as they accommodate input representations which avoid designing and calculating features. Mounting evidence from domains that use images as input shows that deep convolutional networks are vulnerable to adversarial samples, in which a small perturbation of an in…
▽ More
Deep neural networks (DNN) are increasingly being used to perform algorithm-selection in combinatorial optimisation domains, particularly as they accommodate input representations which avoid designing and calculating features. Mounting evidence from domains that use images as input shows that deep convolutional networks are vulnerable to adversarial samples, in which a small perturbation of an instance can cause the DNN to misclassify. However, it remains unknown as to whether deep recurrent networks (DRN) which have recently been shown promise as algorithm-selectors in the bin-packing domain are equally vulnerable. We use an evolutionary algorithm (EA) to find perturbations of instances from two existing benchmarks for online bin packing that cause trained DRNs to misclassify: adversarial samples are successfully generated from up to 56% of the original instances depending on the dataset. Analysis of the new misclassified instances sheds light on the `fragility' of some training instances, i.e. instances where it is trivial to find a small perturbation that results in a misclassification and the factors that influence this. Finally, the method generates a large number of new instances misclassified with a wide variation in confidence, providing a rich new source of training data to create more robust models.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Overcoming Limitations in Artificial Intelligence-based Prostate Cancer Detection through Better Datasets and a Bayesian Approach to Aggregate Panel Predictions
Authors:
T. J. Hart,
Chloe Engler Hart,
Spencer Hopson,
Paul M. Urie,
Dennis Della Corte
Abstract:
Despite considerable progress in developing artificial intelligence (AI) algorithms for prostate cancer detection from whole slide images, the clinical applicability of these models remains limited due to variability in pathological annotations and existing dataset limitations. This article proposes a novel approach to overcome these challenges by leveraging a Bayesian framework to seamlessly inte…
▽ More
Despite considerable progress in developing artificial intelligence (AI) algorithms for prostate cancer detection from whole slide images, the clinical applicability of these models remains limited due to variability in pathological annotations and existing dataset limitations. This article proposes a novel approach to overcome these challenges by leveraging a Bayesian framework to seamlessly integrate new data, and present results as a panel of annotations. The framework is demonstrated by integrating a Bayesian prior with one trained AI model to generate a distribution of Gleason patterns for each pixel of an image. It is shown that using this distribution of Gleason patterns rather than a ground-truth label can improve model applicability, mitigate errors, and highlight areas of interest for pathologists. Additionally, we present a high-quality, hand-curated dataset of prostate histopathological images annotated at the gland level by trained pre-medical students and verified by an expert pathologist. We highlight the potential of this adaptive and uncertainty-aware framework for developing clinically deployable AI tools that can support pathologists in accurate prostate cancer grading, improve diagnostic accuracy, and create positive patient outcomes.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Paired Autoencoders for Inverse Problems
Authors:
Matthias Chung,
Emma Hart,
Julianne Chung,
Bas Peters,
Eldad Haber
Abstract:
We consider the solution of nonlinear inverse problems where the forward problem is a discretization of a partial differential equation. Such problems are notoriously difficult to solve in practice and require minimizing a combination of a data-fit term and a regularization term. The main computational bottleneck of typical algorithms is the direct estimation of the data misfit. Therefore, likelih…
▽ More
We consider the solution of nonlinear inverse problems where the forward problem is a discretization of a partial differential equation. Such problems are notoriously difficult to solve in practice and require minimizing a combination of a data-fit term and a regularization term. The main computational bottleneck of typical algorithms is the direct estimation of the data misfit. Therefore, likelihood-free approaches have become appealing alternatives. Nonetheless, difficulties in generalization and limitations in accuracy have hindered their broader utility and applicability. In this work, we use a paired autoencoder framework as a likelihood-free estimator for inverse problems. We show that the use of such an architecture allows us to construct a solution efficiently and to overcome some known open problems when using likelihood-free estimators. In particular, our framework can assess the quality of the solution and improve on it if needed. We demonstrate the viability of our approach using examples from full waveform inversion and inverse electromagnetic imaging.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Improving Algorithm-Selection and Performance-Prediction via Learning Discriminating Training Samples
Authors:
Quentin Renau,
Emma Hart
Abstract:
The choice of input-data used to train algorithm-selection models is recognised as being a critical part of the model success. Recently, feature-free methods for algorithm-selection that use short trajectories obtained from running a solver as input have shown promise. However, it is unclear to what extent these trajectories reliably discriminate between solvers. We propose a meta approach to gene…
▽ More
The choice of input-data used to train algorithm-selection models is recognised as being a critical part of the model success. Recently, feature-free methods for algorithm-selection that use short trajectories obtained from running a solver as input have shown promise. However, it is unclear to what extent these trajectories reliably discriminate between solvers. We propose a meta approach to generating discriminatory trajectories with respect to a portfolio of solvers. The algorithm-configuration tool irace is used to tune the parameters of a simple Simulated Annealing algorithm (SA) to produce trajectories that maximise the performance metrics of ML models trained on this data. We show that when the trajectories obtained from the tuned SA algorithm are used in ML models for algorithm-selection and performance prediction, we obtain significantly improved performance metrics compared to models trained both on raw trajectory data and on exploratory landscape features.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
An Investigation of the Factors Influencing Evolutionary Dynamics in the Joint Evolution of Robot Body and Control
Authors:
Léni K. Le Goff,
Edgar Buchanan,
Emma Hart
Abstract:
In evolutionary robotics, jointly optimising the design and the controller of robots is a challenging task due to the huge complexity of the solution space formed by the possible combinations of body and controller. We focus on the evolution of robots that can be physically created rather than just simulated, in a rich morphological space that includes a voxel-based chassis, wheels, legs and senso…
▽ More
In evolutionary robotics, jointly optimising the design and the controller of robots is a challenging task due to the huge complexity of the solution space formed by the possible combinations of body and controller. We focus on the evolution of robots that can be physically created rather than just simulated, in a rich morphological space that includes a voxel-based chassis, wheels, legs and sensors. On the one hand, this space offers a high degree of liberty in the range of robots that can be produced, while on the other hand introduces a complexity rarely dealt with in previous works relating to matching controllers to designs and in evolving closed-loop control. This is usually addressed by augmenting evolution with a learning algorithm to refine controllers. Although several frameworks exist, few have studied the role of the \textit{evolutionary dynamics} of the intertwined `evolution+learning' processes in realising high-performing robots. We conduct an in-depth study of the factors that influence these dynamics, specifically: synchronous vs asynchronous evolution; the mechanism for replacing parents with offspring, and rewarding goal-based fitness vs novelty via selection. Results show that asynchronicity combined with goal-based selection and a `replace worst' strategy results in the highest performance.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Understanding fitness landscapes in morpho-evolution via local optima networks
Authors:
Sarah L. Thomson,
Léni K. Le Goff,
Emma Hart,
Edgar Buchanan
Abstract:
Morpho-evolution (ME) refers to the simultaneous optimisation of a robot's design and controller to maximise performance given a task and environment. Many genetic encodings have been proposed which are capable of representing design and control. Previous research has provided empirical comparisons between encodings in terms of their performance with respect to an objective function and the divers…
▽ More
Morpho-evolution (ME) refers to the simultaneous optimisation of a robot's design and controller to maximise performance given a task and environment. Many genetic encodings have been proposed which are capable of representing design and control. Previous research has provided empirical comparisons between encodings in terms of their performance with respect to an objective function and the diversity of designs that are evaluated, however there has been no attempt to explain the observed findings. We address this by applying Local Optima Network (LON) analysis to investigate the structure of the fitness landscapes induced by three different encodings when evolving a robot for a locomotion task, shedding new light on the ease by which different fitness landscapes can be traversed by a search process. This is the first time LON analysis has been applied in the field of ME despite its popularity in combinatorial optimisation domains; the findings will facilitate design of new algorithms or operators that are customised to ME landscapes in the future.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
On the Utility of Probing Trajectories for Algorithm-Selection
Authors:
Quentin Renau,
Emma Hart
Abstract:
Machine-learning approaches to algorithm-selection typically take data describing an instance as input. Input data can take the form of features derived from the instance description or fitness landscape, or can be a direct representation of the instance itself, i.e. an image or textual description. Regardless of the choice of input, there is an implicit assumption that instances that are similar…
▽ More
Machine-learning approaches to algorithm-selection typically take data describing an instance as input. Input data can take the form of features derived from the instance description or fitness landscape, or can be a direct representation of the instance itself, i.e. an image or textual description. Regardless of the choice of input, there is an implicit assumption that instances that are similar will elicit similar performance from algorithm, and that a model is capable of learning this relationship. We argue that viewing algorithm-selection purely from an instance perspective can be misleading as it fails to account for how an algorithm `views' similarity between instances. We propose a novel `algorithm-centric' method for describing instances that can be used to train models for algorithm-selection: specifically, we use short probing trajectories calculated by applying a solver to an instance for a very short period of time. The approach is demonstrated to be promising, providing comparable or better results to computationally expensive landscape-based feature-based approaches. Furthermore, projecting the trajectories into a 2-dimensional space illustrates that functions that are similar from an algorithm-perspective do not necessarily correspond to the accepted categorisation of these functions from a human perspective.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Generalized Early Stopping in Evolutionary Direct Policy Search
Authors:
Etor Arza,
Leni K. Le Goff,
Emma Hart
Abstract:
Lengthy evaluation times are common in many optimization problems such as direct policy search tasks, especially when they involve conducting evaluations in the physical world, e.g. in robotics applications. Often when evaluating solution over a fixed time period it becomes clear that the objective value will not increase with additional computation time (for example when a two wheeled robot conti…
▽ More
Lengthy evaluation times are common in many optimization problems such as direct policy search tasks, especially when they involve conducting evaluations in the physical world, e.g. in robotics applications. Often when evaluating solution over a fixed time period it becomes clear that the objective value will not increase with additional computation time (for example when a two wheeled robot continuously spins on the spot). In such cases, it makes sense to stop the evaluation early to save computation time. However, most approaches to stop the evaluation are problem specific and need to be specifically designed for the task at hand. Therefore, we propose an early stopping method for direct policy search. The proposed method only looks at the objective value at each time step and requires no problem specific knowledge. We test the introduced stopping criterion in five direct policy search environments drawn from games, robotics and classic control domains, and show that it can save up to 75% of the computation time. We also compare it with problem specific stopping criteria and show that it performs comparably, while being more generally applicable.
△ Less
Submitted 21 March, 2024; v1 submitted 7 August, 2023;
originally announced August 2023.
-
To Switch or not to Switch: Predicting the Benefit of Switching between Algorithms based on Trajectory Features
Authors:
Diederick Vermetten,
Hao Wang,
Kevin Sim,
Emma Hart
Abstract:
Dynamic algorithm selection aims to exploit the complementarity of multiple optimization algorithms by switching between them during the search. While these kinds of dynamic algorithms have been shown to have potential to outperform their component algorithms, it is still unclear how this potential can best be realized. One promising approach is to make use of landscape features to enable a per-ru…
▽ More
Dynamic algorithm selection aims to exploit the complementarity of multiple optimization algorithms by switching between them during the search. While these kinds of dynamic algorithms have been shown to have potential to outperform their component algorithms, it is still unclear how this potential can best be realized. One promising approach is to make use of landscape features to enable a per-run trajectory-based switch. Here, the samples seen by the first algorithm are used to create a set of features which describe the landscape from the perspective of the algorithm. These features are then used to predict what algorithm to switch to.
In this work, we extend this per-run trajectory-based approach to consider a wide variety of potential points at which to perform the switch. We show that using a sliding window to capture the local landscape features contains information which can be used to predict whether a switch at that point would be beneficial to future performance. By analyzing the resulting models, we identify what features are most important to these predictions. Finally, by evaluating the importance of features and comparing these values between multiple algorithms, we show clear differences in the way the second algorithm interacts with the local landscape features found before the switch.
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
Accelerating X-Ray Tracing for Exascale Systems using Kokkos
Authors:
Felix Wittwer,
Nicholas K. Sauter,
Derek Mendez,
Billy K. Poon,
Aaron S. Brewster,
James M. Holton,
Michael E. Wall,
William E. Hart,
Deborah J. Bard,
Johannes P. Blaschke
Abstract:
The upcoming exascale computing systems Frontier and Aurora will draw much of their computing power from GPU accelerators. The hardware for these systems will be provided by AMD and Intel, respectively, each supporting their own GPU programming model. The challenge for applications that harness one of these exascale systems will be to avoid lock-in and to preserve performance portability.
We rep…
▽ More
The upcoming exascale computing systems Frontier and Aurora will draw much of their computing power from GPU accelerators. The hardware for these systems will be provided by AMD and Intel, respectively, each supporting their own GPU programming model. The challenge for applications that harness one of these exascale systems will be to avoid lock-in and to preserve performance portability.
We report here on our results of using Kokkos to accelerate a real-world application on NERSC's Perlmutter Phase 1 (using NVIDIA A100 accelerators) and the testbed system for OLCF's Frontier (using AMD MI250X). By porting to Kokkos, we were able to successfully run the same X-ray tracing code on both systems and achieved speed-ups between 13% and 66% compared to the original CUDA code. These results are a highly encouraging demonstration of using Kokkos to accelerate production science code.
△ Less
Submitted 16 May, 2022;
originally announced May 2022.
-
Automated Algorithm Selection: from Feature-Based to Feature-Free Approaches
Authors:
Mohamad Alissa,
Kevin Sim,
Emma Hart
Abstract:
We propose a novel technique for algorithm-selection, applicable to optimisation domains in which there is implicit sequential information encapsulated in the data, e.g., in online bin-packing. Specifically we train two types of recurrent neural networks to predict a packing heuristic in online bin-packing, selecting from four well-known heuristics. As input, the RNN methods only use the sequence…
▽ More
We propose a novel technique for algorithm-selection, applicable to optimisation domains in which there is implicit sequential information encapsulated in the data, e.g., in online bin-packing. Specifically we train two types of recurrent neural networks to predict a packing heuristic in online bin-packing, selecting from four well-known heuristics. As input, the RNN methods only use the sequence of item-sizes. This contrasts to typical approaches to algorithm-selection which require a model to be trained using domain-specific instance features that need to be first derived from the input data. The RNN approaches are shown to be capable of achieving within 5% of the oracle performance on between 80.88% to 97.63% of the instances, depending on the dataset. They are also shown to outperform classical machine learning models trained using derived features. Finally, we hypothesise that the proposed methods perform well when the instances exhibit some implicit structure that results in discriminatory performance with respect to a set of heuristics. We test this hypothesis by generating fourteen new datasets with increasing levels of structure, and show that there is a critical threshold of structure required before algorithm-selection delivers benefit.
△ Less
Submitted 24 March, 2022;
originally announced March 2022.
-
Physical Zero-knowledge Proofs for Flow Free, Hamiltonian Cycles, and Many-to-many k-disjoint Covering Paths
Authors:
Eammon Hart,
Joshua A. McGinnis
Abstract:
In this paper we describe protocols which use a standard deck of cards to provide a perfectly sound zero-knowledge proof for Hamiltonian cycles and Flow Free puzzles. The latter can easily be extended to provide a protocol for a zero-knowledge proof of many-to-many k-disjoint path coverings.
In this paper we describe protocols which use a standard deck of cards to provide a perfectly sound zero-knowledge proof for Hamiltonian cycles and Flow Free puzzles. The latter can easily be extended to provide a protocol for a zero-knowledge proof of many-to-many k-disjoint path coverings.
△ Less
Submitted 8 February, 2022;
originally announced February 2022.
-
Augmenting Novelty Search with a Surrogate Model to Engineer Meta-Diversity in Ensembles of Classifiers
Authors:
Rui P. Cardoso,
Emma Hart,
David Burth Kurka,
Jeremy V. Pitt
Abstract:
Using Neuroevolution combined with Novelty Search to promote behavioural diversity is capable of constructing high-performing ensembles for classification. However, using gradient descent to train evolved architectures during the search can be computationally prohibitive. Here we propose a method to overcome this limitation by using a surrogate model which estimates the behavioural distance betwee…
▽ More
Using Neuroevolution combined with Novelty Search to promote behavioural diversity is capable of constructing high-performing ensembles for classification. However, using gradient descent to train evolved architectures during the search can be computationally prohibitive. Here we propose a method to overcome this limitation by using a surrogate model which estimates the behavioural distance between two neural network architectures required to calculate the sparseness term in Novelty Search. We demonstrate a speedup of 10 times over previous work and significantly improve on previous reported results on three benchmark datasets from Computer Vision -- CIFAR-10, CIFAR-100, and SVHN. This results from the expanded architecture search space facilitated by using a surrogate. Our method represents an improved paradigm for implementing horizontal scaling of learning algorithms by making an explicit search for diversity considerably more tractable for the same bounded resources.
△ Less
Submitted 7 February, 2022; v1 submitted 30 January, 2022;
originally announced January 2022.
-
Comparison of atlas-based and neural-network-based semantic segmentation for DENSE MRI images
Authors:
Elle Buser,
Emma Hart,
Ben Huenemann
Abstract:
Two segmentation methods, one atlas-based and one neural-network-based, were compared to see how well they can each automatically segment the brain stem and cerebellum in Displacement Encoding with Stimulated Echoes Magnetic Resonance Imaging (DENSE-MRI) data. The segmentation is a pre-requisite for estimating the average displacements in these regions, which have recently been proposed as biomark…
▽ More
Two segmentation methods, one atlas-based and one neural-network-based, were compared to see how well they can each automatically segment the brain stem and cerebellum in Displacement Encoding with Stimulated Echoes Magnetic Resonance Imaging (DENSE-MRI) data. The segmentation is a pre-requisite for estimating the average displacements in these regions, which have recently been proposed as biomarkers in the diagnosis of Chiari Malformation type I (CMI). In numerical experiments, the segmentations of both methods were similar to manual segmentations provided by trained experts. It was found that, overall, the neural-network-based method alone produced more accurate segmentations than the atlas-based method did alone, but that a combination of the two methods -- in which the atlas-based method is used for the segmentation of the brain stem and the neural-network is used for the segmentation of the cerebellum -- may be the most successful.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
Morpho-evolution with learning using a controller archive as an inheritance mechanism
Authors:
Léni K. Le Goff,
Edgar Buchanan,
Emma Hart,
Agoston E. Eiben,
Wei Li,
Matteo De Carlo,
Alan F. Winfield,
Matthew F. Hale,
Robert Woolley,
Mike Angus,
Jon Timmis,
Andy M. Tyrrell
Abstract:
The joint optimisation of body-plan and control via evolutionary processes can be challenging in rich morphological spaces in which offspring can have body-plans that are very different from either of their parents. This causes a potential mismatch between the structure of an inherited controller and the new body. To address this, we propose a framework that combines an evolutionary algorithm to g…
▽ More
The joint optimisation of body-plan and control via evolutionary processes can be challenging in rich morphological spaces in which offspring can have body-plans that are very different from either of their parents. This causes a potential mismatch between the structure of an inherited controller and the new body. To address this, we propose a framework that combines an evolutionary algorithm to generate body-plans and a learning algorithm to optimise the parameters of a neural controller. The topology of this controller is created once the body-plan of each offspring body-plan is generated. The key novelty of the approach is to add an external archive for storing learned controllers that map to explicit `types' of robots (where this is defined with respect the features of the body-plan). By learning from a controller with an appropriate structure inherited from the archive, rather than from a randomly initialised one, we show that both the speed and magnitude of learning increases over time when compared to an approach that starts from scratch, using two tasks and three environments. The framework also provides new insights into the complex interactions between evolution and learning.
△ Less
Submitted 23 September, 2021; v1 submitted 9 April, 2021;
originally announced April 2021.
-
Satellite data for the offshore renewable energy sector: synergies and innovation opportunities
Authors:
E. Medina-Lopez,
D. McMillan,
J. Lazic,
E. Hart,
S. Zen,
A. Angeloudis,
E. Bannon,
J. Browell,
S. Dorling,
R. M. Dorrell,
R. Forster,
C. Old,
G. S. Payne,
G. Porter,
A. S. Rabaneda,
B. Sellar,
E. Tapoglou,
N. Trifonova,
I. H. Woodhouse,
A. Zampollo
Abstract:
Can satellite data be used to address challenges currently faced by the Offshore Renewable Energy (ORE) sector? What benefit can satellite observations bring to resource assessment and maintenance of ORE farms? Can satellite observations be used to assess the environmental impact of offshore renewables leading towards a more sustainable ORE sector? This review paper faces these questions presentin…
▽ More
Can satellite data be used to address challenges currently faced by the Offshore Renewable Energy (ORE) sector? What benefit can satellite observations bring to resource assessment and maintenance of ORE farms? Can satellite observations be used to assess the environmental impact of offshore renewables leading towards a more sustainable ORE sector? This review paper faces these questions presenting a holistic view of the current interactions between satellite and ORE sectors, and future needs to make this partnerships grow. The aim of the work is to start the conversation between these sectors by establishing a common ground. We present offshore needs and satellite technology limitations, as well as potential opportunities and areas of growth. To better understand this, the reader is guided through the history, current developments, challenges and future of offshore wind, tidal and wave energy technologies. Then, an overview on satellite observations for ocean applications is given, covering types of instruments and how they are used to provide different metocean variables, satellite performance, and data processing and integration. Past, present and future satellite missions are also discussed. Finally, the paper focuses on innovation opportunities and the potential of synergies between the ORE and satellite sectors. Specifically, we pay attention to improvements that satellite observations could bring to standard measurement techniques: assessing uncertainty, wind, tidal and wave conditions forecast, as well as environmental monitoring from space. Satellite-enabled measurement of ocean physical processes and applications for fisheries, mammals and birds, and habitat change, are also discussed in depth.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
Being a leader or being the leader: The evolution of institutionalised hierarchy
Authors:
Cedric Perret,
Emma Hart,
Simon T. Powers
Abstract:
Human social hierarchy has the unique characteristic of existing in two forms. Firstly, as an informal hierarchy where leaders and followers are implicitly defined by their personal characteristics, and secondly, as an institutional hierarchy where leaders and followers are explicitly appointed by group decision. Although both forms can reduce the time spent in organising collective tasks, institu…
▽ More
Human social hierarchy has the unique characteristic of existing in two forms. Firstly, as an informal hierarchy where leaders and followers are implicitly defined by their personal characteristics, and secondly, as an institutional hierarchy where leaders and followers are explicitly appointed by group decision. Although both forms can reduce the time spent in organising collective tasks, institutional hierarchy imposes additional costs. It is therefore natural to question why it emerges at all. The key difference lies in the fact that institutions can create hierarchy with only a single leader, which is unlikely to occur in unregulated informal hierarchy. To investigate if this difference can affect group decision-making and explain the evolution of institutional hierarchy, we first build an opinion-formation model that simulates group decision making. We show that in comparison to informal hierarchy, a single-leader hierarchy reduces (i) the time a group spends to reach consensus, (ii) the variation in consensus time, and (iii) the rate of increase in consensus time as group size increases. We then use this model to simulate the cost of organising a collective action which produces resources, and integrate this into an evolutionary model where individuals can choose between informal or institutional hierarchy. Our results demonstrate that groups evolve preferences towards institutional hierarchy, despite the cost of creating an institution, as it provides a greater organisational advantage which is less affected by group size and inequality.
△ Less
Submitted 3 July, 2019;
originally announced July 2019.
-
Galaxy Zoo: Unwinding the Winding Problem - Observations of Spiral Bulge Prominence and Arm Pitch Angles Suggest Local Spiral Galaxies are Winding
Authors:
Karen L. Masters,
Chris J. Lintott,
Ross E. Hart,
Sandor J. Kruk,
Rebecca J. Smethurst,
Kevin Casteels,
William C. Keel,
Brooke D. Simmons,
Dennis Olivan Stanescu,
Jean Tate,
Satoshi Tomi
Abstract:
We use classifications provided by citizen scientists though Galaxy Zoo to investigate the correlation between bulge size and arm winding in spiral galaxies. Whilst the traditional spiral sequence is based on a combination of both measures, and is supposed to favour arm winding where disagreement exists, we demonstrate that, in modern usage, the spiral classifications Sa-Sd are predominantly based…
▽ More
We use classifications provided by citizen scientists though Galaxy Zoo to investigate the correlation between bulge size and arm winding in spiral galaxies. Whilst the traditional spiral sequence is based on a combination of both measures, and is supposed to favour arm winding where disagreement exists, we demonstrate that, in modern usage, the spiral classifications Sa-Sd are predominantly based on bulge size, with no reference to spiral arms. Furthermore, in a volume limited sample of galaxies with both automated and visual measures of bulge prominence and spiral arm tightness, there is at best a weak correlation between the two. Galaxies with small bulges have a wide range of arm winding, while those with larger bulges favour tighter arms. This observation, interpreted as revealing a variable winding speed as a function of bulge size, may be providing evidence that the majority of spiral arms are not static density waves, but rather wind-up over time. This suggests the "winding problem" could be solved by the constant reforming of spiral arms, rather than needing a static density wave. We further observe that galaxies exhibiting strong bars tend have more loosely wound arms at a given bulge size than unbarred spirals. This observations suggests that the presence of a bar may slow the winding speed of spirals, and may also drive other processes (such as density waves) which generate spiral arms. It is remarkable that after over 170 years of observations of spiral arms in galaxies our understanding of them remains incomplete.
△ Less
Submitted 25 April, 2019;
originally announced April 2019.
-
Learning Better Internal Structure of Words for Sequence Labeling
Authors:
Yingwei Xin,
Ethan Hart,
Vibhuti Mahajan,
Jean-David Ruvini
Abstract:
Character-based neural models have recently proven very useful for many NLP tasks. However, there is a gap of sophistication between methods for learning representations of sentences and words. While most character models for learning representations of sentences are deep and complex, models for learning representations of words are shallow and simple. Also, in spite of considerable research on le…
▽ More
Character-based neural models have recently proven very useful for many NLP tasks. However, there is a gap of sophistication between methods for learning representations of sentences and words. While most character models for learning representations of sentences are deep and complex, models for learning representations of words are shallow and simple. Also, in spite of considerable research on learning character embeddings, it is still not clear which kind of architecture is the best for capturing character-to-word representations. To address these questions, we first investigate the gaps between methods for learning word and sentence representations. We conduct detailed experiments and comparisons of different state-of-the-art convolutional models, and also investigate the advantages and disadvantages of their constituents. Furthermore, we propose IntNet, a funnel-shaped wide convolutional neural architecture with no down-sampling for learning representations of the internal structure of words by composing their characters from limited, supervised training corpora. We evaluate our proposed model on six sequence labeling datasets, including named entity recognition, part-of-speech tagging, and syntactic chunking. Our in-depth analysis shows that IntNet significantly outperforms other character embedding models and obtains new state-of-the-art performance without relying on any external knowledge or resources.
△ Less
Submitted 29 October, 2018;
originally announced October 2018.
-
Can justice be fair when it is blind? How social network structures can promote or prevent the evolution of despotism
Authors:
Cedric Perret,
Simon T. Powers,
Jeremy Pitt,
Emma Hart
Abstract:
Hierarchy is an efficient way for a group to organize, but often goes along with inequality that benefits leaders. To control despotic behaviour, followers can assess leaders decisions by aggregating their own and their neighbours experience, and in response challenge despotic leaders. But in hierarchical social networks, this interactional justice can be limited by (i) the high influence of a sma…
▽ More
Hierarchy is an efficient way for a group to organize, but often goes along with inequality that benefits leaders. To control despotic behaviour, followers can assess leaders decisions by aggregating their own and their neighbours experience, and in response challenge despotic leaders. But in hierarchical social networks, this interactional justice can be limited by (i) the high influence of a small clique who are treated better, and (ii) the low connectedness of followers. Here we study how the connectedness of a social network affects the co-evolution of despotism in leaders and tolerance to despotism in followers. We simulate the evolution of a population of agents, where the influence of an agent is its number of social links. Whether a leader remains in power is controlled by the overall satisfaction of group members, as determined by their joint assessment of the leaders behaviour. We demonstrate that centralization of a social network around a highly influential clique greatly increases the level of despotism. This is because the clique is more satisfied, and their higher influence spreads their positive opinion of the leader throughout the network. Finally, our results suggest that increasing the connectedness of followers limits despotism while maintaining hierarchy.
△ Less
Submitted 28 June, 2018;
originally announced June 2018.
-
Optimisation and Illumination of a Real-world Workforce Scheduling and Routing Application via Map-Elites
Authors:
Neil Urquhart,
Emma Hart
Abstract:
Workforce Scheduling and Routing Problems (WSRP) are very common in many practical domains, and usually, have a number of objectives. Illumination algorithms such as Map-Elites (ME) have recently gained traction in application to {\em design} problems, in providing multiple diverse solutions as well as illuminating the solution space in terms of user-defined characteristics, but typically require…
▽ More
Workforce Scheduling and Routing Problems (WSRP) are very common in many practical domains, and usually, have a number of objectives. Illumination algorithms such as Map-Elites (ME) have recently gained traction in application to {\em design} problems, in providing multiple diverse solutions as well as illuminating the solution space in terms of user-defined characteristics, but typically require significant computational effort to produce the solution archive. We investigate whether ME can provide an effective approach to solving WSRP, a {\em repetitive} problem in which solutions have to be produced quickly and often. The goals of the paper are two-fold. The first is to evaluate whether ME can provide solutions of competitive quality to an Evolutionary Algorithm (EA) in terms of a single objective function, and the second to examine its ability to provide a repertoire of solutions that maximise user choice. We find that very small computational budgets favour the EA in terms of quality, but ME outperforms the EA at larger budgets, provides a more diverse array of solutions, and lends insight to the end-user.
△ Less
Submitted 29 May, 2018;
originally announced May 2018.
-
Galaxy Zoo: constraining the origin of spiral arms
Authors:
Ross E. Hart,
Steven P. Bamford,
William C. Keel,
Sandor J. Kruk,
Karen L. Masters,
Brooke D. Simmons,
Rebecca J. Smethurst
Abstract:
Since the discovery that the majority of low-redshift galaxies exhibit some level of spiral structure, a number of theories have been proposed as to why these patterns exist. A popular explanation is a process known as swing amplification, yet there is no observational evidence to prove that such a mechanism is at play. By using a number of measured properties of galaxies, and scaling relations wh…
▽ More
Since the discovery that the majority of low-redshift galaxies exhibit some level of spiral structure, a number of theories have been proposed as to why these patterns exist. A popular explanation is a process known as swing amplification, yet there is no observational evidence to prove that such a mechanism is at play. By using a number of measured properties of galaxies, and scaling relations where there are no direct measurements, we model samples of SDSS and S$^4$G spiral galaxies in terms of their relative halo, bulge and disc mass and size. Using these models, we test predictions of swing amplification theory with respect to directly measured spiral arm numbers from Galaxy Zoo 2. We find that neither a universal cored or cuspy inner dark matter profile can correctly predict observed numbers of arms in galaxies. However, by invoking a halo contraction/expansion model, a clear bimodality in the spiral galaxy population emerges. Approximately 40 per cent of unbarred spiral galaxies at $z \lesssim 0.1$ and $\mathrm{M_*} \gtrsim 10^{10} \mathrm{M_\odot}$ have spiral arms that can be modelled by swing amplification. This population display a significant correlation between predicted and observed spiral arm numbers, evidence that they are swing amplified modes. The remainder are dominated by two-arm systems for which the model predicts significantly higher arm numbers. These are likely driven by tidal interactions or other mechanisms.
△ Less
Submitted 4 May, 2018;
originally announced May 2018.
-
An Investigation of Environmental Influence on the Benefits of Adaptation Mechanisms in Evolutionary Swarm Robotics
Authors:
Andreas Steyven,
Emma Hart,
Ben Paechter
Abstract:
A robotic swarm that is required to operate for long periods in a potentially unknown environment can use both evolution and individual learning methods in order to adapt. However, the role played by the environment in influencing the effectiveness of each type of learning is not well understood. In this paper, we address this question by analysing the performance of a swarm in a range of simulate…
▽ More
A robotic swarm that is required to operate for long periods in a potentially unknown environment can use both evolution and individual learning methods in order to adapt. However, the role played by the environment in influencing the effectiveness of each type of learning is not well understood. In this paper, we address this question by analysing the performance of a swarm in a range of simulated, dynamic environments where a distributed evolutionary algorithm for evolving a controller is augmented with a number of different individual learning mechanisms. The learning mechanisms themselves are defined by parameters which can be either fixed or inherited. We conduct experiments in a range of dynamic environments whose characteristics are varied so as to present different opportunities for learning. Results enable us to map environmental characteristics to the most effective learning algorithm.
△ Less
Submitted 20 April, 2018;
originally announced April 2018.
-
Evolution of a Functionally Diverse Swarm via a Novel Decentralised Quality-Diversity Algorithm
Authors:
Emma Hart,
Andreas S. W. Steyven,
Ben Paechter
Abstract:
The presence of functional diversity within a group has been demonstrated to lead to greater robustness, higher performance and increased problem-solving ability in a broad range of studies that includes insect groups, human groups and swarm robotics. Evolving group diversity however has proved challenging within Evolutionary Robotics, requiring reproductive isolation and careful attention to popu…
▽ More
The presence of functional diversity within a group has been demonstrated to lead to greater robustness, higher performance and increased problem-solving ability in a broad range of studies that includes insect groups, human groups and swarm robotics. Evolving group diversity however has proved challenging within Evolutionary Robotics, requiring reproductive isolation and careful attention to population size and selection mechanisms. To tackle this issue, we introduce a novel, decentralised, variant of the MAP-Elites illumination algorithm which is hybridised with a well-known distributed evolutionary algorithm (mEDEA). The algorithm simultaneously evolves multiple diverse behaviours for multiple robots, with respect to a simple token-gathering task. Each robot in the swarm maintains a local archive defined by two pre-specified functional traits which is shared with robots it come into contact with. We investigate four different strategies for sharing, exploiting and combining local archives and compare results to mEDEA. Experimental results show that in contrast to previous claims, it is possible to evolve a functionally diverse swarm without geographical isolation, and that the new method outperforms mEDEA in terms of the diversity, coverage and precision of the evolved swarm.
△ Less
Submitted 20 April, 2018;
originally announced April 2018.
-
Galaxy Zoo: Secular evolution of barred galaxies from structural decomposition of multi-band images
Authors:
Sandor J. Kruk,
Chris J. Lintott,
Steven P. Bamford,
Karen L. Masters,
Brooke D. Simmons,
Boris Häußler,
Carolin N. Cardamone,
Ross E. Hart,
Lee Kelvin,
Kevin Schawinski,
Rebecca J. Smethurst,
Marina Vika
Abstract:
We present the results of two-component (disc+bar) and three-component (disc+bar+bulge) multiwavelength 2D photometric decompositions of barred galaxies in five SDSS bands ($ugriz$). This sample of $\sim$3,500 nearby ($z<0.06$) galaxies with strong bars selected from the Galaxy Zoo citizen science project is the largest sample of barred galaxies to be studied using photometric decompositions which…
▽ More
We present the results of two-component (disc+bar) and three-component (disc+bar+bulge) multiwavelength 2D photometric decompositions of barred galaxies in five SDSS bands ($ugriz$). This sample of $\sim$3,500 nearby ($z<0.06$) galaxies with strong bars selected from the Galaxy Zoo citizen science project is the largest sample of barred galaxies to be studied using photometric decompositions which include a bar component. With detailed structural analysis we obtain physical quantities such as the bar- and bulge-to-total luminosity ratios, effective radii, Sérsic indices and colours of the individual components. We observe a clear difference in the colours of the components, the discs being bluer than the bars and bulges. An overwhelming fraction of bulge components have Sérsic indices consistent with being pseudobulges. By comparing the barred galaxies with a mass-matched and volume-limited sample of unbarred galaxies, we examine the connection between the presence of a large-scale galactic bar and the properties of discs and bulges. We find that the discs of unbarred galaxies are significantly bluer compared to the discs of barred galaxies, while there is no significant difference in the colours of the bulges. We find possible evidence of secular evolution via bars that leads to the build-up of pseudobulges and to the quenching of star formation in the discs. We identify a subsample of unbarred galaxies with an inner lens/oval and find that their properties are similar to barred galaxies, consistent with an evolutionary scenario in which bars dissolve into lenses. This scenario deserves further investigation through both theoretical and observational work.
△ Less
Submitted 5 October, 2017; v1 submitted 29 September, 2017;
originally announced October 2017.
-
Galaxy Zoo and SpArcFiRe: Constraints on spiral arm formation mechanisms from spiral arm number and pitch angles
Authors:
Ross E. Hart,
Steven P. Bamford,
Wayne B. Hayes,
Carolin N. Cardamone,
William C. Keel,
Sandor J. Kruk,
Chris J. Lintott,
Karen L. Masters,
Brooke D. Simmons,
Rebecca J. Smethurst
Abstract:
In this paper we study the morphological properties of spiral galaxies, including measurements of spiral arm number and pitch angle. Using Galaxy Zoo 2, a stellar mass-complete sample of 6,222 SDSS spiral galaxies is selected. We use the machine vision algorithm SpArcFiRe to identify spiral arm features and measure their associated geometries. A support vector machine classifier is employed to ide…
▽ More
In this paper we study the morphological properties of spiral galaxies, including measurements of spiral arm number and pitch angle. Using Galaxy Zoo 2, a stellar mass-complete sample of 6,222 SDSS spiral galaxies is selected. We use the machine vision algorithm SpArcFiRe to identify spiral arm features and measure their associated geometries. A support vector machine classifier is employed to identify reliable spiral features, with which we are able to estimate pitch angles for half of our sample. We use these machine measurements to calibrate visual estimates of arm tightness, and hence estimate pitch angles for our entire sample. The properties of spiral arms are compared with respect to various galaxy properties. The star formation properties of galaxies vary significantly with arm number, but not pitch angle. We find that galaxies hosting strong bars have spiral arms substantially ($4-6^\mathrm{o}$) looser than unbarred galaxies. Accounting for this, spiral arms associated with many-arm structures are looser (by 2$^\mathrm{o}$) than those in two-arm galaxies. In contrast to this average trend, galaxies with greater bulge-to-total stellar mass ratios display both fewer and looser spiral arms. This effect is primarily driven by the galaxy disc, such that galaxies with more massive discs contain more spiral arms with tighter pitch angles. This implies that galaxy central mass concentration is not the dominant cause of pitch angle and arm number variations between galaxies, which in turn suggests that not all spiral arms are governed by classical density waves or modal theories.
△ Less
Submitted 15 August, 2017;
originally announced August 2017.
-
Galaxy Zoo: major galaxy mergers are not a significant quenching pathway
Authors:
Anna K. Weigel,
Kevin Schawinski,
Neven Caplar,
Alfredo Carpineti,
Ross E. Hart,
Sugata Kaviraj,
William C. Keel,
Sandor J. Kruk,
Chris J. Lintott,
Robert C. Nichol,
Brooke D. Simmons,
Rebecca J. Smethurst
Abstract:
We use stellar mass functions to study the properties and the significance of quenching through major galaxy mergers. In addition to SDSS DR7 and Galaxy Zoo 1 data, we use samples of visually selected major galaxy mergers and post merger galaxies. We determine the stellar mass functions of the stages that we would expect major merger quenched galaxies to pass through on their way from the blue clo…
▽ More
We use stellar mass functions to study the properties and the significance of quenching through major galaxy mergers. In addition to SDSS DR7 and Galaxy Zoo 1 data, we use samples of visually selected major galaxy mergers and post merger galaxies. We determine the stellar mass functions of the stages that we would expect major merger quenched galaxies to pass through on their way from the blue cloud to the red sequence: 1: major merger, 2: post merger, 3: blue early type, 4: green early type and 5: red early type. Based on the similar mass function shapes we conclude that major mergers are likely to form an evolutionary sequence from star formation to quiescence via quenching. Relative to all blue galaxies, the major merger fraction increases as a function of stellar mass. Major merger quenching is inconsistent with the mass and environment quenching model. At z~0 major merger quenched galaxies are unlikely to constitute the majority of galaxies that transition the green valley. Furthermore, between z~0-0.5 major merger quenched galaxies account for 1-5% of all quenched galaxies at a given stellar mass. Major galaxy mergers are therefore not a significant quenching pathway, neither at z~0 nor within the last 5 Gyr. The majority of red galaxies must have been quenched through an alternative quenching mechanism which causes a slow blue to red evolution.
△ Less
Submitted 2 August, 2017;
originally announced August 2017.
-
Galaxy Zoo: Finding offset discs and bars in SDSS galaxies
Authors:
Sandor J. Kruk,
Chris J. Lintott,
Brooke D. Simmons,
Steven P. Bamford,
Carolin N. Cardamone,
Lucy Fortson,
Ross E. Hart,
Boris Häußler,
Karen L. Masters,
Robert C. Nichol,
Kevin Schawinski,
Rebecca J. Smethurst
Abstract:
We use multi-wavelength SDSS images and Galaxy Zoo morphologies to identify a sample of $\sim$$270$ late-type galaxies with an off-centre bar. We measure offsets in the range 0.2-2.5 kpc between the photometric centres of the stellar disc and stellar bar. The measured offsets correlate with global asymmetries of the galaxies, with those with largest offsets showing higher lopsidedness. These findi…
▽ More
We use multi-wavelength SDSS images and Galaxy Zoo morphologies to identify a sample of $\sim$$270$ late-type galaxies with an off-centre bar. We measure offsets in the range 0.2-2.5 kpc between the photometric centres of the stellar disc and stellar bar. The measured offsets correlate with global asymmetries of the galaxies, with those with largest offsets showing higher lopsidedness. These findings are in good agreement with predictions from simulations of dwarf-dwarf tidal interactions producing off-centre bars. We find that the majority of galaxies with off-centre bars are of Magellanic type, with a median mass of $10^{9.6} M_{\odot}$, and 91% of them having $M_{\star}<3\times10^{10} M_{\odot}$, the characteristic mass at which galaxies start having higher central concentrations attributed to the presence of bulges. We conduct a search for companions to test the hypothesis of tidal interactions, but find that a similar fraction of galaxies with offset bars have companions within 100 kpc as galaxies with centred bars. Although this may be due to the incompleteness of the SDSS spectroscopic survey at the faint end, alternative scenarios that give rise to offset bars such as interactions with dark companions or the effect of lopsided halo potentials should be considered. Future observations are needed to confirm possible low mass companion candidates and to determine the shape of the dark matter halo, in order to find the explanation for the off-centre bars in these galaxies.
△ Less
Submitted 28 April, 2017;
originally announced May 2017.
-
Galaxy Zoo: The interplay of quenching mechanisms in the group environment
Authors:
R. J. Smethurst,
C. J. Lintott,
S. P. Bamford,
R. E. Hart,
S. J. Kruk,
K. L. Masters,
R. C. Nichol,
B. D. Simmons
Abstract:
Does the environment of a galaxy directly influence the quenching history of a galaxy? Here we investigate the detailed morphological structures and star formation histories of a sample of SDSS group galaxies with both classifications from Galaxy Zoo 2 and NUV detections in GALEX. We use the optical and NUV colours to infer the quenching time and rate describing a simple exponentially declining SF…
▽ More
Does the environment of a galaxy directly influence the quenching history of a galaxy? Here we investigate the detailed morphological structures and star formation histories of a sample of SDSS group galaxies with both classifications from Galaxy Zoo 2 and NUV detections in GALEX. We use the optical and NUV colours to infer the quenching time and rate describing a simple exponentially declining SFH for each galaxy, along with a control sample of field galaxies. We find that the time since quenching and the rate of quenching do not correlate with the relative velocity of a satellite but are correlated with the group potential. This quenching occurs within an average quenching timescale of $\sim2.5~\rm{Gyr}$ from star forming to complete quiescence, during an average infall time (from $\sim 10R_{200}$ to $0.01R_{200}$) of $\sim 2.6~\rm{Gyr}$. Our results suggest that the environment does play a direct role in galaxy quenching through quenching mechanisms which are correlated with the group potential, such as harassment, interactions or starvation. Environmental quenching mechanisms which are correlated with satellite velocity, such as ram pressure stripping, are not the main cause of quenching in the group environment. We find that no single mechanism dominates over another, except in the most extreme environments or masses. Instead an interplay of mergers, mass & morphological quenching and environment driven quenching mechanisms dependent on the group potential drive galaxy evolution in groups.
△ Less
Submitted 20 April, 2017;
originally announced April 2017.
-
Galaxy Zoo: star-formation versus spiral arm number
Authors:
Ross E. Hart,
Steven P. Bamford,
Kevin R. V Casteels,
Sandor J. Kruk,
Chris J. Lintott,
Karen L. Masters
Abstract:
Spiral arms are common features in low-redshift disc galaxies, and are prominent sites of star-formation and dust obscuration. However, spiral structure can take many forms: from galaxies displaying two strong `grand design' arms, to those with many `flocculent' arms. We investigate how these different arm types are related to a galaxy's star-formation and gas properties by making use of visual sp…
▽ More
Spiral arms are common features in low-redshift disc galaxies, and are prominent sites of star-formation and dust obscuration. However, spiral structure can take many forms: from galaxies displaying two strong `grand design' arms, to those with many `flocculent' arms. We investigate how these different arm types are related to a galaxy's star-formation and gas properties by making use of visual spiral arm number measurements from Galaxy Zoo 2. We combine UV and mid-IR photometry from GALEX and WISE to measure the rates and relative fractions of obscured and unobscured star formation in a sample of low-redshift SDSS spirals. Total star formation rate has little dependence on spiral arm multiplicity, but two-armed spirals convert their gas to stars more efficiently. We find significant differences in the fraction of obscured star-formation: an additional $\sim 10$ per cent of star-formation in two-armed galaxies is identified via mid-IR dust emission, compared to that in many-armed galaxies. The latter are also significantly offset below the IRX-$β$ relation for low-redshift star-forming galaxies. We present several explanations for these differences versus arm number: variations in the spatial distribution, sizes or clearing timescales of star-forming regions (i.e., molecular clouds), or contrasting recent star-formation histories.
△ Less
Submitted 6 March, 2017;
originally announced March 2017.
-
Galaxy Zoo: comparing the demographics of spiral arm number and a new method for correcting redshift bias
Authors:
Ross E. Hart,
Steven P. Bamford,
Kyle W. Willett,
Karen L. Masters,
Carolin Cardamone,
Chris J. Lintott,
Robert J. Mackay,
Robert C. Nichol,
Christopher K. Rosslowe,
Brooke D. Simmons,
Rebecca J Smethurst
Abstract:
The majority of galaxies in the local Universe exhibit spiral structure with a variety of forms. Many galaxies possess two prominent spiral arms, some have more, while others display a many-armed flocculent appearance. Spiral arms are associated with enhanced gas content and star-formation in the disks of low-redshift galaxies, so are important in the understanding of star-formation in the local u…
▽ More
The majority of galaxies in the local Universe exhibit spiral structure with a variety of forms. Many galaxies possess two prominent spiral arms, some have more, while others display a many-armed flocculent appearance. Spiral arms are associated with enhanced gas content and star-formation in the disks of low-redshift galaxies, so are important in the understanding of star-formation in the local universe. As both the visual appearance of spiral structure, and the mechanisms responsible for it vary from galaxy to galaxy, a reliable method for defining spiral samples with different visual morphologies is required. In this paper, we develop a new debiasing method to reliably correct for redshift-dependent bias in Galaxy Zoo 2, and release the new set of debiased classifications. Using these, a luminosity-limited sample of ~18,000 Sloan Digital Sky Survey spiral galaxies is defined, which are then further sub-categorised by spiral arm number. In order to explore how different spiral galaxies form, the demographics of spiral galaxies with different spiral arm numbers are compared. It is found that whilst all spiral galaxies occupy similar ranges of stellar mass and environment, many-armed galaxies display much bluer colours than their two-armed counterparts. We conclude that two-armed structure is ubiquitous in star-forming disks, whereas many-armed spiral structure appears to be a short-lived phase, associated with more recent, stochastic star-formation activity.
△ Less
Submitted 4 July, 2016;
originally announced July 2016.
-
Hölder continuity of the integrated density of states in the one-dimensional Anderson model
Authors:
Eric Hart,
Balint Virag
Abstract:
We consider the one-dimensional random Schrodinger operator H = H_0 + sigma V, where the potential V has i.i.d. entries with bounded support. We prove that the IDS is Holder continuous with exponent 1-c sigma This improves upon the work of Bourgain showing that the Holder exponent tends to 1 as sigma tends to 0 in the more specific Anderson-Bernoulli setting.
We consider the one-dimensional random Schrodinger operator H = H_0 + sigma V, where the potential V has i.i.d. entries with bounded support. We prove that the IDS is Holder continuous with exponent 1-c sigma This improves upon the work of Bourgain showing that the Holder exponent tends to 1 as sigma tends to 0 in the more specific Anderson-Bernoulli setting.
△ Less
Submitted 21 June, 2015;
originally announced June 2015.
-
Preliminary Report of the AMS analysis of tsunami deposits in Tohoku -- Japan -- 18th to the 21st Century
Authors:
P. Wassmer,
C. Gomez,
D. E. Hart,
T. Hiraishi,
R. Azuma,
B. Koenig,
M. Trautmann
Abstract:
Sedimentary records of tsunamis are a precious tool to assess the occurrence of past events, as attested by an abundant literature, which has seen a particular 'boom' in the aftermath of the 2004 Indian Ocean tsunami and the 2011 Tohoku tsunami. Despite an extensive literature, there is very little to no understanding of the role that the changing coastal environment is playing on the record of a…
▽ More
Sedimentary records of tsunamis are a precious tool to assess the occurrence of past events, as attested by an abundant literature, which has seen a particular 'boom' in the aftermath of the 2004 Indian Ocean tsunami and the 2011 Tohoku tsunami. Despite an extensive literature, there is very little to no understanding of the role that the changing coastal environment is playing on the record of a tsunami, and for a given location, it is still unclear whether the largest tsunamis leave the largest amount of deposits. To research this question, the present study took place in Japan, in the Tohoku Region at Agawa-pond, because the pond act as a sediment trap. Using a sediment-slicer, a 1 m thick deposit was retrieved, from which 4 tsunami sequences were identified, including the latest 2011 tsunami. Using a series of sedimentary proxies: the AMS (Anisotropy of Magnetic Susceptibility), grain size analysis, quartz morphoscopy (morphology and surface characteristics) and the analysis of microfossils, disparities between the tsunami deposits were identified and most importantly a clear thinning of the tsunami deposit towards the top. Provided the present evidences, the authors discuss that the upward fining is due to at least two components that are seldom assessed in tsunami research (1) a modification of the depositional environment, with the progressive anthropization of the coast, providing less sediments to remobilize; and (2) a progressive filling of the Agawa pond, which progressively loses its ability to trap tsunami materials.
△ Less
Submitted 24 February, 2015;
originally announced February 2015.
-
Arcs in the Plane
Authors:
Joan E. Hart,
Kenneth Kunen
Abstract:
Assuming PFA, every uncountable subset E of the plane meets some C^1 arc in an uncountable set. This is not provable from MA(aleph_1), although in the case that E is analytic, this is a ZFC result. The result is false in ZFC for C^2 arcs, and the counter-example is a perfect set.
Assuming PFA, every uncountable subset E of the plane meets some C^1 arc in an uncountable set. This is not provable from MA(aleph_1), although in the case that E is analytic, this is a ZFC result. The result is false in ZFC for C^2 arcs, and the counter-example is a perfect set.
△ Less
Submitted 15 June, 2009;
originally announced June 2009.
-
Aronszajn Compacta
Authors:
Joan E. Hart,
Kenneth Kunen
Abstract:
We consider a class of compacta X such that the maps from X onto metric compacta define an Aronszajn tree of closed subsets of X.
We consider a class of compacta X such that the maps from X onto metric compacta define an Aronszajn tree of closed subsets of X.
△ Less
Submitted 27 June, 2008;
originally announced June 2008.
-
First Countable Continua and Proper Forcing
Authors:
Joan E. Hart,
Kenneth Kunen
Abstract:
Assuming the Continuum Hypothesis, there is a compact first countable connected space of weight aleph_1 with no totally disconnected perfect subsets. Each such space, however, may be destroyed by some proper forcing order which does not add reals.
Assuming the Continuum Hypothesis, there is a compact first countable connected space of weight aleph_1 with no totally disconnected perfect subsets. Each such space, however, may be destroyed by some proper forcing order which does not add reals.
△ Less
Submitted 1 August, 2006;
originally announced August 2006.
-
Inverse Limits and Function Algebras
Authors:
Joan E. Hart,
Kenneth Kunen
Abstract:
Assuming Jensen's principle diamond, there is a compact Hausdorff space X which is hereditarily Lindelof, hereditarily separable, and connected, such that no closed subspace of X is both perfect and totally disconnected. The Proper Forcing Axiom implies that there is no such space. The diamond example also fails to satisfy the CSWP (the complex version of the Stone-Weierstrass Theorem). This spa…
▽ More
Assuming Jensen's principle diamond, there is a compact Hausdorff space X which is hereditarily Lindelof, hereditarily separable, and connected, such that no closed subspace of X is both perfect and totally disconnected. The Proper Forcing Axiom implies that there is no such space. The diamond example also fails to satisfy the CSWP (the complex version of the Stone-Weierstrass Theorem). This space cannot contain the two earlier examples of failure of the CSWP, which were totally disconnected -- specifically, the Cantor set (W. Rudin) and beta N (Hoffman and Singer).
△ Less
Submitted 11 April, 2005;
originally announced April 2005.
-
Limits in compact abelian groups
Authors:
Joan E. Hart,
Kenneth Kunen
Abstract:
Let X be compact abelian group and G its dual (a discrete group). If B is an infinite subset of G, let C_B be the set of all x in X such that <phi(x) : phi \in B> converges to 1. If F is a free filter on G, let D_F be the union of all the C_B for B in F. The sets C_B and D_F are subgroups of X. C_B always has Haar measure 0, while the measure of D_F depends on F. We show that there is a filter F…
▽ More
Let X be compact abelian group and G its dual (a discrete group). If B is an infinite subset of G, let C_B be the set of all x in X such that <phi(x) : phi \in B> converges to 1. If F is a free filter on G, let D_F be the union of all the C_B for B in F. The sets C_B and D_F are subgroups of X. C_B always has Haar measure 0, while the measure of D_F depends on F. We show that there is a filter F such that D_F has measure 0 but is not contained in any C_B. This generalizes previous results for the special case where X is the circle group.
△ Less
Submitted 9 August, 2004;
originally announced August 2004.
-
Complex Function Algebras and Removable Spaces
Authors:
Joan E. Hart,
Kenneth Kunen
Abstract:
The compact Hausdorff space X has the Complex Stone-Weierstrass Property (CSWP) iff it satisfies the complex version of the Stone-Weierstrass Theorem. W. Rudin showed that all scattered spaces have the CSWP. We describe some techniques for proving that certain non-scattered spaces have the CSWP. In particular, if X is the product of a compact ordered space and a compact scattered space, then X h…
▽ More
The compact Hausdorff space X has the Complex Stone-Weierstrass Property (CSWP) iff it satisfies the complex version of the Stone-Weierstrass Theorem. W. Rudin showed that all scattered spaces have the CSWP. We describe some techniques for proving that certain non-scattered spaces have the CSWP. In particular, if X is the product of a compact ordered space and a compact scattered space, then X has the CSWP if and only if X does not contain a copy of the Cantor set.
△ Less
Submitted 21 November, 2003;
originally announced November 2003.
-
Limits in Function Spaces and Compact Groups
Authors:
Joan E. Hart,
Kenneth Kunen
Abstract:
If B is an infinite subset of omega and X is a topological group, let C^X_B be the set of all x in X such that <x^n : n in B> converges to 1. If F is a filter of infinite sets, let D^X_F be the union of all the C^X_B for B in F. The C^X_B and D^X_F are subgroups of X when X is abelian. In the circle group T, it is known that C^X_B always has measure 0. We show that there is a filter F such that…
▽ More
If B is an infinite subset of omega and X is a topological group, let C^X_B be the set of all x in X such that <x^n : n in B> converges to 1. If F is a filter of infinite sets, let D^X_F be the union of all the C^X_B for B in F. The C^X_B and D^X_F are subgroups of X when X is abelian. In the circle group T, it is known that C^X_B always has measure 0. We show that there is a filter F such that D^T_F has measure 0 but is not contained in any C^X_B. There is another filter G such that D^X_G = T. We also describe the relationship between D^T_F and the D^X_F for arbitrary compact groups X.
△ Less
Submitted 19 February, 2003;
originally announced February 2003.