-
Estimating transmission noise on networks from stationary local order
Authors:
Christopher R. Kitching,
Henri Kauhanen,
Jordan Abbott,
Deepthi Gopal,
Ricardo Bermúdez-Otero,
Tobias Galla
Abstract:
In this paper we study networks of nodes characterised by binary traits that change both endogenously and through nearest-neighbour interaction. Our analytical results show that those traits can be ranked according to the noisiness of their transmission using only measures of order in the stationary state. Crucially, this ranking is independent of network topology. As an example, we explain why, i…
▽ More
In this paper we study networks of nodes characterised by binary traits that change both endogenously and through nearest-neighbour interaction. Our analytical results show that those traits can be ranked according to the noisiness of their transmission using only measures of order in the stationary state. Crucially, this ranking is independent of network topology. As an example, we explain why, in line with a long-standing hypothesis, the relative stability of the structural traits of languages can be estimated from their geospatial distribution. We conjecture that similar inferences may be possible in a more general class of Markovian systems. Consequently, in many empirical domains where longitudinal information is not easily available the propensities of traits to change could be estimated from spatial data alone.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Computing the Determinant of a Dense Matrix over Z
Authors:
John Abbott,
Claus Fieker
Abstract:
We present a new, practical algorithm for computing the determinant of a non-singular dense, uniform matrix over Z; the aim is to achieve better practical efficiency, which is always at least as good as currently known methods. The algorithm uses randomness internally, but the result is guaranteed correct. The main new idea is to use a modular HNF in cases where the Pauderis--Storjohann HCOL metho…
▽ More
We present a new, practical algorithm for computing the determinant of a non-singular dense, uniform matrix over Z; the aim is to achieve better practical efficiency, which is always at least as good as currently known methods. The algorithm uses randomness internally, but the result is guaranteed correct. The main new idea is to use a modular HNF in cases where the Pauderis--Storjohann HCOL method performs poorly. The algorithm is implemented in OSCAR~1.0.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Cyclotomic Factors and LRS-Degeneracy
Authors:
John Abbott,
Nico Mexis
Abstract:
We present three new, practical algorithms for polynomials in $\mathbb{Z}[x]$: one to test if a polynomial is cyclotomic, one to determine which cyclotomic polynomials are factors, and one to determine whether the given polynomial is LRS-degenerate. A polynomial is ``LRS-degenerate'' iff it has two distinct roots $α, β$ such that $β= ζα$ for some root of unity $ζ$. All three algorithms are based o…
▽ More
We present three new, practical algorithms for polynomials in $\mathbb{Z}[x]$: one to test if a polynomial is cyclotomic, one to determine which cyclotomic polynomials are factors, and one to determine whether the given polynomial is LRS-degenerate. A polynomial is ``LRS-degenerate'' iff it has two distinct roots $α, β$ such that $β= ζα$ for some root of unity $ζ$. All three algorithms are based on ``intelligent brute force''. The first two produce the indexes of the cyclotomic polynomials; the third produces a list of degeneracy orders. The algorithms are implemented in CoCoALib.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
A Few Thousand Translations Go a Long Way! Leveraging Pre-trained Models for African News Translation
Authors:
David Ifeoluwa Adelani,
Jesujoba Oluwadara Alabi,
Angela Fan,
Julia Kreutzer,
Xiaoyu Shen,
Machel Reid,
Dana Ruiter,
Dietrich Klakow,
Peter Nabende,
Ernie Chang,
Tajuddeen Gwadabe,
Freshia Sackey,
Bonaventure F. P. Dossou,
Chris Chinenye Emezue,
Colin Leong,
Michael Beukman,
Shamsuddeen Hassan Muhammad,
Guyo Dub Jarso,
Oreen Yousuf,
Andre Niyongabo Rubungo,
Gilles Hacheme,
Eric Peter Wairagala,
Muhammad Umair Nasir,
Benjamin Ayoade Ajibade,
Tunde Oluwaseyi Ajayi
, et al. (20 additional authors not shown)
Abstract:
Recent advances in the pre-training of language models leverage large-scale datasets to create multilingual models. However, low-resource languages are mostly left out in these datasets. This is primarily because many widely spoken languages are not well represented on the web and therefore excluded from the large-scale crawls used to create datasets. Furthermore, downstream users of these models…
▽ More
Recent advances in the pre-training of language models leverage large-scale datasets to create multilingual models. However, low-resource languages are mostly left out in these datasets. This is primarily because many widely spoken languages are not well represented on the web and therefore excluded from the large-scale crawls used to create datasets. Furthermore, downstream users of these models are restricted to the selection of languages originally chosen for pre-training. This work investigates how to optimally leverage existing pre-trained models to create low-resource translation systems for 16 African languages. We focus on two questions: 1) How can pre-trained models be used for languages not included in the initial pre-training? and 2) How can the resulting translation models effectively transfer to new domains? To answer these questions, we create a new African news corpus covering 16 languages, of which eight languages are not part of any existing evaluation dataset. We demonstrate that the most effective strategy for transferring both to additional languages and to additional domains is to fine-tune large pre-trained models on small quantities of high-quality translation data.
△ Less
Submitted 22 August, 2022; v1 submitted 4 May, 2022;
originally announced May 2022.
-
Automated processing of X-ray computed tomography images via panoptic segmentation for modeling woven composite textiles
Authors:
Aaron Allred,
Lauren J. Abbott,
Alireza Doostan,
Kurt Maute
Abstract:
A new, machine learning-based approach for automatically generating 3D digital geometries of woven composite textiles is proposed to overcome the limitations of existing analytical descriptions and segmentation methods. In this approach, panoptic segmentation is leveraged to produce instance segmented semantic masks from X-ray computed tomography (CT) images. This effort represents the first deep…
▽ More
A new, machine learning-based approach for automatically generating 3D digital geometries of woven composite textiles is proposed to overcome the limitations of existing analytical descriptions and segmentation methods. In this approach, panoptic segmentation is leveraged to produce instance segmented semantic masks from X-ray computed tomography (CT) images. This effort represents the first deep learning based automated process for segmenting unique yarn instances in a woven composite textile. Furthermore, it improves on existing methods by providing instance-level segmentation on low contrast CT datasets. Frame-to-frame instance tracking is accomplished via an intersection-over-union (IoU) approach adopted from video panoptic segmentation for assembling a 3D geometric model. A corrective recognition algorithm is developed to improve the recognition quality (RQ). The panoptic quality (PQ) metric is adopted to provide a new universal evaluation metric for reconstructed woven composite textiles. It is found that the panoptic segmentation network generalizes well to new CT images that are similar to the training set but does not extrapolate well to CT images of differing geometry, texture, and contrast. The utility of this approach is demonstrated by capturing yarn flow directions, contact regions between individual yarns, and the spatially varying cross-sectional areas of the yarns.
△ Less
Submitted 2 February, 2022;
originally announced February 2022.
-
AI4D -- African Language Program
Authors:
Kathleen Siminyu,
Godson Kalipe,
Davor Orlic,
Jade Abbott,
Vukosi Marivate,
Sackey Freshia,
Prateek Sibal,
Bhanu Neupane,
David I. Adelani,
Amelia Taylor,
Jamiil Toure ALI,
Kevin Degila,
Momboladji Balogoun,
Thierno Ibrahima DIOP,
Davis David,
Chayma Fourati,
Hatem Haddad,
Malek Naski
Abstract:
Advances in speech and language technologies enable tools such as voice-search, text-to-speech, speech recognition and machine translation. These are however only available for high resource languages like English, French or Chinese. Without foundational digital resources for African languages, which are considered low-resource in the digital context, these advanced tools remain out of reach. This…
▽ More
Advances in speech and language technologies enable tools such as voice-search, text-to-speech, speech recognition and machine translation. These are however only available for high resource languages like English, French or Chinese. Without foundational digital resources for African languages, which are considered low-resource in the digital context, these advanced tools remain out of reach. This work details the AI4D - African Language Program, a 3-part project that 1) incentivised the crowd-sourcing, collection and curation of language datasets through an online quantitative and qualitative challenge, 2) supported research fellows for a period of 3-4 months to create datasets annotated for NLP tasks, and 3) hosted competitive Machine Learning challenges on the basis of these datasets. Key outcomes of the work so far include 1) the creation of 9+ open source, African language datasets annotated for a variety of ML tasks, and 2) the creation of baseline models for these datasets through hosting of competitive ML challenges.
△ Less
Submitted 6 April, 2021;
originally announced April 2021.
-
MasakhaNER: Named Entity Recognition for African Languages
Authors:
David Ifeoluwa Adelani,
Jade Abbott,
Graham Neubig,
Daniel D'souza,
Julia Kreutzer,
Constantine Lignos,
Chester Palen-Michel,
Happy Buzaaba,
Shruti Rijhwani,
Sebastian Ruder,
Stephen Mayhew,
Israel Abebe Azime,
Shamsuddeen Muhammad,
Chris Chinenye Emezue,
Joyce Nakatumba-Nabende,
Perez Ogayo,
Anuoluwapo Aremu,
Catherine Gitau,
Derguene Mbaye,
Jesujoba Alabi,
Seid Muhie Yimam,
Tajuddeen Gwadabe,
Ignatius Ezeani,
Rubungo Andre Niyongabo,
Jonathan Mukiibi
, et al. (36 additional authors not shown)
Abstract:
We take a step towards addressing the under-representation of the African continent in NLP research by creating the first large publicly available high-quality dataset for named entity recognition (NER) in ten African languages, bringing together a variety of stakeholders. We detail characteristics of the languages to help researchers understand the challenges that these languages pose for NER. We…
▽ More
We take a step towards addressing the under-representation of the African continent in NLP research by creating the first large publicly available high-quality dataset for named entity recognition (NER) in ten African languages, bringing together a variety of stakeholders. We detail characteristics of the languages to help researchers understand the challenges that these languages pose for NER. We analyze our datasets and conduct an extensive empirical evaluation of state-of-the-art methods across both supervised and transfer learning settings. We release the data, code, and models in order to inspire future research on African NLP.
△ Less
Submitted 5 July, 2021; v1 submitted 22 March, 2021;
originally announced March 2021.
-
Participatory Research for Low-resourced Machine Translation: A Case Study in African Languages
Authors:
Wilhelmina Nekoto,
Vukosi Marivate,
Tshinondiwa Matsila,
Timi Fasubaa,
Tajudeen Kolawole,
Taiwo Fagbohungbe,
Solomon Oluwole Akinola,
Shamsuddeen Hassan Muhammad,
Salomon Kabongo,
Salomey Osei,
Sackey Freshia,
Rubungo Andre Niyongabo,
Ricky Macharm,
Perez Ogayo,
Orevaoghene Ahia,
Musie Meressa,
Mofe Adeyemi,
Masabata Mokgesi-Selinga,
Lawrence Okegbemi,
Laura Jane Martinus,
Kolawole Tajudeen,
Kevin Degila,
Kelechi Ogueji,
Kathleen Siminyu,
Julia Kreutzer
, et al. (23 additional authors not shown)
Abstract:
Research in NLP lacks geographic diversity, and the question of how NLP can be scaled to low-resourced languages has not yet been adequately solved. "Low-resourced"-ness is a complex problem going beyond data availability and reflects systemic problems in society. In this paper, we focus on the task of Machine Translation (MT), that plays a crucial role for information accessibility and communicat…
▽ More
Research in NLP lacks geographic diversity, and the question of how NLP can be scaled to low-resourced languages has not yet been adequately solved. "Low-resourced"-ness is a complex problem going beyond data availability and reflects systemic problems in society. In this paper, we focus on the task of Machine Translation (MT), that plays a crucial role for information accessibility and communication worldwide. Despite immense improvements in MT over the past decade, MT is centered around a few high-resourced languages. As MT researchers cannot solve the problem of low-resourcedness alone, we propose participatory research as a means to involve all necessary agents required in the MT development process. We demonstrate the feasibility and scalability of participatory research with a case study on MT for African languages. Its implementation leads to a collection of novel translation datasets, MT benchmarks for over 30 languages, with human evaluations for a third of them, and enables participants without formal training to make a unique scientific contribution. Benchmarks, models, data, code, and evaluation results are released under https://github.com/masakhane-io/masakhane-mt.
△ Less
Submitted 6 November, 2020; v1 submitted 5 October, 2020;
originally announced October 2020.
-
Thermal Model of an Omnimagnet for Performance Assessment and Temperature Control
Authors:
Fateme Esmailie,
Matthew S. Cavilla,
Jake J. Abbott,
Tim A. Ameel
Abstract:
An Omnimagnet is an electromagnetic device that enables remote magnetic manipulation of devices such as medical implants and microrobots. It is comprised of three orthogonal nested solenoids with a ferromagnetic core at the center. Electrical current within the solenoids leads to Joule heating, resulting in undesired temperature increase within the Omnimagnet. If the temperature exceeds the meltin…
▽ More
An Omnimagnet is an electromagnetic device that enables remote magnetic manipulation of devices such as medical implants and microrobots. It is comprised of three orthogonal nested solenoids with a ferromagnetic core at the center. Electrical current within the solenoids leads to Joule heating, resulting in undesired temperature increase within the Omnimagnet. If the temperature exceeds the melting point of the wire insulation, device failure will occur. Thus, a study of heat transfer within an Omnimagnet is a necessity, particularly to maximize the performance of the device. For the first time, a transient heat transfer model, that incorporates all three heat transfer modes, is proposed and validated with experimental data for an Omnimagnet with maximum root mean square error equal to 8${\%}$ (4$^{\circ}$C). This transient model is not computationally expensive. It is relatively easy to apply to Omnimagnets with different structures. The accuracy of this model depends on the accuracy of the input data. The code is applied to calculate the maximum safe operational time at a fixed input current or the maximum safe input current for a fixed time interval. The maximum safe operational time and maximum safe input current depend on size and structure of the Omnimagnet and the lowest melting point of all the Omnimagnet materials. A parametric study shows that increasing convective heat transfer during cooling, and during heating with low input currents, is an effective method to increase the maximum operational time of the Omnimagnet.The thermal model is also presented in a state-space equation format that can be used in a real-time Kalman filter current controller to avoid device failure due to excessive heating.
△ Less
Submitted 10 September, 2020;
originally announced September 2020.
-
AI4D -- African Language Dataset Challenge
Authors:
Kathleen Siminyu,
Sackey Freshia,
Jade Abbott,
Vukosi Marivate
Abstract:
As language and speech technologies become more advanced, the lack of fundamental digital resources for African languages, such as data, spell checkers and Part of Speech taggers, means that the digital divide between these languages and others keeps growing. This work details the organisation of the AI4D - African Language Dataset Challenge, an effort to incentivize the creation, organization and…
▽ More
As language and speech technologies become more advanced, the lack of fundamental digital resources for African languages, such as data, spell checkers and Part of Speech taggers, means that the digital divide between these languages and others keeps growing. This work details the organisation of the AI4D - African Language Dataset Challenge, an effort to incentivize the creation, organization and discovery of African language datasets through a competitive challenge. We particularly encouraged the submission of annotated datasets which can be used for training task-specific supervised machine learning models.
△ Less
Submitted 23 July, 2020;
originally announced July 2020.
-
Certifying Irreducibility in Z[x]
Authors:
John Abbott
Abstract:
We consider the question of certifying that a polynomial in ${\mathbb Z}[x]$ or ${\mathbb Q}[x]$ is irreducible. Knowing that a polynomial is irreducible lets us recognise that a quotient ring is actually a field extension (equiv.~that a polynomial ideal is maximal). Checking that a polynomial is irreducible by factorizing it is unsatisfactory because it requires trusting a relatively large and co…
▽ More
We consider the question of certifying that a polynomial in ${\mathbb Z}[x]$ or ${\mathbb Q}[x]$ is irreducible. Knowing that a polynomial is irreducible lets us recognise that a quotient ring is actually a field extension (equiv.~that a polynomial ideal is maximal). Checking that a polynomial is irreducible by factorizing it is unsatisfactory because it requires trusting a relatively large and complicated program (whose correctness cannot easily be verified). We present a practical method for generating certificates of irreducibility which can be verified by relatively simple computations; we assume that primes and irreducibles in ${\mathbb F}_p[x]$ are self-certifying.
△ Less
Submitted 10 May, 2020;
originally announced May 2020.
-
Masakhane -- Machine Translation For Africa
Authors:
Iroro Orife,
Julia Kreutzer,
Blessing Sibanda,
Daniel Whitenack,
Kathleen Siminyu,
Laura Martinus,
Jamiil Toure Ali,
Jade Abbott,
Vukosi Marivate,
Salomon Kabongo,
Musie Meressa,
Espoir Murhabazi,
Orevaoghene Ahia,
Elan van Biljon,
Arshath Ramkilowan,
Adewale Akinfaderin,
Alp Öktem,
Wole Akin,
Ghollah Kioko,
Kevin Degila,
Herman Kamper,
Bonaventure Dossou,
Chris Emezue,
Kelechi Ogueji,
Abdallah Bashir
Abstract:
Africa has over 2000 languages. Despite this, African languages account for a small portion of available resources and publications in Natural Language Processing (NLP). This is due to multiple factors, including: a lack of focus from government and funding, discoverability, a lack of community, sheer language complexity, difficulty in reproducing papers and no benchmarks to compare techniques. To…
▽ More
Africa has over 2000 languages. Despite this, African languages account for a small portion of available resources and publications in Natural Language Processing (NLP). This is due to multiple factors, including: a lack of focus from government and funding, discoverability, a lack of community, sheer language complexity, difficulty in reproducing papers and no benchmarks to compare techniques. To begin to address the identified problems, MASAKHANE, an open-source, continent-wide, distributed, online research effort for machine translation for African languages, was founded. In this paper, we discuss our methodology for building the community and spurring research from the African continent, as well as outline the success of the community in terms of addressing the identified problems affecting African NLP.
△ Less
Submitted 13 March, 2020;
originally announced March 2020.
-
Benchmarking Neural Machine Translation for Southern African Languages
Authors:
Laura Martinus,
Jade Z. Abbott
Abstract:
Unlike major Western languages, most African languages are very low-resourced. Furthermore, the resources that do exist are often scattered and difficult to obtain and discover. As a result, the data and code for existing research has rarely been shared. This has lead a struggle to reproduce reported results, and few publicly available benchmarks for African machine translation models exist. To st…
▽ More
Unlike major Western languages, most African languages are very low-resourced. Furthermore, the resources that do exist are often scattered and difficult to obtain and discover. As a result, the data and code for existing research has rarely been shared. This has lead a struggle to reproduce reported results, and few publicly available benchmarks for African machine translation models exist. To start to address these problems, we trained neural machine translation models for 5 Southern African languages on publicly-available datasets. Code is provided for training the models and evaluate the models on a newly released evaluation set, with the aim of spur future research in the field for Southern African languages.
△ Less
Submitted 17 June, 2019;
originally announced June 2019.
-
A Focus on Neural Machine Translation for African Languages
Authors:
Laura Martinus,
Jade Z. Abbott
Abstract:
African languages are numerous, complex and low-resourced. The datasets required for machine translation are difficult to discover, and existing research is hard to reproduce. Minimal attention has been given to machine translation for African languages so there is scant research regarding the problems that arise when using machine translation techniques. To begin addressing these problems, we tra…
▽ More
African languages are numerous, complex and low-resourced. The datasets required for machine translation are difficult to discover, and existing research is hard to reproduce. Minimal attention has been given to machine translation for African languages so there is scant research regarding the problems that arise when using machine translation techniques. To begin addressing these problems, we trained models to translate English to five of the official South African languages (Afrikaans, isiZulu, Northern Sotho, Setswana, Xitsonga), making use of modern neural machine translation techniques. The results obtained show the promise of using neural machine translation techniques for African languages. By providing reproducible publicly-available data, code and results, this research aims to provide a starting point for other researchers in African machine translation to compare to and build upon.
△ Less
Submitted 14 June, 2019; v1 submitted 11 June, 2019;
originally announced June 2019.
-
Towards Neural Machine Translation for African Languages
Authors:
Jade Z. Abbott,
Laura Martinus
Abstract:
Given that South African education is in crisis, strategies for improvement and sustainability of high-quality, up-to-date education must be explored. In the migration of education online, inclusion of machine translation for low-resourced local languages becomes necessary. This paper aims to spur the use of current neural machine translation (NMT) techniques for low-resourced local languages. The…
▽ More
Given that South African education is in crisis, strategies for improvement and sustainability of high-quality, up-to-date education must be explored. In the migration of education online, inclusion of machine translation for low-resourced local languages becomes necessary. This paper aims to spur the use of current neural machine translation (NMT) techniques for low-resourced local languages. The paper demonstrates state-of-the-art performance on English-to-Setswana translation using the Autshumato dataset. The use of the Transformer architecture beat previous techniques by 5.33 BLEU points. This demonstrates the promise of using current NMT techniques for African languages.
△ Less
Submitted 13 November, 2018;
originally announced November 2018.
-
How Smart Are `Water Smart Landscapes'?
Authors:
Christa Brelsford,
Joshua K. Abbott
Abstract:
Understanding the effectiveness of alternative approaches to water conservation is crucially important for ensuring the security and reliability of water services for urban residents. We analyze data from one of the longest-running "cash for grass" policies - the Southern Nevada Water Authority's Water Smart Landscapes program, where homeowners are paid to replace grass with xeric landsca**. We…
▽ More
Understanding the effectiveness of alternative approaches to water conservation is crucially important for ensuring the security and reliability of water services for urban residents. We analyze data from one of the longest-running "cash for grass" policies - the Southern Nevada Water Authority's Water Smart Landscapes program, where homeowners are paid to replace grass with xeric landsca**. We use a twelve year long panel dataset of monthly water consumption records for 300,000 households in Las Vegas, Nevada. Utilizing a panel difference-in-differences approach, we estimate the average water savings per square meter of turf removed. We find that participation in this program reduced the average treated household's consumption by 18 percent. We find no evidence that water savings degrade as the landscape ages, or that water savings per unit area are influenced by the value of the rebate. Depending on the assumed time horizon of benefits from turf removal, we find that the WSL program cost the water authority about $1.62 per thousand gallons of water saved, which compares favorably to alternative means of water conservation or supply augmentation.
△ Less
Submitted 12 March, 2018;
originally announced March 2018.
-
Ideals modulo a prime
Authors:
John Abbott,
Anna Maria Bigatti,
Lorenzo Robbiano
Abstract:
The main focus of this paper is on the problem of relating an ideal $I$ in the polynomial ring $\mathbb Q[x_1, \dots, x_n]$ to a corresponding ideal in $\mathbb F_p[x_1,\dots, x_n]$ where $p$ is a prime number; in other words, the \textit{reduction modulo $p$} of $I$. We first define a new notion of $σ$-good prime for $I$ which does depends on the term ordering $σ$, but not on the given generators…
▽ More
The main focus of this paper is on the problem of relating an ideal $I$ in the polynomial ring $\mathbb Q[x_1, \dots, x_n]$ to a corresponding ideal in $\mathbb F_p[x_1,\dots, x_n]$ where $p$ is a prime number; in other words, the \textit{reduction modulo $p$} of $I$. We first define a new notion of $σ$-good prime for $I$ which does depends on the term ordering $σ$, but not on the given generators of $I$. We relate our notion of $σ$-good primes to some other similar notions already in the literature.
Then we introduce and describe a new invariant called the universal denominator which frees our definition of reduction modulo~$p$ from the term ordering, thus letting us show that all but finitely many primes are good for $I$.
One characteristic of our approach is that it enables us to easily detect some bad primes, a distinct advantage when using modular methods.
△ Less
Submitted 12 December, 2019; v1 submitted 18 January, 2018;
originally announced January 2018.
-
Evaluating (and improving) the correspondence between deep neural networks and human representations
Authors:
Joshua C. Peterson,
Joshua T. Abbott,
Thomas L. Griffiths
Abstract:
Decades of psychological research have been aimed at modeling how people learn features and categories. The empirical validation of these theories is often based on artificial stimuli with simple representations. Recently, deep neural networks have reached or surpassed human accuracy on tasks such as identifying objects in natural images. These networks learn representations of real-world stimuli…
▽ More
Decades of psychological research have been aimed at modeling how people learn features and categories. The empirical validation of these theories is often based on artificial stimuli with simple representations. Recently, deep neural networks have reached or surpassed human accuracy on tasks such as identifying objects in natural images. These networks learn representations of real-world stimuli that can potentially be leveraged to capture psychological representations. We find that state-of-the-art object classification networks provide surprisingly accurate predictions of human similarity judgments for natural images, but fail to capture some of the structure represented by people. We show that a simple transformation that corrects these discrepancies can be obtained through convex optimization. We use the resulting representations to predict the difficulty of learning novel categories of natural images. Our results extend the scope of psychological experiments and computational modeling by enabling tractable use of large natural stimulus sets.
△ Less
Submitted 23 July, 2018; v1 submitted 7 June, 2017;
originally announced June 2017.
-
Computing and Using Minimal Polynomials
Authors:
John Abbott,
Anna Maria Bigatti,
Elisa Palezzato,
Lorenzo Robbiano
Abstract:
Given a zero-dimensional ideal I in a polynomial ring, many computations start by finding univariate polynomials in I. Searching for a univariate polynomial in I is a particular case of considering the minimal polynomial of an element in P/I. It is well known that minimal polynomials may be computed via elimination, therefore this is considered to be a "resolved problem". But being the key of so m…
▽ More
Given a zero-dimensional ideal I in a polynomial ring, many computations start by finding univariate polynomials in I. Searching for a univariate polynomial in I is a particular case of considering the minimal polynomial of an element in P/I. It is well known that minimal polynomials may be computed via elimination, therefore this is considered to be a "resolved problem". But being the key of so many computations, it is worth investigating its meaning, its optimization, its applications (e.g. testing if a zero-dimensional ideal is radical, primary or maximal). We present efficient algorithms for computing the minimal polynomial of an element of P/I. For the specific case where the coefficients are in Q, we show how to use modular methods to obtain a guaranteed result. We also present some applications of minimal polynomials, namely algorithms for computing radicals and primary decompositions of zero-dimensional ideals, and also for testing radicality and maximality.
△ Less
Submitted 7 August, 2019; v1 submitted 23 February, 2017;
originally announced February 2017.
-
Groebner Bases for Everyone with CoCoA-5 and CoCoALib
Authors:
John Abbott,
Anna Maria Bigatti
Abstract:
We present a survey on the developments related to Groebner bases, and show explicit examples in CoCoA. The CoCoA project dates back to 1987: its aim was to create a "mathematician"-friendly computational laboratory for studying Commutative Algebra, most especially Groebner bases. Always maintaining this "friendly" tradition, the project has grown and evolved, and the software has been completely…
▽ More
We present a survey on the developments related to Groebner bases, and show explicit examples in CoCoA. The CoCoA project dates back to 1987: its aim was to create a "mathematician"-friendly computational laboratory for studying Commutative Algebra, most especially Groebner bases. Always maintaining this "friendly" tradition, the project has grown and evolved, and the software has been completely rewritten. CoCoA offers Groebner bases for all levels of interest: from the basic, explicit call in the interactive system CoCoA-5, to problem-specific optimized implementations, to the computer--computer communication with the open source C++ software library, CoCoALib, or the prototype OpenMath-based server. The openness and clean design of CoCoALib and CoCoA-5 are intended to offer different levels of usage, and to encourage external contributions.
△ Less
Submitted 18 April, 2017; v1 submitted 22 November, 2016;
originally announced November 2016.
-
Adapting Deep Network Features to Capture Psychological Representations
Authors:
Joshua C. Peterson,
Joshua T. Abbott,
Thomas L. Griffiths
Abstract:
Deep neural networks have become increasingly successful at solving classic perception problems such as object recognition, semantic segmentation, and scene understanding, often reaching or surpassing human-level accuracy. This success is due in part to the ability of DNNs to learn useful representations of high-dimensional inputs, a problem that humans must also solve. We examine the relationship…
▽ More
Deep neural networks have become increasingly successful at solving classic perception problems such as object recognition, semantic segmentation, and scene understanding, often reaching or surpassing human-level accuracy. This success is due in part to the ability of DNNs to learn useful representations of high-dimensional inputs, a problem that humans must also solve. We examine the relationship between the representations learned by these networks and human psychological representations recovered from similarity judgments. We find that deep features learned in service of object classification account for a significant amount of the variance in human similarity judgments for a set of animal images. However, these features do not capture some qualitative distinctions that are a key part of human representations. To remedy this, we develop a method for adapting deep features to align with human similarity judgments, resulting in image representations that can potentially be used to extend the scope of psychological experiments.
△ Less
Submitted 6 August, 2016;
originally announced August 2016.
-
Satisfiability Checking meets Symbolic Computation (Project Paper)
Authors:
E. Abraham,
J. Abbott,
B. Becker,
A. M. Bigatti,
M. Brain,
B. Buchberger,
A. Cimatti,
J. H. Davenport,
M. England,
P. Fontaine,
S. Forrest,
A. Griggio,
D. Kroening,
W. M. Seiler,
T. Sturm
Abstract:
Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite their commonalities, the two communities are rather weakly connected. The aim of our newly accepted SC-square project (H2020-FETOPEN-CSA) is…
▽ More
Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite their commonalities, the two communities are rather weakly connected. The aim of our newly accepted SC-square project (H2020-FETOPEN-CSA) is to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and develo** a common roadmap from theory along the way to tools and (industrial) applications. In this paper we report on the aims and on the first activities of this project, and formalise some relevant challenges for the unified SC-square community.
△ Less
Submitted 27 July, 2016;
originally announced July 2016.
-
Satisfiability Checking and Symbolic Computation
Authors:
E. Abraham,
J. Abbott,
B. Becker,
A. M. Bigatti,
M. Brain,
B. Buchberger,
A. Cimatti,
J. H. Davenport,
M. England,
P. Fontaine,
S. Forrest,
A. Griggio,
D. Kroening,
W. M. Seiler,
T. Sturm
Abstract:
Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC-square to build a joint community in this area, supported by a…
▽ More
Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC-square to build a joint community in this area, supported by a newly accepted EU (H2020-FETOPEN-CSA) project of the same name. We aim to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and develo** a common roadmap. This abstract and accompanying poster describes the motivation and aims for the project, and reports on the first activities.
△ Less
Submitted 23 July, 2016;
originally announced July 2016.
-
Implicitization of Hypersurfaces
Authors:
John Abbott,
Anna Maria Bigatti,
Lorenzo Robbiano
Abstract:
We present new, practical algorithms for the hypersurface implicitization problem: namely, given a parametric description (in terms of polynomials or rational functions) of the hypersurface, find its implicit equation. Two of them are for polynomial parametrizations: one algorithm, "ElimTH", has as main step the computation of an elimination ideal via a \textit{truncated, homogeneous} Gröbner basi…
▽ More
We present new, practical algorithms for the hypersurface implicitization problem: namely, given a parametric description (in terms of polynomials or rational functions) of the hypersurface, find its implicit equation. Two of them are for polynomial parametrizations: one algorithm, "ElimTH", has as main step the computation of an elimination ideal via a \textit{truncated, homogeneous} Gröbner basis. The other algorithm, "Direct", computes the implicitization directly using an approach inspired by the generalized Buchberger-Möller algorithm. Either may be used inside the third algorithm, "RatPar", to deal with parametrizations by rational functions. Finally we show how these algorithms can be used in a modular approach, algorithm "ModImplicit", for avoiding the high costs of arithmetic with rational numbers. We exhibit experimental timings to show the practical efficiency of our new algorithms.
△ Less
Submitted 13 October, 2016; v1 submitted 12 February, 2016;
originally announced February 2016.
-
Deciding if a variety forms an algebraic group
Authors:
John Abbott,
Bettina Eick
Abstract:
Let $n$ be a positive integer and let $f_1, \ldots, f_r$ be polynomials in $n^2$ indeterminates over an algebraically closed field $K$. We describe an algorithm to decide if the invertible matrices contained in the variety of $f_1, \ldots, f_r$ form a subgroup of $GL(n,K)$; that is, we show how to decide if the polynomials $f_1, \ldots, f_r$ define a linear algebraic group.
Let $n$ be a positive integer and let $f_1, \ldots, f_r$ be polynomials in $n^2$ indeterminates over an algebraically closed field $K$. We describe an algorithm to decide if the invertible matrices contained in the variety of $f_1, \ldots, f_r$ form a subgroup of $GL(n,K)$; that is, we show how to decide if the polynomials $f_1, \ldots, f_r$ define a linear algebraic group.
△ Less
Submitted 24 November, 2015;
originally announced November 2015.
-
Taking a moment to measure Networks - A hierarchical approach
Authors:
Kehinde R. Salau,
Jacopo A. Baggio,
Marco A. Janssen,
Joshua K. Abbott,
Eli P. Fenichel
Abstract:
Network-theoretic tools contribute to understanding real-world system dynamics, e.g., in wildlife conservation, epidemics, and power outages. Network visualization helps illustrate structural heterogeneity; however, details about heterogeneity are lost when summarizing networks with a single mean-style measure. Researchers have indicated that a hierarchical system composed of multiple metrics may…
▽ More
Network-theoretic tools contribute to understanding real-world system dynamics, e.g., in wildlife conservation, epidemics, and power outages. Network visualization helps illustrate structural heterogeneity; however, details about heterogeneity are lost when summarizing networks with a single mean-style measure. Researchers have indicated that a hierarchical system composed of multiple metrics may be a more useful determinant of structure, but a formal method for grou** metrics is still lacking. We develop a hierarchy using the statistical concept of moments and systematically test the hypothesis that this system of metrics is sufficient to explain the variation in processes that take place on networks, using an ecological systems example. Results indicate that the moments approach outperforms single summary metrics and accounts for a majority of the variation in process outcomes. The hierarchical measurement scheme is helpful for indicating when additional structural information is needed to describe system process outcomes.
△ Less
Submitted 25 September, 2015;
originally announced September 2015.
-
Fault-Tolerant Modular Reconstruction of Rational Numbers
Authors:
John Abbott
Abstract:
In this paper we present two efficient methods for reconstructing a rational number from several residue-modulus pairs, some of which may be incorrect. One method is a natural generalization of that presented by Wang, Guy and Davenport in \cite{WGD1982} (for reconstructing a rational number from \textit{correct} modular images), and also of an algorithm presented in \cite{Abb1991} for reconstructi…
▽ More
In this paper we present two efficient methods for reconstructing a rational number from several residue-modulus pairs, some of which may be incorrect. One method is a natural generalization of that presented by Wang, Guy and Davenport in \cite{WGD1982} (for reconstructing a rational number from \textit{correct} modular images), and also of an algorithm presented in \cite{Abb1991} for reconstructing an \textit{integer} value from several residue-modulus pairs, some of which may be incorrect.
△ Less
Submitted 21 July, 2015; v1 submitted 12 March, 2013;
originally announced March 2013.
-
Plump Cutthroat Trout and Thin Rainbow Trout in a Lentic Ecosystem
Authors:
Joshua Courtney,
Jessica Abbott,
Kerri Schmidt,
Michael Courtney
Abstract:
Background: Much has been written about introduced rainbow trout (Oncorhynchus mykiss) interbreeding and outcompeting cutthroat trout (Oncorhynchus clarkii). However, the specific mechanisms by which rainbow trout and their hybrids outcompete cutthroat trout have not been thoroughly explored, and the published data is limited to lotic ecosystems. Materials and Methods: Samples of rainbow trout and…
▽ More
Background: Much has been written about introduced rainbow trout (Oncorhynchus mykiss) interbreeding and outcompeting cutthroat trout (Oncorhynchus clarkii). However, the specific mechanisms by which rainbow trout and their hybrids outcompete cutthroat trout have not been thoroughly explored, and the published data is limited to lotic ecosystems. Materials and Methods: Samples of rainbow trout and cutthroat trout were obtained from a lentic ecosystem by angling. The total length and weight of each fish was measured and the relative weight of each fish was computed (Anderson R.O., Neumann R.M. 1996. Length, Weight, and Associated Structural Indices, Pp. 447-481. In: Murphy B.E. and Willis D.W. (eds.) Fisheries Techniques, second edition. American Fisheries Society.), along with the mean and uncertainty in the mean for each species. Data from an independent source (K.D. Carlander, 1969. Handbook of Freshwater Fishery Biology, Volume One, Iowa University Press, Ames.) was also used to generate mean weight-length curves, as well as 25th and 75th percentile curves for each species to allow further comparison. Results: The mean relative weight of the rainbow trout was 72.5 (+/- 2.1); whereas, the mean relative weight of the cutthroat trout was 101.0 (+/- 4.9). The rainbow trout were thin; 80% weighed below the 25th percentile. The cutthroat trout were plump; 86% weighed above the 75th percentile, and 29% were above the heaviest recorded specimens at a given length in the Carlander (1969) data set. Conclusion: This data casts doubt on the hypothesis that rainbow trout are strong food competitors with cutthroat trout in lentic ecosystems. On the contrary, in the lake under study, the cutthroat trout seem to be outcompeting rainbow trout for the available food.
△ Less
Submitted 17 October, 2012;
originally announced October 2012.
-
Quadratic Interval Refinement for Real Roots
Authors:
John Abbott
Abstract:
We present a new algorithm for refining a real interval containing a single real root: the new method combines characteristics of the classical Bisection algorithm and Newton's Iteration. Our method exhibits quadratic convergence when refining isolating intervals of simple roots of polynomials (and other well-behaved functions). We assume the use of arbitrary precision rational arithmetic. Unlike…
▽ More
We present a new algorithm for refining a real interval containing a single real root: the new method combines characteristics of the classical Bisection algorithm and Newton's Iteration. Our method exhibits quadratic convergence when refining isolating intervals of simple roots of polynomials (and other well-behaved functions). We assume the use of arbitrary precision rational arithmetic. Unlike Newton's Iteration our method does not need to evaluate the derivative.
△ Less
Submitted 6 March, 2012;
originally announced March 2012.
-
Bounds on Factors in Z[x]
Authors:
John Abbott
Abstract:
We gather together several bounds on the sizes of coefficients which can appear in factors of polynomials in Z[x]; we include a new bound which was latent in a paper by Mignotte, and a few minor improvements to some existing bounds. We compare these bounds and show that none is universally better than the others. In the second part of the paper we give several concrete examples of factorizations…
▽ More
We gather together several bounds on the sizes of coefficients which can appear in factors of polynomials in Z[x]; we include a new bound which was latent in a paper by Mignotte, and a few minor improvements to some existing bounds. We compare these bounds and show that none is universally better than the others. In the second part of the paper we give several concrete examples of factorizations where the factors have "unexpectedly" large coefficients. These examples help us understand why the bounds must be larger than you might expect, and greatly extend the collection published by Collins.
△ Less
Submitted 20 April, 2009;
originally announced April 2009.
-
Stable Border Bases for Ideals of Points
Authors:
John Abbott,
Claudia Fassino,
Maria-Laura Torrente
Abstract:
Let $X$ be a set of points whose coordinates are known with limited accuracy; our aim is to give a characterization of the vanishing ideal $I(X)$ independent of the data uncertainty. We present a method to compute a polynomial basis $B$ of $I(X)$ which exhibits structural stability, that is, if $\widetilde X$ is any set of points differing only slightly from $X$, there exists a polynomial set…
▽ More
Let $X$ be a set of points whose coordinates are known with limited accuracy; our aim is to give a characterization of the vanishing ideal $I(X)$ independent of the data uncertainty. We present a method to compute a polynomial basis $B$ of $I(X)$ which exhibits structural stability, that is, if $\widetilde X$ is any set of points differing only slightly from $X$, there exists a polynomial set $\widetilde B$ structurally similar to $B$, which is a basis of the perturbed ideal $ I(\widetilde X)$.
△ Less
Submitted 16 October, 2007; v1 submitted 15 June, 2007;
originally announced June 2007.
-
Thinning out redundant empirical data
Authors:
John Abbott,
Claudia Fassino,
Maria-Laura Torrente
Abstract:
Given a set $X$ of "empirical" points, whose coordinates are perturbed by errors, we analyze whether it contains redundant information, that is whether some of its elements could be represented by a single equivalent point. If this is the case, the empirical information associated to $X$ could be described by fewer points, chosen in a suitable way. We present two different methods to reduce the…
▽ More
Given a set $X$ of "empirical" points, whose coordinates are perturbed by errors, we analyze whether it contains redundant information, that is whether some of its elements could be represented by a single equivalent point. If this is the case, the empirical information associated to $X$ could be described by fewer points, chosen in a suitable way. We present two different methods to reduce the cardinality of $X$ which compute a new set of points equivalent to the original one, that is representing the same empirical information. Though our algorithms use some basic notions of Cluster Analysis they are specifically designed for "thinning out" redundant data. We include some experimental results which illustrate the practical effectiveness of our methods.
△ Less
Submitted 12 February, 2007;
originally announced February 2007.
-
Comparative Analysis of the Saccharomyces cerevisiae and Caenorhabditis elegans Protein Interaction Network
Authors:
Ino Agrafioti,
Jonathan Swire,
James Abbott,
Derek Huntley,
Sarah Butcher,
Michael P. H. Stumpf
Abstract:
Protein interaction networks aim to summarize the complex interplay of proteins in an organism. Early studies suggested that the position of a protein in the network determines its evolutionary rate but there has been considerable disagreement as to what extent other factors, such as protein abundance, modify this reported dependence.
We compare the genomes of Saccharomyces cerevisiae and Caen…
▽ More
Protein interaction networks aim to summarize the complex interplay of proteins in an organism. Early studies suggested that the position of a protein in the network determines its evolutionary rate but there has been considerable disagreement as to what extent other factors, such as protein abundance, modify this reported dependence.
We compare the genomes of Saccharomyces cerevisiae and Caenorhabditis elegans with those of closely related species to elucidate the recent evolutionary history of their respective protein interaction networks. Interaction and expression data are studied in the light of a detailed phylogenetic analysis. The underlying network structure is incorporated explicitly into the statistical analysis.
The increased phylogenetic resolution, paired with high-quality interaction data, allows us to resolve the way in which protein interaction network structure and abundance of proteins affect the evolutionary rate. We find that expression levels are better predictors of the evolutionary rate than a protein's connectivity. Detailed analysis of the two organisms also shows that the evolutionary rates of interacting proteins are not sufficiently similar to be mutually predictive.
It appears that meaningful inferences about the evolution of protein interaction networks require comparative analysis of reasonably closely related species. The signature of protein evolution is shaped by a protein's abundance in the organism and its function and the biological process it is involved in. Its position in the interaction networks and its connectivity may modulate this but they appear to have only minor influence on a protein's evolutionary rate.
△ Less
Submitted 3 March, 2005;
originally announced March 2005.
-
Low Temperature Results for the Heisenberg XXZ and XY Models
Authors:
J. Abbott
Abstract:
This thesis contains two results for the low temperature behavior of quantum spin systems. First, we present a lower bound for the spin-1 XXZ chain in finite volumes in terms of the gap of the two-site Hamiltonian. The estimate is derived by a method developed by Nachtergaele in (cond-mat/9410110) called the Martingale Method. Our bound relies on an assumption which we have, as yet, been unable…
▽ More
This thesis contains two results for the low temperature behavior of quantum spin systems. First, we present a lower bound for the spin-1 XXZ chain in finite volumes in terms of the gap of the two-site Hamiltonian. The estimate is derived by a method developed by Nachtergaele in (cond-mat/9410110) called the Martingale Method. Our bound relies on an assumption which we have, as yet, been unable to verify analytically in all cases. We present numerical evidence that strongly indicates our assumption is valid.
The second result is a proof that the spin-1/2, d-dimensional XY model in the presence of an external magnetic field does not undergo a phase transition at low temperature, provided that the strength of the field is great enough. Using a contour expansion inspired by Kennedy, we show that the weights of contours satisfy a condition of Kotecky and Preiss which allows us to express the free energy of the system as a cluster expansion. As part of the setup we give a simple proof that the all-spin-up state is the unique ground state when the external magnetic field has strength at least 2d.
△ Less
Submitted 4 June, 2003;
originally announced June 2003.
-
Gemini observations of Wolf-Rayet Stars in the Local Group Starburst Galaxy IC10
Authors:
P. A. Crowther,
L. Drissen,
J. B. Abbott,
P. Royer,
S. J. Smartt
Abstract:
We present Gemini-N GMOS and CFHT MOS spectroscopy of Wolf-Rayet candidates in the Local Group dwarf galaxy IC10 that were previously identified by Massey et al. and Royer et al. From the present spectroscopic survey, the WC/WN ratio for IC10 remains unusually high, given its low metallicity, although none of the WC9 stars suspected from narrow-band imaging are confirmed. Our spectroscopy confir…
▽ More
We present Gemini-N GMOS and CFHT MOS spectroscopy of Wolf-Rayet candidates in the Local Group dwarf galaxy IC10 that were previously identified by Massey et al. and Royer et al. From the present spectroscopic survey, the WC/WN ratio for IC10 remains unusually high, given its low metallicity, although none of the WC9 stars suspected from narrow-band imaging are confirmed. Our spectroscopy confirms 9 newly discovered Wolf-Rayet candidates from Royer et al., whilst spectral types of 14 Wolf-Rayet stars previously observed by Massey & Armandroff are refined here. In total, there are 26 spectroscopically confirmed Wolf-Rayet stars in IC~10. All but one of the fourteen WC stars are WC4-6 stars, the exception being # 10 from Massey et al., a broad-lined, apparently single WC7 star. There are a total of eleven WN stars, which are predominantly early WN3-4 stars, but include a rare WN10 star, #8 from Royer et al. #5 from Massey et al. is newly identified as a transition WN/C star. Consequently, the WC/WN ratio for IC10 is 14/11=1.3, unusually high for a metal-poor galaxy. Re-evaluating recent photometric data of Massey & Holmes, we suggest that the true WC/WN ratio may not be as low as 0.3. Finally, we present ground-based finding charts for all confirmed WR stars, plus HST/WFPC2 charts for twelve cases.
△ Less
Submitted 2 April, 2003; v1 submitted 24 February, 2003;
originally announced February 2003.
-
A large Wolf-Rayet population in NGC300 uncovered by VLT-FORS2
Authors:
H. Schild,
P. A. Crowther,
J. B. Abbott,
W. Schmutz
Abstract:
We have detected 58 Wolf-Rayet candidates in the central region of the nearby spiral galaxy NGC 300, based on deep VLT-FORS2 narrow-band imaging. Our survey is close to complete except for heavily reddened WR stars. Of the objects in our list, 16 stars were already spectroscopically confirmed as WR stars by Schild & Testor and Breysacher et al., to which 4 stars are added using low resolution FO…
▽ More
We have detected 58 Wolf-Rayet candidates in the central region of the nearby spiral galaxy NGC 300, based on deep VLT-FORS2 narrow-band imaging. Our survey is close to complete except for heavily reddened WR stars. Of the objects in our list, 16 stars were already spectroscopically confirmed as WR stars by Schild & Testor and Breysacher et al., to which 4 stars are added using low resolution FORS2 datasets. The WR population of NGC300 now totals 60,a threefold increase over previous surveys, with WC/WN>1/3, in reasonable agreement with Local Group galaxies for a moderately sub-solar metallicity. We also discuss the WR surface density in the central region of NGC 300. Finally, analyses are presented for two apparently single WC stars - #29 (alias WR3, WC5) and #48 (alias WR13, WC4) located close to the nucleus, and at a deprojected radius of 2.5 kpc, respectively. These are among the first models of WR stars in galaxies beyond the Local Group, and are compared with early WC stars in our Galaxy and LMC.
△ Less
Submitted 13 September, 2002;
originally announced September 2002.
-
Stellar and Wind Properties of LMC WC4 stars - A metallicity dependence for Wolf-Rayet mass-loss rates
Authors:
Paul A. Crowther,
Luc Dessart,
D. John Hillier,
Jay B. Abbott,
Alex W. Fullerton
Abstract:
We use ultraviolet space-based (FUSE, HST) and optical/IR ground-based (2.3m MSSSO, NTT) spectroscopy to determine the physical parameters of six WC4-type Wolf-Rayet stars in the Large Magellanic Cloud. Stellar parameters are revised significantly relative to Grafener et al. (1998) based on improved observations and more sophisticated model atmosphere codes, which account for line blanketing and…
▽ More
We use ultraviolet space-based (FUSE, HST) and optical/IR ground-based (2.3m MSSSO, NTT) spectroscopy to determine the physical parameters of six WC4-type Wolf-Rayet stars in the Large Magellanic Cloud. Stellar parameters are revised significantly relative to Grafener et al. (1998) based on improved observations and more sophisticated model atmosphere codes, which account for line blanketing and clum**. We find that stellar luminosities are revised upwards by up to 0.4 dex, with surface abundances spanning a lower range of 0.1<C/He<0.35 (20-45% carbon by mass) and O/He<0.06 (<10% oxygen by mass). Relative to Galactic WC5-8 stars at known distance, and analysed in a similar manner, LMC WC4 stars possess systematically higher stellar luminosities, 0.2dex lower wind densities, yet a similar range of surface chemistries. We illustrate how the classification CIII 5696 line is extremely sensitive to wind density, such that this is the principal difference between the subtype distribution of LMC and Galactic early-type WC stars. Temperature differences do play a role, but carbon abundance does not affect WC spectral types. We illustrate the effect of varying temperature and mass-loss rate on the WC spectral type for HD32257 (WC4, LMC) and HD156385 (WC7, Galaxy) which possess similar abundances and luminosities.
Using the latest evolutionary models, pre-supernova stellar masses in the range 11-19 Mo are anticipated for LMC WC4 stars, with 7-14 Mo for Galactic WC stars with known distances. These values are consistent with pre-cursors of bright Type-Ic supernovae such as SN1998bw (alias GRB 980425) for which a minimum total mass of C and O of 14Mo has been independently derived.
△ Less
Submitted 14 June, 2002;
originally announced June 2002.