-
Simultaneously Learning Vision and Feature-based Control Policies for Real-world Ball-in-a-Cup
Authors:
Devin Schwab,
Tobias Springenberg,
Murilo F. Martins,
Thomas Lampe,
Michael Neunert,
Abbas Abdolmaleki,
Tim Hertweck,
Roland Hafner,
Francesco Nori,
Martin Riedmiller
Abstract:
We present a method for fast training of vision based control policies on real robots. The key idea behind our method is to perform multi-task Reinforcement Learning with auxiliary tasks that differ not only in the reward to be optimized but also in the state-space in which they operate. In particular, we allow auxiliary task policies to utilize task features that are available only at training-ti…
▽ More
We present a method for fast training of vision based control policies on real robots. The key idea behind our method is to perform multi-task Reinforcement Learning with auxiliary tasks that differ not only in the reward to be optimized but also in the state-space in which they operate. In particular, we allow auxiliary task policies to utilize task features that are available only at training-time. This allows for fast learning of auxiliary policies, which subsequently generate good data for training the main, vision-based control policies. This method can be seen as an extension of the Scheduled Auxiliary Control (SAC-X) framework. We demonstrate the efficacy of our method by using both a simulated and real-world Ball-in-a-Cup game controlled by a robot arm. In simulation, our approach leads to significant learning speed-ups when compared to standard SAC-X. On the real robot we show that the task can be learned from-scratch, i.e., with no transfer from simulation and no imitation learning. Videos of our learned policies running on the real robot can be found at https://sites.google.com/view/rss-2019-sawyer-bic/.
△ Less
Submitted 18 February, 2019; v1 submitted 12 February, 2019;
originally announced February 2019.
-
Learning with Fenchel-Young Losses
Authors:
Mathieu Blondel,
André F. T. Martins,
Vlad Niculae
Abstract:
Over the past decades, numerous loss functions have been been proposed for a variety of supervised learning tasks, including regression, classification, ranking, and more generally structured prediction. Understanding the core principles and theoretical properties underpinning these losses is key to choose the right loss for the right problem, as well as to create new losses which combine their st…
▽ More
Over the past decades, numerous loss functions have been been proposed for a variety of supervised learning tasks, including regression, classification, ranking, and more generally structured prediction. Understanding the core principles and theoretical properties underpinning these losses is key to choose the right loss for the right problem, as well as to create new losses which combine their strengths. In this paper, we introduce Fenchel-Young losses, a generic way to construct a convex loss function for a regularized prediction function. We provide an in-depth study of their properties in a very broad setting, covering all the aforementioned supervised learning tasks, and revealing new connections between sparsity, generalized entropies, and separation margins. We show that Fenchel-Young losses unify many well-known loss functions and allow to create useful new ones easily. Finally, we derive efficient predictive and training algorithms, making Fenchel-Young losses appealing both in theory and practice.
△ Less
Submitted 2 March, 2020; v1 submitted 8 January, 2019;
originally announced January 2019.
-
Modeling Temporal Evidence from External Collections
Authors:
Flávio Martins,
João Magalhães,
Jamie Callan
Abstract:
Newsworthy events are broadcast through multiple mediums and prompt the crowds to produce comments on social media. In this paper, we propose to leverage on this behavioral dynamics to estimate the most relevant time periods for an event (i.e., query). Recent advances have shown how to improve the estimation of the temporal relevance of such topics. In this approach, we build on two major noveltie…
▽ More
Newsworthy events are broadcast through multiple mediums and prompt the crowds to produce comments on social media. In this paper, we propose to leverage on this behavioral dynamics to estimate the most relevant time periods for an event (i.e., query). Recent advances have shown how to improve the estimation of the temporal relevance of such topics. In this approach, we build on two major novelties. First, we mine temporal evidences from hundreds of external sources into topic-based external collections to improve the robustness of the detection of relevant time periods. Second, we propose a formal retrieval model that generalizes the use of the temporal dimension across different aspects of the retrieval process. In particular, we show that temporal evidence of external collections can be used to (i) infer a topic's temporal relevance, (ii) select the query expansion terms, and (iii) re-rank the final results for improved precision. Experiments with TREC Microblog collections show that the proposed time-aware retrieval model makes an effective and extensive use of the temporal dimension to improve search results over the most recent temporal models. Interestingly, we observe a strong correlation between precision and the temporal distribution of retrieved and relevant documents.
△ Less
Submitted 2 December, 2018;
originally announced December 2018.
-
Extreme resonance line profile variations in the ultraviolet spectra of NGC 1624-2: probing the giant magnetosphere of the most strongly magnetized known O-type star
Authors:
A. David-Uraz,
C. Erba,
V. Petit,
A. W. Fullerton,
F. Martins,
N. R. Walborn,
R. MacInnis,
R. H. Barbá,
D. H. Cohen,
J. Maíz Apellániz,
Y. Nazé,
S. P. Owocki,
J. O. Sundqvist,
A. ud-Doula,
G. A. Wade
Abstract:
In this paper, we present high-resolution HST/COS observations of the extreme magnetic O star NGC 1624-2. These represent the first ultraviolet spectra of this archetypal object. We examine the variability of its wind-sensitive resonance lines, comparing it to that of other known magnetic O stars. In particular, the observed variations in the profiles of the CIV and SiIV doublets between low state…
▽ More
In this paper, we present high-resolution HST/COS observations of the extreme magnetic O star NGC 1624-2. These represent the first ultraviolet spectra of this archetypal object. We examine the variability of its wind-sensitive resonance lines, comparing it to that of other known magnetic O stars. In particular, the observed variations in the profiles of the CIV and SiIV doublets between low state and high state are the largest observed in any magnetic O-type star, consistent with the expected properties of NGC 1624-2's magnetosphere. We also observe a redshifted absorption component in the low state, a feature not seen in most stars. We present preliminary modelling efforts based on the Analytic Dynamical Magnetosphere (ADM) formalism, demonstrating the necessity of using non-spherically symmetric models to determine wind/magnetospheric properties of magnetic O stars.
△ Less
Submitted 25 November, 2018;
originally announced November 2018.
-
Inferring User Gender from User Generated Visual Content on a Deep Semantic Space
Authors:
David Semedo,
João Magalhães,
Flávio Martins
Abstract:
In this paper we address the task of gender classification on picture sharing social media networks such as Instagram and Flickr. We aim to infer the gender of an user given only a small set of the images shared in its profile. We make the assumption that user's images contain a collection of visual elements that implicitly encode discriminative patterns that allow inferring its gender, in a langu…
▽ More
In this paper we address the task of gender classification on picture sharing social media networks such as Instagram and Flickr. We aim to infer the gender of an user given only a small set of the images shared in its profile. We make the assumption that user's images contain a collection of visual elements that implicitly encode discriminative patterns that allow inferring its gender, in a language independent way. This information can then be used in personalisation and recommendation. Our main hypothesis is that semantic visual features are more adequate for discriminating high-level classes.
The gender detection task is formalised as: given an user's profile, represented as a bag of images, we want to infer the gender of the user. Social media profiles can be noisy and contain confounding factors, therefore we classify bags of user-profile's images to provide a more robust prediction. Experiments using a dataset from the picture sharing social network Instagram show that the use of multiple images is key to improve detection performance. Moreover, we verify that deep semantic features are more suited for gender detection than low-level image representations. The methods proposed can infer the gender with precision scores higher than 0.825, and the best performing method achieving 0.911 precision.
△ Less
Submitted 10 October, 2018;
originally announced October 2018.
-
A Vertical PRF Architecture for Microblog Search
Authors:
Flávio Martins,
João Magalhães,
Jamie Callan
Abstract:
In microblog retrieval, query expansion can be essential to obtain good search results due to the short size of queries and posts. Since information in microblogs is highly dynamic, an up-to-date index coupled with pseudo-relevance feedback (PRF) with an external corpus has a higher chance of retrieving more relevant documents and improving ranking. In this paper, we focus on the research question…
▽ More
In microblog retrieval, query expansion can be essential to obtain good search results due to the short size of queries and posts. Since information in microblogs is highly dynamic, an up-to-date index coupled with pseudo-relevance feedback (PRF) with an external corpus has a higher chance of retrieving more relevant documents and improving ranking. In this paper, we focus on the research question:how can we reduce the query expansion computational cost while maintaining the same retrieval precision as standard PRF? Therefore, we propose to accelerate the query expansion step of pseudo-relevance feedback. The hypothesis is that using an expansion corpus organized into verticals for expanding the query, will lead to a more efficient query expansion process and improved retrieval effectiveness. Thus, the proposed query expansion method uses a distributed search architecture and resource selection algorithms to provide an efficient query expansion process. Experiments on the TREC Microblog datasets show that the proposed approach can match or outperform standard PRF in MAP and NDCG@30, with a computational cost that is three orders of magnitude lower.
△ Less
Submitted 8 October, 2018;
originally announced October 2018.
-
Towards Dynamic Computation Graphs via Sparse Latent Structure
Authors:
Vlad Niculae,
André F. T. Martins,
Claire Cardie
Abstract:
Deep NLP models benefit from underlying structures in the data---e.g., parse trees---typically extracted using off-the-shelf parsers. Recent attempts to jointly learn the latent structure encounter a tradeoff: either make factorization assumptions that limit expressiveness, or sacrifice end-to-end differentiability. Using the recently proposed SparseMAP inference, which retrieves a sparse distribu…
▽ More
Deep NLP models benefit from underlying structures in the data---e.g., parse trees---typically extracted using off-the-shelf parsers. Recent attempts to jointly learn the latent structure encounter a tradeoff: either make factorization assumptions that limit expressiveness, or sacrifice end-to-end differentiability. Using the recently proposed SparseMAP inference, which retrieves a sparse distribution over latent structures, we propose a novel approach for end-to-end learning of latent structure predictors jointly with a downstream predictor. To the best of our knowledge, our method is the first to enable unrestricted dynamic computation graph construction from the global latent structure, while maintaining differentiability.
△ Less
Submitted 3 September, 2018;
originally announced September 2018.
-
Contextual Neural Model for Translating Bilingual Multi-Speaker Conversations
Authors:
Sameen Maruf,
André F. T. Martins,
Gholamreza Haffari
Abstract:
Recent works in neural machine translation have begun to explore document translation. However, translating online multi-speaker conversations is still an open problem. In this work, we propose the task of translating Bilingual Multi-Speaker Conversations, and explore neural architectures which exploit both source and target-side conversation histories for this task. To initiate an evaluation for…
▽ More
Recent works in neural machine translation have begun to explore document translation. However, translating online multi-speaker conversations is still an open problem. In this work, we propose the task of translating Bilingual Multi-Speaker Conversations, and explore neural architectures which exploit both source and target-side conversation histories for this task. To initiate an evaluation for this task, we introduce datasets extracted from Europarl v7 and OpenSubtitles2016. Our experiments on four language-pairs confirm the significance of leveraging conversation history, both in terms of BLEU and manual evaluation.
△ Less
Submitted 2 September, 2018;
originally announced September 2018.
-
Fast spin exchange between two distant quantum dots
Authors:
Filip K. Malinowski,
Frederico Martins,
Thomas B. Smith,
Stephen D. Bartlett,
Andrew C. Doherty,
Peter D. Nissen,
Saeed Fallahi,
Geoffrey C. Gardner,
Michael J. Manfra,
Charles M. Marcus,
Ferdinand Kuemmeth
Abstract:
The Heisenberg exchange interaction between neighboring quantum dots allows precise voltage control over spin dynamics, due to the ability to precisely control the overlap of orbital wavefunctions by gate electrodes. This allows the study of fundamental electronic phenomena and finds applications in quantum information processing. Although spin-based quantum circuits based on short-range exchange…
▽ More
The Heisenberg exchange interaction between neighboring quantum dots allows precise voltage control over spin dynamics, due to the ability to precisely control the overlap of orbital wavefunctions by gate electrodes. This allows the study of fundamental electronic phenomena and finds applications in quantum information processing. Although spin-based quantum circuits based on short-range exchange interactions are possible, the development of scalable, longer-range coupling schemes constitutes a critical challenge within the spin-qubit community. Approaches based on capacitative coupling and cavity-mediated interactions effectively couple spin qubits to the charge degree of freedom, making them susceptible to electrically-induced decoherence. The alternative is to extend the range of the Heisenberg exchange interaction by means of a quantum mediator. Here, we show that a multielectron quantum dot with 50-100 electrons serves as an excellent mediator, preserving speed and coherence of the resulting spin-spin coupling while providing several functionalities that are of practical importance. These include speed (mediated two-qubit rates up to several gigahertz), distance (of order of a micrometer), voltage control, possibility of sweet spot operation (reducing susceptibility to charge noise), and reversal of the interaction sign (useful for dynamical decoupling from noise).
△ Less
Submitted 29 August, 2018;
originally announced August 2018.
-
Representations of the Loop Braid Group and Aharonov-Bohm like effects in discrete (3+1)-dimensional higher gauge theory
Authors:
Alex Bullivant,
João Faria Martins,
Paul Martin
Abstract:
We show that representations of the loop braid group arise from Aharonov-Bohm like effects in finite 2-group (3+1)-dimensional topological higher gauge theory. For this we introduce a minimal categorification of biracks, which we call W-bikoids (welded bikoids). Our main example of W-bikoids arises from finite 2-groups, realised as crossed modules of groups. Given a W-bikoid, and hence a groupoid…
▽ More
We show that representations of the loop braid group arise from Aharonov-Bohm like effects in finite 2-group (3+1)-dimensional topological higher gauge theory. For this we introduce a minimal categorification of biracks, which we call W-bikoids (welded bikoids). Our main example of W-bikoids arises from finite 2-groups, realised as crossed modules of groups. Given a W-bikoid, and hence a groupoid of symmetries, we construct a family of unitary representations of the loop braid group derived from representations of the groupoid algebra. We thus give a candidate for higher Bais' flux metamorphosis, and hence also a version of a `higher quantum group'.
△ Less
Submitted 19 December, 2018; v1 submitted 25 July, 2018;
originally announced July 2018.
-
Synthetic photometry of globular clusters: Uncertainties on synthetic colors
Authors:
F. Martins
Abstract:
Synthetic photometry is a great tool for studying globular clusters, especially for understanding the nature of their multiple populations. Our goal is to quantify the errors on synthetic photometry that are caused by uncertainties on stellar and observational/calibration parameters. These errors can be taken into account when building synthetic color-magnitude diagrams (CMDs) that are to be compa…
▽ More
Synthetic photometry is a great tool for studying globular clusters, especially for understanding the nature of their multiple populations. Our goal is to quantify the errors on synthetic photometry that are caused by uncertainties on stellar and observational/calibration parameters. These errors can be taken into account when building synthetic color-magnitude diagrams (CMDs) that are to be compared to observed CMDs. We have computed atmosphere models and synthetic spectra for two stars, Pollux and Procyon, that have stellar parameters typical of turn-off and bottom red giant branch stars in globular clusters. We then varied the effective temperature, surface gravity, microturbulence, the carbon, nitrogen, and oxygen abundances, and [Fe/H]. We quantified the effect on synthetic photometry in the following filters: Johnson UBVRI and HST F275W, F336W, F410M, F438W, F555W, F606W, and F814W. We estimated the effects of extinction, atmospheric correction, and of the Vega reference spectrum on the resulting photometry. We tested the ability of our models to reproduce the observed spectral energy distribution and observed photometry of the two stars. We show that variations are generally stronger in blue filters. Dispersions on synthetic colors due to uncertainties on stellar parameters vary between less than 0.01 and to 0.04 magnitude, depending on the choice of filters. Uncertainties on the zero points, the extinction law, or the atmospheric correction affect the resulting colors at a level of a few 0.01 magnitudes in a systematic way. The models reproduce the flux-calibrated spectral energy distribution of both stars well. Comparison between synthetic and observed UBVRI photometry shows a variable degree of (dis)agreement. The observed differences likely indicate that different calibration processes are performed to obtain respectively observed and synthetic photometry.
△ Less
Submitted 30 May, 2018;
originally announced May 2018.
-
Analysing Symbolic Regression Benchmarks under a Meta-Learning Approach
Authors:
Luiz Otavio Vilas Boas Oliveira,
Joao Francisco Barreto da Silva Martins,
Luis Fernando Miranda,
Gisele Lobo Pappa
Abstract:
The definition of a concise and effective testbed for Genetic Programming (GP) is a recurrent matter in the research community. This paper takes a new step in this direction, proposing a different approach to measure the quality of the symbolic regression benchmarks quantitatively. The proposed approach is based on meta-learning and uses a set of dataset meta-features---such as the number of examp…
▽ More
The definition of a concise and effective testbed for Genetic Programming (GP) is a recurrent matter in the research community. This paper takes a new step in this direction, proposing a different approach to measure the quality of the symbolic regression benchmarks quantitatively. The proposed approach is based on meta-learning and uses a set of dataset meta-features---such as the number of examples or output skewness---to describe the datasets. Our idea is to correlate these meta-features with the errors obtained by a GP method. These meta-features define a space of benchmarks that should, ideally, have datasets (points) covering different regions of the space. An initial analysis of 63 datasets showed that current benchmarks are concentrated in a small region of this benchmark space. We also found out that number of instances and output skewness are the most relevant meta-features to GP output error. Both conclusions can help define which datasets should compose an effective testbed for symbolic regression methods.
△ Less
Submitted 25 May, 2018;
originally announced May 2018.
-
Learning Classifiers with Fenchel-Young Losses: Generalized Entropies, Margins, and Algorithms
Authors:
Mathieu Blondel,
André F. T. Martins,
Vlad Niculae
Abstract:
This paper studies Fenchel-Young losses, a generic way to construct convex loss functions from a regularization function. We analyze their properties in depth, showing that they unify many well-known loss functions and allow to create useful new ones easily. Fenchel-Young losses constructed from a generalized entropy, including the Shannon and Tsallis entropies, induce predictive probability distr…
▽ More
This paper studies Fenchel-Young losses, a generic way to construct convex loss functions from a regularization function. We analyze their properties in depth, showing that they unify many well-known loss functions and allow to create useful new ones easily. Fenchel-Young losses constructed from a generalized entropy, including the Shannon and Tsallis entropies, induce predictive probability distributions. We formulate conditions for a generalized entropy to yield losses with a separation margin, and probability distributions with sparse support. Finally, we derive efficient algorithms, making Fenchel-Young losses appealing both in theory and practice.
△ Less
Submitted 22 February, 2019; v1 submitted 24 May, 2018;
originally announced May 2018.
-
Quantitative spectral classification of Galactic O stars
Authors:
F. Martins
Abstract:
Our goal is to provide a quantification of several spectral classification criteria for O stars. We collected high-spectral resolution spectra of 105 Galactic O-type stars from various archives. We measured equivalent widths of classification lines. We defined average values of classification criteria for given spectral types and luminosity classes. We find that the ratio HeI 4471 to HeII 4542 wel…
▽ More
Our goal is to provide a quantification of several spectral classification criteria for O stars. We collected high-spectral resolution spectra of 105 Galactic O-type stars from various archives. We measured equivalent widths of classification lines. We defined average values of classification criteria for given spectral types and luminosity classes. We find that the ratio HeI 4471 to HeII 4542 well matches the published ratios for spectral types. We have quantified equivalent width ratios of helium and silicon lines among O8-O9.7 stars to refine spectral class ty** in this spectral range. We present quantitative criteria to separate between luminosity class V, IV-III-II (grouped), and I among O3-O8.5 stars, mainly based on the strength of HeII 4686. We find that these criteria also define very well the f, (f), and ((f)) classes for O3-O7.5 stars. Among O9-O9.7 stars we quantify the ratios of HeII 4686 to HeI 4713 and SiIV 4089 to HeI 4026 for all luminosity classes. The tabulated values of the classification criteria should help classify any new O-type stars. The final step of the classification process should rely on a direct comparison to standard stars of the assigned spectral type and luminosity class.
△ Less
Submitted 21 May, 2018;
originally announced May 2018.
-
Sparse and Constrained Attention for Neural Machine Translation
Authors:
Chaitanya Malaviya,
Pedro Ferreira,
André F. T. Martins
Abstract:
In NMT, words are sometimes dropped from the source or generated repeatedly in the translation. We explore novel strategies to address the coverage problem that change only the attention transformation. Our approach allocates fertilities to source words, used to bound the attention each word can receive. We experiment with various sparse and constrained attention transformations and propose a new…
▽ More
In NMT, words are sometimes dropped from the source or generated repeatedly in the translation. We explore novel strategies to address the coverage problem that change only the attention transformation. Our approach allocates fertilities to source words, used to bound the attention each word can receive. We experiment with various sparse and constrained attention transformations and propose a new one, constrained sparsemax, shown to be differentiable and sparse. Empirical evaluation is provided in three languages pairs.
△ Less
Submitted 21 May, 2018;
originally announced May 2018.
-
Solving the Exponential Growth of Symbolic Regression Trees in Geometric Semantic Genetic Programming
Authors:
Joao Francisco B. S. Martins,
Luiz Otavio V. B. Oliveira,
Luis F. Miranda,
Felipe Casadei,
Gisele L. Pappa
Abstract:
Advances in Geometric Semantic Genetic Programming (GSGP) have shown that this variant of Genetic Programming (GP) reaches better results than its predecessor for supervised machine learning problems, particularly in the task of symbolic regression. However, by construction, the geometric semantic crossover operator generates individuals that grow exponentially with the number of generations, resu…
▽ More
Advances in Geometric Semantic Genetic Programming (GSGP) have shown that this variant of Genetic Programming (GP) reaches better results than its predecessor for supervised machine learning problems, particularly in the task of symbolic regression. However, by construction, the geometric semantic crossover operator generates individuals that grow exponentially with the number of generations, resulting in solutions with limited use. This paper presents a new method for individual simplification named GSGP with Reduced trees (GSGP-Red). GSGP-Red works by expanding the functions generated by the geometric semantic operators. The resulting expanded function is guaranteed to be a linear combination that, in a second step, has its repeated structures and respective coefficients aggregated. Experiments in 12 real-world datasets show that it is not only possible to create smaller and completely equivalent individuals in competitive computational time, but also to reduce the number of nodes composing them by 58 orders of magnitude, on average.
△ Less
Submitted 18 April, 2018;
originally announced April 2018.
-
The High Voltage distribution system of the ATLAS Tile Calorimeter and its performance during data taking
Authors:
D. Calvet,
S. Calvet,
R. Chadelas,
D. Cinca,
P. Grenier,
P. Gris,
P. Lafarguette,
D. Lambert,
M. Marjanović,
L. F. Oleiro Seabra,
F. M. Pedro Martins,
J. B. Pena Madeira Gouveia De Campos,
S. M. Romano Saez,
P. Rosnet,
C. Santoni,
L. Valéry,
F. Vazeille
Abstract:
This article documents the characteristics of the high voltage (HV) system of the hadronic calorimeter TileCal of the ATLAS experiment. Such a system is suitable to supply reliable power distribution into particles physics detectors using a large number of PhotoMultiplier Tubes (PMTs). Measurements performed during the 2015 and 2016 data taking periods of the ATLAS detector show that its performan…
▽ More
This article documents the characteristics of the high voltage (HV) system of the hadronic calorimeter TileCal of the ATLAS experiment. Such a system is suitable to supply reliable power distribution into particles physics detectors using a large number of PhotoMultiplier Tubes (PMTs). Measurements performed during the 2015 and 2016 data taking periods of the ATLAS detector show that its performance, in terms of stability and noise, fits the specifications. In particular, almost all the PMTs show a voltage instability smaller than 0.5 V corresponding to a gain stability better than 0.5%. A small amount of channels was found not working correctly. To diagnose the origin of such defects, the results of the HV measurements were compared to those obtained using a Laser system. The analysis shows that less than 0.2% of the about 10 thousand HV channels were malfunctioning.
△ Less
Submitted 16 August, 2018; v1 submitted 13 April, 2018;
originally announced April 2018.
-
Singularities of a surface given by Kenmotsu-type formula in Euclidean three-space
Authors:
Luciana F. Martins,
Kentaro Saji,
Keisuke Teramoto
Abstract:
We study singularities of surfaces which are given by Kenmotsu-type formula with prescribed unbounded mean curvature.
We study singularities of surfaces which are given by Kenmotsu-type formula with prescribed unbounded mean curvature.
△ Less
Submitted 8 April, 2019; v1 submitted 5 April, 2018;
originally announced April 2018.
-
Marian: Fast Neural Machine Translation in C++
Authors:
Marcin Junczys-Dowmunt,
Roman Grundkiewicz,
Tomasz Dwojak,
Hieu Hoang,
Kenneth Heafield,
Tom Neckermann,
Frank Seide,
Ulrich Germann,
Alham Fikri Aji,
Nikolay Bogoychev,
André F. T. Martins,
Alexandra Birch
Abstract:
We present Marian, an efficient and self-contained Neural Machine Translation framework with an integrated automatic differentiation engine based on dynamic computation graphs. Marian is written entirely in C++. We describe the design of the encoder-decoder framework and demonstrate that a research-friendly toolkit can achieve high training and translation speed.
We present Marian, an efficient and self-contained Neural Machine Translation framework with an integrated automatic differentiation engine based on dynamic computation graphs. Marian is written entirely in C++. We describe the design of the encoder-decoder framework and demonstrate that a research-friendly toolkit can achieve high training and translation speed.
△ Less
Submitted 4 April, 2018; v1 submitted 1 April, 2018;
originally announced April 2018.
-
Thermoelectric Scanning Gate Interferometry on a Quantum Point Contact
Authors:
B. Brun,
F. Martins,
S. Faniel,
A. Cavanna,
C. Ulysse,
A. Ouerghi,
U. Gennser,
D. Mailly,
P. Simon,
S. Huant,
M. Sanquer,
H. Sellier,
V. Bayot,
B. Hackens
Abstract:
We introduce a new scanning probe technique derived from scanning gate microscopy (SGM) in order to investigate thermoelectric transport in two-dimensional semiconductor devices. The thermoelectric scanning gate Microscopy (TSGM) consists in measuring the thermoelectric voltage induced by a temperature difference across a device, while scanning a polarized tip that locally changes the potential la…
▽ More
We introduce a new scanning probe technique derived from scanning gate microscopy (SGM) in order to investigate thermoelectric transport in two-dimensional semiconductor devices. The thermoelectric scanning gate Microscopy (TSGM) consists in measuring the thermoelectric voltage induced by a temperature difference across a device, while scanning a polarized tip that locally changes the potential landscape. We apply this technique to perform interferometry of the thermoelectric transport in a quantum point contact (QPC). We observe an interference pattern both in SGM and TSGM images, and evidence large differences between the two signals in the low density regime of the QPC. In particular, a large phase jump appears in the interference fringes recorded by TSGM, which is not visible in SGM. We discuss this difference of sensitivity using a microscopic model of the experiment, based on the contribution from a resonant level inside or close to the QPC. This work demonstrates that combining scanning gate microscopy with thermoelectric measurements offers new information as compared to SGM, and provides a direct access to the derivative of the device transmission with respect to energy, both in amplitude and in phase.
△ Less
Submitted 15 March, 2019; v1 submitted 30 March, 2018;
originally announced April 2018.
-
The Arches cluster revisited: I. Data presentation and stellar census
Authors:
J. S. Clark,
M. E. Lohr,
F. Najarro,
H. Dong,
F. Martins
Abstract:
Located within the central region of the Galaxy, the Arches cluster appears to be one of the youngest, densest and most massive stellar aggregates within the Milky Way. As such it has the potential to be a uniquely instructive laboratory for the study of star formation in extreme environments and the physics of very massive stars. In order to determine the fundamental physical properties of both c…
▽ More
Located within the central region of the Galaxy, the Arches cluster appears to be one of the youngest, densest and most massive stellar aggregates within the Milky Way. As such it has the potential to be a uniquely instructive laboratory for the study of star formation in extreme environments and the physics of very massive stars. In order to determine the fundamental physical properties of both cluster and constituent stars, we provide and analyse new HST+VLT near-IR datasets. Stacking multiple epochs of spectroscopy results in the deepest view of the cluster ever obtained, allowing us to to identify candidate giant and main sequence stars for the first time. All cluster members are found to be WNLh or O stars, with the smooth and continuous progression in spectral morphologies from O super-/hypergiants through to the WNLh cohort implying a direct evolutionary connection. Importantly no H-free Wolf-Rayets are found, while no products of binary interaction/mass-transfer may be unambiguously identified, despite the presence of massive binaries within the Arches. We infer a main sequence turn-off around O4-5V, corresponding to ~30-38Msun, while the eclipsing binary F2 implies current masses of ~80Msun and ~60Msun for the WNLh and O hypergiant cohorts, respectively. A cluster age of ~2-3Myr is suggested by the location of the main-sequence turn-off. While the absence of H-free Wolf-Rayets argues against the prior occurrence of SNe, such an age does accommodate such events for exceptionally massive stars. Future progress requires quantitative analysis of cluster members combined with additional spectroscopic observations to better constrain the binary population; nevertheless it is already abundantly clear that the Arches offers an unprecedented insight into the formation, evolution and death of the most massive stars Nature allows to form in the local universe (Abridged).
△ Less
Submitted 26 March, 2018;
originally announced March 2018.
-
SparseMAP: Differentiable Sparse Structured Inference
Authors:
Vlad Niculae,
André F. T. Martins,
Mathieu Blondel,
Claire Cardie
Abstract:
Structured prediction requires searching over a combinatorial number of structures. To tackle it, we introduce SparseMAP: a new method for sparse structured inference, and its natural loss function. SparseMAP automatically selects only a few global structures: it is situated between MAP inference, which picks a single structure, and marginal inference, which assigns probability mass to all structu…
▽ More
Structured prediction requires searching over a combinatorial number of structures. To tackle it, we introduce SparseMAP: a new method for sparse structured inference, and its natural loss function. SparseMAP automatically selects only a few global structures: it is situated between MAP inference, which picks a single structure, and marginal inference, which assigns probability mass to all structures, including implausible ones. Importantly, SparseMAP can be computed using only calls to a MAP oracle, making it applicable to problems with intractable marginal inference, e.g., linear assignment. Sparsity makes gradient backpropagation efficient regardless of the structure, enabling us to augment deep neural networks with generic and sparse structured hidden layers. Experiments in dependency parsing and natural language inference reveal competitive accuracy, improved interpretability, and the ability to capture natural language ambiguities, which is attractive for pipeline systems.
△ Less
Submitted 20 June, 2018; v1 submitted 12 February, 2018;
originally announced February 2018.
-
The dynamical structure of political corruption networks
Authors:
Haroldo V. Ribeiro,
Luiz G. A. Alves,
Alvaro F. Martins,
Ervin K. Lenzi,
Matjaz Perc
Abstract:
Corruptive behaviour in politics limits economic growth, embezzles public funds, and promotes socio-economic inequality in modern democracies. We analyse well-documented political corruption scandals in Brazil over the past 27 years, focusing on the dynamical structure of networks where two individuals are connected if they were involved in the same scandal. Our research reveals that corruption ru…
▽ More
Corruptive behaviour in politics limits economic growth, embezzles public funds, and promotes socio-economic inequality in modern democracies. We analyse well-documented political corruption scandals in Brazil over the past 27 years, focusing on the dynamical structure of networks where two individuals are connected if they were involved in the same scandal. Our research reveals that corruption runs in small groups that rarely comprise more than eight people, in networks that have hubs and a modular structure that encompasses more than one corruption scandal. We observe abrupt changes in the size of the largest connected component and in the degree distribution, which are due to the coalescence of different modules when new scandals come to light or when governments change. We show further that the dynamical structure of political corruption networks can be used for successfully predicting partners in future scandals. We discuss the important role of network science in detecting and mitigating political corruption.
△ Less
Submitted 5 January, 2018;
originally announced January 2018.
-
Singular surfaces of revolution with prescribed unbounded mean curvature
Authors:
Luciana F. Martins,
Kentaro Saji,
Samuel P. dos Santos,
Keisuke Teramoto
Abstract:
We give an explicit formula for singular surfaces of revolution with prescribed unbounded mean curvature. Using it, we give conditions for singularities of that surfaces. Periodicity of that surface is also discussed.
We give an explicit formula for singular surfaces of revolution with prescribed unbounded mean curvature. Using it, we give conditions for singularities of that surfaces. Periodicity of that surface is also discussed.
△ Less
Submitted 10 April, 2018; v1 submitted 20 December, 2017;
originally announced December 2017.
-
Topological Line Defects around Graphene Nanopores for DNA Sequencing
Authors:
Jariyanee Prasongkit,
Ernane F. Martins,
Fábio A. L. de Souza,
Wanderlã L. Scopel,
Rodrigo G. Amorim,
Vittaya Amornkitbamrung,
Alexandre R. Rocha,
Ralph H. Scheicher
Abstract:
Topological line defects in graphene represent an ideal way to produce highly controlled structures with reduced dimensionality that can be used in electronic devices. In this work we propose using extended line defects in graphene to improve nucleobase selectivity in nanopore-based DNA sequencing devices. We use a combination of QM/MM and non-equilibrium Green's functions methods to investigate t…
▽ More
Topological line defects in graphene represent an ideal way to produce highly controlled structures with reduced dimensionality that can be used in electronic devices. In this work we propose using extended line defects in graphene to improve nucleobase selectivity in nanopore-based DNA sequencing devices. We use a combination of QM/MM and non-equilibrium Green's functions methods to investigate the conductance modulation, fully accounting for solvent effects. By sampling over a large number of different orientations generated from molecular dynamics simulations, we theoretically demonstrate that distinguishing between the four nucleobases using line defects in a graphene-based electronic device appears possible. The changes in conductance are associated with transport across specific molecular states near the Fermi level and their coupling to the pore. Through the application of a specifically tuned gate voltage, such a device would be able to discriminate the four types of nucleobases more reliably than that of graphene sensors without topological line defects.
△ Less
Submitted 6 December, 2017;
originally announced December 2017.
-
Spin of a multielectron quantum dot and its interaction with a neighboring electron
Authors:
Filip K. Malinowski,
Frederico Martins,
Thomas B. Smith,
Stephen D. Bartlett,
Andrew C. Doherty,
Peter D. Nissen,
Saeed Fallahi,
Geoffrey C. Gardner,
Michael J. Manfra,
Charles M. Marcus,
Ferdinand Kuemmeth
Abstract:
We investigate the spin of a multielectron GaAs quantum dot in a sequence of nine charge occupancies, by exchange coupling the multielectron dot to a neighboring two-electron double quantum dot. For all nine occupancies, we make use of a leakage spectroscopy technique to reconstruct the spectrum of spin states in the vicinity of the interdot charge transition between a single- and a multielectron…
▽ More
We investigate the spin of a multielectron GaAs quantum dot in a sequence of nine charge occupancies, by exchange coupling the multielectron dot to a neighboring two-electron double quantum dot. For all nine occupancies, we make use of a leakage spectroscopy technique to reconstruct the spectrum of spin states in the vicinity of the interdot charge transition between a single- and a multielectron quantum dot. In the same regime we also perform time-resolved measurements of coherent exchange oscillations between the single- and multielectron quantum dot. With these measurements, we identify distinct characteristics of the multielectron spin state, depending on whether the dot's occupancy is even or odd. For three out of four even occupancies we do not observe any exchange interaction with the single quantum dot, indicating a spin-0 ground state. For the one remaining even occupancy, we observe an exchange interaction that we associate with a spin-1 multielectron quantum dot ground state. For all five of the odd occupancies, we observe an exchange interaction associated with a spin-1/2 ground state. For three of these odd occupancies, we clearly demonstrate that the exchange interaction changes sign in the vicinity of the charge transition. For one of these, the exchange interaction is negative (i.e. triplet-preferring) beyond the interdot charge transition, consistent with the observed spin-1 for the next (even) occupancy. Our experimental results are interpreted through the use of a Hubbard model involving two orbitals of the multielectron quantum dot. Allowing for the spin correlation energy (i.e. including a term favoring Hund's rules) and different tunnel coupling to different orbitals, we qualitatively reproduce the measured exchange profiles for all occupancies.
△ Less
Submitted 27 October, 2017;
originally announced October 2017.
-
Properties of six short-period massive binaries: a study of the effects of binarity on surface chemical abundances
Authors:
Fabrice Martins,
Laurent Mahy,
Anthony Hervé
Abstract:
A significant fraction of massive stars are found in multiple systems. The effect of binarity on stellar evolution is poorly constrained. In particular, the role of tides and mass transfer on surface chemical abundances is not constrained observationally. The aim of this study is to investigate the effect of binarity on the stellar properties and surface abundances of massive binaries. We perform…
▽ More
A significant fraction of massive stars are found in multiple systems. The effect of binarity on stellar evolution is poorly constrained. In particular, the role of tides and mass transfer on surface chemical abundances is not constrained observationally. The aim of this study is to investigate the effect of binarity on the stellar properties and surface abundances of massive binaries. We perform a spectroscopic analysis of six Galactic massive binaries. The spectra of individual components are obtained from a spectral disentangling method and are subsequently analyzed by means of atmosphere models. The stellar parameters and CNO surface abundances are determined. Most systems are made of main-sequence stars. Three systems are detached, two are in contact and no information is available for the sixth system. For eleven out of the twelve stars studied the surface abundances are only mildly affected by stellar evolution and mixing. They are not different from those of single stars, within the uncertainties. The secondary of XZ~Cep is strongly chemically enriched. Considering previous determinations of surface abundance in massive binary systems suggests that the effect of tides on chemical mixing is limited, whereas mass transfer and removal of outer layers of the mass donor leads to the appearance of chemically processed material at the surface, although this is not systematic. The evolutionary masses of the components of our six systems are on average 16.5% higher than the dynamical masses. Some systems seem to have reached synchronization, while others may still be in a transitory phase.
△ Less
Submitted 4 September, 2017;
originally announced September 2017.
-
Twelve years of spectroscopic monitoring in the Galactic Center: the closest look at S-stars near the black hole
Authors:
M. Habibi,
S. Gillessen,
F. Martins,
F. Eisenhauer,
P. M. Plewa,
O. Pfuhl,
E. George,
J. Dexter,
I. Waisberg,
T. Ott,
S. von Fellenberg,
M. Bauboeck,
A. Jimenez-Rosales,
R. Genzel
Abstract:
We study the young S-stars within a distance of 0.04 pc from the supermassive black hole in the center of our Galaxy. Given how inhospitable the region is for star formation, their presence is more puzzling the younger we estimate their ages. In this study, we analyse the result of 12 years of high resolution spectroscopy within the central arcsecond of the Galactic Center (GC). By co-adding betwe…
▽ More
We study the young S-stars within a distance of 0.04 pc from the supermassive black hole in the center of our Galaxy. Given how inhospitable the region is for star formation, their presence is more puzzling the younger we estimate their ages. In this study, we analyse the result of 12 years of high resolution spectroscopy within the central arcsecond of the Galactic Center (GC). By co-adding between 55 and 105 hours of spectra we have obtained high signal to noise H- and K-band spectra of eight stars orbiting the central supermassive black hole. Using deep H-band spectra, we show that these stars must be high surface gravity (dwarf) stars. We compare these deep spectra to detailed model atmospheres and stellar evolution models to infer the stellar parameters. Our analysis reveals an effective temperature of 21000-28500 K, a rotational velocity of 60-170 km/s, and a surface gravity of 4.1-4.2. These parameters imply a spectral type of B0-B3V for these stars. The inferred masses lie within 8-14 Msun. We derive an age of 6.6^{+3.4}{-4.7} Myr for the star S2, which is compatible with the age of the clockwise rotating young stellar disk in the GC. We estimate the age of all other studied S-stars to be less than 15 Myr, which are compatible with the age of S2 within the uncertainties. The relatively low ages for these S-stars favor a scenario in which the stars formed in a local disk rather than the field-binary-disruption scenario throughout a longer period of time.
△ Less
Submitted 21 August, 2017;
originally announced August 2017.
-
How Noisy Data Affects Geometric Semantic Genetic Programming
Authors:
Luis F. Miranda,
Luiz Otavio V. B. Oliveira,
Joao Francisco B. S. Martins,
Gisele L. Pappa
Abstract:
Noise is a consequence of acquiring and pre-processing data from the environment, and shows fluctuations from different sources---e.g., from sensors, signal processing technology or even human error. As a machine learning technique, Genetic Programming (GP) is not immune to this problem, which the field has frequently addressed. Recently, Geometric Semantic Genetic Programming (GSGP), a semantic-a…
▽ More
Noise is a consequence of acquiring and pre-processing data from the environment, and shows fluctuations from different sources---e.g., from sensors, signal processing technology or even human error. As a machine learning technique, Genetic Programming (GP) is not immune to this problem, which the field has frequently addressed. Recently, Geometric Semantic Genetic Programming (GSGP), a semantic-aware branch of GP, has shown robustness and high generalization capability. Researchers believe these characteristics may be associated with a lower sensibility to noisy data. However, there is no systematic study on this matter. This paper performs a deep analysis of the GSGP performance over the presence of noise. Using 15 synthetic datasets where noise can be controlled, we added different ratios of noise to the data and compared the results obtained with those of a canonical GP. The results show that, as we increase the percentage of noisy instances, the generalization performance degradation is more pronounced in GSGP than GP. However, in general, GSGP is more robust to noise than GP in the presence of up to 10% of noise, and presents no statistical difference for values higher than that in the test bed.
△ Less
Submitted 4 July, 2017;
originally announced July 2017.
-
Negative spin exchange in a multielectron quantum dot
Authors:
Frederico Martins,
Filip K. Malinowski,
Peter D. Nissen,
Saeed Fallahi,
Geoffrey C. Gardner,
Michael J. Manfra,
Charles M. Marcus,
Ferdinand Kuemmeth
Abstract:
By operating a one-electron quantum dot (fabricated between a multielectron dot and a one-electron reference dot) as a spectroscopic probe, we study the spin properties of a gate-controlled multielectron GaAs quantum dot at the transition between odd and even occupation number. We observe that the multielectron groundstate transitions from spin-1/2-like to singlet-like to triplet-like as we increa…
▽ More
By operating a one-electron quantum dot (fabricated between a multielectron dot and a one-electron reference dot) as a spectroscopic probe, we study the spin properties of a gate-controlled multielectron GaAs quantum dot at the transition between odd and even occupation number. We observe that the multielectron groundstate transitions from spin-1/2-like to singlet-like to triplet-like as we increase the detuning towards the next higher charge state. The sign reversal in the inferred exchange energy persists at zero magnetic field, and the exchange strength is tunable by gate voltages and in-plane magnetic fields. Complementing spin leakage spectroscopy data, the inspection of coherent multielectron spin exchange oscillations provides further evidence for the sign reversal and, inferentially, for the importance of non-trivial multielectron spin exchange correlations.
△ Less
Submitted 3 June, 2017;
originally announced June 2017.
-
Inferring Types for Parallel Programs
Authors:
Francisco Martins,
Vasco Thudichum Vasconcelos,
Hans Hüttel
Abstract:
The Message Passing Interface (MPI) framework is widely used in implementing imperative pro- grams that exhibit a high degree of parallelism. The PARTYPES approach proposes a behavioural type discipline for MPI-like programs in which a type describes the communication protocol followed by the entire program. Well-typed programs are guaranteed to be exempt from deadlocks. In this paper we describe…
▽ More
The Message Passing Interface (MPI) framework is widely used in implementing imperative pro- grams that exhibit a high degree of parallelism. The PARTYPES approach proposes a behavioural type discipline for MPI-like programs in which a type describes the communication protocol followed by the entire program. Well-typed programs are guaranteed to be exempt from deadlocks. In this paper we describe a type inference algorithm for a subset of the original system; the algorithm allows to statically extract a type for an MPI program from its source code.
△ Less
Submitted 10 April, 2017;
originally announced April 2017.
-
Symmetric Operation of the Resonant Exchange Qubit
Authors:
Filip K. Malinowski,
Frederico Martins,
Peter D. Nissen,
Saeed Fallahi,
Geoffrey C. Gardner,
Michael J. Manfra,
Charles M. Marcus,
Ferdinand Kuemmeth
Abstract:
We operate a resonant exchange qubit in a highly symmetric triple-dot configuration using IQ-modulated RF pulses. At the resulting three-dimensional sweet spot the qubit splitting is an order of magnitude less sensitive to all relevant control voltages, compared to the conventional operating point, but we observe no significant improvement in the quality of Rabi oscillations. For weak driving this…
▽ More
We operate a resonant exchange qubit in a highly symmetric triple-dot configuration using IQ-modulated RF pulses. At the resulting three-dimensional sweet spot the qubit splitting is an order of magnitude less sensitive to all relevant control voltages, compared to the conventional operating point, but we observe no significant improvement in the quality of Rabi oscillations. For weak driving this is consistent with Overhauser field fluctuations modulating the qubit splitting. For strong driving we infer that effective voltage noise modulates the coupling strength between RF drive and the qubit, thereby quickening Rabi decay. Application of CPMG dynamical decoupling sequences consisting of up to n = 32 π pulses significantly prolongs qubit coherence, leading to marginally longer dephasing times in the symmetric configuration. This is consistent with dynamical decoupling from low frequency noise, but quantitatively cannot be explained by effective gate voltage noise and Overhauser field fluctuations alone. Our results inform recent strategies for the utilization of partial sweet spots in the operation and long-distance coupling of triple-dot qubits.
△ Less
Submitted 5 April, 2017;
originally announced April 2017.
-
Higher lattices, discrete two-dimensional holonomy and topological phases in (3+1) D with higher gauge symmetry
Authors:
Alex Bullivant,
Marcos Calcada,
Zoltán Kádár,
João Faria Martins,
Paul Martin
Abstract:
Higher gauge theory is a higher order version of gauge theory that makes possible the definition of 2-dimensional holonomy along surfaces embedded in a manifold where a gauge 2-connection is present. In this paper, we will continue the study of Hamiltonian models for discrete higher gauge theory on a lattice decomposition of a manifold. In particular, we show that a previously proposed constructio…
▽ More
Higher gauge theory is a higher order version of gauge theory that makes possible the definition of 2-dimensional holonomy along surfaces embedded in a manifold where a gauge 2-connection is present. In this paper, we will continue the study of Hamiltonian models for discrete higher gauge theory on a lattice decomposition of a manifold. In particular, we show that a previously proposed construction for higher lattice gauge theory is well-defined, including in particular a Hamiltonian for topological phases of matter in 3+1 dimensions. Our construction builds upon the Kitaev quantum double model, replacing the finite gauge connection with a finite gauge 2-group 2-connection. Our Hamiltonian higher lattice gauge theory model is defined on spatial manifolds of arbitrary dimension presented by slightly {\it combinatorialised} CW-decompositions (2-lattice decompositions), whose 1-cells and 2-cells carry discrete 1-dimensional and 2-dimensional holonomy data. We prove that the ground-state degeneracy of Hamiltonian higher lattice gauge theory is a topological invariant of manifolds, coinciding with the number of homotopy classes of maps from the manifold to the classifying space of the underlying gauge 2-group.
The operators of our Hamiltonian model are closely related to discrete 2-dimensional holonomy operators for discretised 2-connections on manifolds with a 2-lattice decomposition. We therefore address the definition of discrete 2-dimensional holonomy for surfaces embedded in 2-lattices. Several results concerning the well-definedness of discrete 2-dimensional holonomy, and its construction in a combinatorial and algebraic topological setting are presented.
△ Less
Submitted 28 July, 2018; v1 submitted 2 February, 2017;
originally announced February 2017.
-
Spectrum of the Nuclear Environment for GaAs Spin Qubits
Authors:
Filip K. Malinowski,
Frederico Martins,
Łukasz Cywiński,
Mark S. Rudner,
Peter D. Nissen,
Saeed Fallahi,
Geoffrey C. Gardner,
Michael J. Manfra,
Charles M. Marcus,
Ferdinand Kuemmeth
Abstract:
Using a singlet-triplet spin qubit as a sensitive spectrometer of the GaAs nuclear spin bath, we demonstrate that the spectrum of Overhauser noise agrees with a classical spin diffusion model over six orders of magnitude in frequency, from 1 mHz to 1 kHz, is flat below 10 mHz, and falls as $1/f^2$ for frequency $f \! \gtrsim \! 1$ Hz. Increasing the applied magnetic field from 0.1 T to 0.75 T supp…
▽ More
Using a singlet-triplet spin qubit as a sensitive spectrometer of the GaAs nuclear spin bath, we demonstrate that the spectrum of Overhauser noise agrees with a classical spin diffusion model over six orders of magnitude in frequency, from 1 mHz to 1 kHz, is flat below 10 mHz, and falls as $1/f^2$ for frequency $f \! \gtrsim \! 1$ Hz. Increasing the applied magnetic field from 0.1 T to 0.75 T suppresses electron-mediated spin diffusion, which decreases spectral content in the $1/f^2$ region and lowers the saturation frequency, each by an order of magnitude, consistent with a numerical model. Spectral content at megahertz frequencies is accessed using dynamical decoupling, which shows a crossover from the few-pulse regime ($\lesssim \! 16$ $π$-pulses), where transverse Overhauser fluctuations dominate dephasing, to the many-pulse regime ($\gtrsim \! 32$ $π$-pulses), where longitudinal Overhauser fluctuations with a $1/f$ spectrum dominate.
△ Less
Submitted 5 May, 2017; v1 submitted 7 January, 2017;
originally announced January 2017.
-
Early-type massive stars in Carina Nebula within the Gaia-ESO Survey
Authors:
S. R. Berlanas,
A. Herrero,
F. Martins,
S. Simón-Díaz,
L. Mahy,
R. Blomme,
the GES WG-13
Abstract:
The Gaia-ESO Survey (GES) is obtaining high quality spectra of $\sim$10$^{5}$ stars in our Galaxy, providing an homogeneous and unique overview of all the main components of the Milky Way, its formation history and the evolution of young, mature and ancient Galactic populations. Our group is in charge of the early-type massive stars that define the youngest population in the survey. In this contri…
▽ More
The Gaia-ESO Survey (GES) is obtaining high quality spectra of $\sim$10$^{5}$ stars in our Galaxy, providing an homogeneous and unique overview of all the main components of the Milky Way, its formation history and the evolution of young, mature and ancient Galactic populations. Our group is in charge of the early-type massive stars that define the youngest population in the survey. In this contribution, we present the results of the quantitative spectroscopic analysis of O-type stars in the Carina Nebula within the Gaia-ESO Survey. For this aim, we have used FASTWIND and CMFGEN stellar atmosphere codes, providing stellar parameters for the current sample (GES data release iDR4).
△ Less
Submitted 16 December, 2016; v1 submitted 15 December, 2016;
originally announced December 2016.
-
Link invariants from finite categorical groups
Authors:
Joao Faria Martins,
Roger Picken
Abstract:
We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks, quandles, rack and quandle cocycles, and central extensions of groups. We prove that our construction includes all rack and quandle cohomology (framed) link invariant…
▽ More
We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks, quandles, rack and quandle cocycles, and central extensions of groups. We prove that our construction includes all rack and quandle cohomology (framed) link invariants, as well as the Eisermann invariant of knots. We construct a class of Reidemeister pairs which constitute a lifting of the Eisermann invariant, and show through an example that this class is strictly stronger than the Eisermann invariant itself.
△ Less
Submitted 11 December, 2016;
originally announced December 2016.
-
Spectroscopic evolution of massive stars on the main sequence
Authors:
F. Martins,
A. Palacios
Abstract:
We provide an observational view of evolutionary models in the Hertzsprung--Russell diagram, on the main sequence. For that we computed evolutionary models with the code STAREVOL for 15 < M/Msun < 100. We subsequently calculated atmosphere models at specific points along the evolutionary tracks, using the code CMFGEN. Synthetic spectra obtained in this way were classified as if they were observati…
▽ More
We provide an observational view of evolutionary models in the Hertzsprung--Russell diagram, on the main sequence. For that we computed evolutionary models with the code STAREVOL for 15 < M/Msun < 100. We subsequently calculated atmosphere models at specific points along the evolutionary tracks, using the code CMFGEN. Synthetic spectra obtained in this way were classified as if they were observational data. We tested our spectral classification by comparison to observed spectra of various stars. We also compared our results with empirical data of a large number of OB stars. We obtain spectroscopic sequences along evolutionary tracks. In our computations, the earliest O stars (O2-3.5) appear only above ~50 Msun. For later spectral types, a similar mass limit exists, but is lower. A luminosity class V does not correspond to the entire main sequence. This only holds for the 15 Msun track. As mass increases, a larger portion of the main sequence is spent in luminosity class III. Above 50 Msun, supergiants appear before the end of core-hydrogen burning. Dwarf stars do not occur on the zero-age main sequence above 80 Msun. Consequently, the distribution of luminosity class V in the HR diagram cannot be used to constrain the size of the convective core. The distribution of dwarfs and giants in the HR diagram agrees well with the location of stars analyzed by means of quantitative spectroscopy. For supergiants, there is a slight discrepancy in the sense that luminosity class I is observed slightly earlier than our predictions. This is mainly due to wind densities that affect the luminosity class diagnostic lines. We predict an upper mass limit for dwarf stars (~60 Msun) that is found consistent with the rarity of O2V stars in the Galaxy. Stars with WNh spectral type are not predicted by our models. Stronger winds are required to produce the characteristic emission lines of these objects.
△ Less
Submitted 9 December, 2016;
originally announced December 2016.
-
A study of the effect of rotational mixing on massive stars evolution: surface abundances of Galactic O7-8 giant stars
Authors:
F. Martins,
S. Simon-Diaz,
R. H. Barba,
R. C. Gamen,
S. Ekstroem
Abstract:
Massive star evolution remains only partly constrained. In particular, the exact role of rotation has been questioned by puzzling properties of OB stars in the Magellanic Clouds. Our goal is to study the relation between surface chemical composition and rotational velocity, and to test predictions of evolutionary models including rotation. We have performed a spectroscopic analysis of a sample of…
▽ More
Massive star evolution remains only partly constrained. In particular, the exact role of rotation has been questioned by puzzling properties of OB stars in the Magellanic Clouds. Our goal is to study the relation between surface chemical composition and rotational velocity, and to test predictions of evolutionary models including rotation. We have performed a spectroscopic analysis of a sample of fifteen Galactic O7-8 giant stars. This sample is homogeneous in terms of mass, metallicity and evolutionary state. It is made of stars with a wide range of projected rotational velocities. We show that the sample stars are located on the second half of the main sequence, in a relatively narrow mass range (25-40 Msun). Almost all stars with projected rotational velocities above 100 km/s have N/C ratios about ten times the initial value. Below 100 km/s a wide range of N/C values is observed. The relation between N/C and surface gravity is well reproduced by various sets of models. Some evolutionary models including rotation are also able to consistently explain slowly rotating, highly enriched stars. This is due to differential rotation which efficiently transports nucleosynthesis products and allows the surface to rotate slower than the core. In addition, angular momentum removal by winds amplifies surface braking on the main sequence. Comparison of the surface composition of O7-8 giant stars with a sample of B stars with initial masses about four times smaller reveal that chemical enrichment scales with initial mass, as expected from theory. Although evolutionary models that include rotation face difficulties in explaining the chemical properties of O- and B-type stars at low metallicity, some of them can consistently account for the properties of main-sequence Galactic O stars in the mass range 25-40 Msun
△ Less
Submitted 16 November, 2016;
originally announced November 2016.
-
Geometry of cuspidal edges with boundary
Authors:
Luciana F. Martins,
Kentaro Saji
Abstract:
We study differential geometric properties of cuspidal edges with boundary. There are several differential geometric invariants which are related with the behavior of the boundary in addition to usual differential geometric invariants of cuspidal edges. We study the relation of these invariants with several other invariants.
We study differential geometric properties of cuspidal edges with boundary. There are several differential geometric invariants which are related with the behavior of the boundary in addition to usual differential geometric invariants of cuspidal edges. We study the relation of these invariants with several other invariants.
△ Less
Submitted 31 October, 2016;
originally announced October 2016.
-
Topological phases from higher gauge symmetry in 3+1D
Authors:
Alex Bullivant,
Marcos Calçada,
Zoltán Kádár,
Paul Martin,
João Faria Martins
Abstract:
We propose an exactly solvable Hamiltonian for topological phases in $3+1$ dimensions utilising ideas from higher lattice gauge theory, where the gauge symmetry is given by a finite 2-group. We explicitly show that the model is a Hamiltonian realisation of Yetter's homotopy 2-type topological quantum field theory whereby the groundstate projector of the model defined on the manifold $M^3$ is given…
▽ More
We propose an exactly solvable Hamiltonian for topological phases in $3+1$ dimensions utilising ideas from higher lattice gauge theory, where the gauge symmetry is given by a finite 2-group. We explicitly show that the model is a Hamiltonian realisation of Yetter's homotopy 2-type topological quantum field theory whereby the groundstate projector of the model defined on the manifold $M^3$ is given by the partition function of the underlying topological quantum field theory for $M^3\times [0,1]$. We show that this result holds in any dimension and illustrate it by computing the ground state degeneracy for a selection of spatial manifolds and 2-groups. As an application we show that a subset of our model is dual to a class of Abelian Walker-Wang models describing $3+1$ dimensional topological insulators.
△ Less
Submitted 22 September, 2016; v1 submitted 21 June, 2016;
originally announced June 2016.
-
Electron phase shift at the zero-bias anomaly of quantum point contacts
Authors:
B. Brun,
F. Martins,
S. Faniel,
B. Hackens,
A. Cavanna,
C. Ulysse,
A. Ouerghi,
U. Gennser,
D. Mailly,
P. Simon,
S. Huant,
V. Bayot,
M. Sanquer,
H. Sellier
Abstract:
The Kondo effect is the many-body screening of a local spin by a cloud of electrons at very low temperature. It has been proposed as an explanation of the zero-bias anomaly in quantum point contacts where interactions drive a spontaneous charge localization. However, the Kondo origin of this anomaly remains under debate, and additional experimental evidence is necessary. Here we report on the firs…
▽ More
The Kondo effect is the many-body screening of a local spin by a cloud of electrons at very low temperature. It has been proposed as an explanation of the zero-bias anomaly in quantum point contacts where interactions drive a spontaneous charge localization. However, the Kondo origin of this anomaly remains under debate, and additional experimental evidence is necessary. Here we report on the first phase-sensitive measurement of the zero-bias anomaly in quantum point contacts using a scanning gate microscope to create an electronic interferometer. We observe an abrupt shift of the interference fringes by half a period in the bias range of the zero-bias anomaly, a behavior which cannot be reproduced by single-particle models. We instead relate it to the phase shift experienced by electrons scattering off a Kondo system. Our experiment therefore provides new evidence of this many-body effect in quantum point contacts.
△ Less
Submitted 29 March, 2016;
originally announced March 2016.
-
Surface abundances of OC supergiants
Authors:
F. Martins,
S. Foschino,
J. -C. Bouret,
R. Barba,
I. Howarth
Abstract:
Some O and B stars show unusually strong or weak lines of carbon and/or nitrogen. These objects are classified as OBN or OBC stars. It has recently been shown that nitrogen enrichment and carbon depletion are the most likely explanations for the existence of the ON class. We investigate OC stars (all being supergiants) to check that surface abundances are responsible for the observed anomalous lin…
▽ More
Some O and B stars show unusually strong or weak lines of carbon and/or nitrogen. These objects are classified as OBN or OBC stars. It has recently been shown that nitrogen enrichment and carbon depletion are the most likely explanations for the existence of the ON class. We investigate OC stars (all being supergiants) to check that surface abundances are responsible for the observed anomalous line strengths. We perform a spectroscopic analysis of three OC supergiants using atmosphere models. A fourth star was previously studied by us. Our sample thus comprises all OC stars known to date in the Galaxy. We determine the stellar parameters and He, C, N, and O surface abundances. We show that all stars have effective temperatures and surface gravities fully consistent with morphologically normal O supergiants. However, OC stars show little, if any, nitrogen enrichment and carbon surface abundances consistent with the initial composition. OC supergiants are thus barely chemically evolved, unlike morphologically normal O supergiants.
△ Less
Submitted 7 March, 2016;
originally announced March 2016.
-
Barbara Made the News: Mining the Behavior of Crowds for Time-Aware Learning to Rank
Authors:
Flávio Martins,
João Magalhães,
Jamie Callan
Abstract:
In Twitter, and other microblogging services, the generation of new content by the crowd is often biased towards immediacy: what is happening now. Prompted by the propagation of commentary and information through multiple mediums, users on the Web interact with and produce new posts about newsworthy topics and give rise to trending topics. This paper proposes to leverage on the behavioral dynamics…
▽ More
In Twitter, and other microblogging services, the generation of new content by the crowd is often biased towards immediacy: what is happening now. Prompted by the propagation of commentary and information through multiple mediums, users on the Web interact with and produce new posts about newsworthy topics and give rise to trending topics. This paper proposes to leverage on the behavioral dynamics of users to estimate the most relevant time periods for a topic. Our hypothesis stems from the fact that when a real-world event occurs it usually has peak times on the Web: a higher volume of tweets, new visits and edits to related Wikipedia articles, and news published about the event. In this paper, we propose a novel time-aware ranking model that leverages on multiple sources of crowd signals. Our approach builds on two major novelties. First, a unifying approach that given query q, mines and represents temporal evidence from multiple sources of crowd signals. This allows us to predict the temporal relevance of documents for query q. Second, a principled retrieval model that integrates temporal signals in a learning to rank framework, to rank results according to the predicted temporal relevance. Evaluation on the TREC 2013 and 2014 Microblog track datasets demonstrates that the proposed model achieves a relative improvement of 13.2% over lexical retrieval models and 6.2% over a learning to rank baseline.
△ Less
Submitted 9 February, 2016;
originally announced February 2016.
-
From Softmax to Sparsemax: A Sparse Model of Attention and Multi-Label Classification
Authors:
André F. T. Martins,
Ramón Fernandez Astudillo
Abstract:
We propose sparsemax, a new activation function similar to the traditional softmax, but able to output sparse probabilities. After deriving its properties, we show how its Jacobian can be efficiently computed, enabling its use in a network trained with backpropagation. Then, we propose a new smooth and convex loss function which is the sparsemax analogue of the logistic loss. We reveal an unexpect…
▽ More
We propose sparsemax, a new activation function similar to the traditional softmax, but able to output sparse probabilities. After deriving its properties, we show how its Jacobian can be efficiently computed, enabling its use in a network trained with backpropagation. Then, we propose a new smooth and convex loss function which is the sparsemax analogue of the logistic loss. We reveal an unexpected connection between this new loss and the Huber classification loss. We obtain promising empirical results in multi-label classification problems and in attention-based neural networks for natural language inference. For the latter, we achieve a similar performance as the traditional softmax, but with a selective, more compact, attention focus.
△ Less
Submitted 8 February, 2016; v1 submitted 5 February, 2016;
originally announced February 2016.
-
Observational signatures of past mass-exchange episodes in massive binaries: The case of HD 149 404
Authors:
F. Raucq,
G. Rauw,
E. Gosset,
Y. Nazé,
L. Mahy,
A. Hervé,
F. Martins
Abstract:
Mass and momentum exchanges in close massive binaries play an important role in their evolution, and produce several observational signatures such as asynchronous rotation and altered chemical compositions, that remain after the stars detach again. We investigated these effects for the detached massive O-star binary HD 149404 (O7.5If + ON9.7I, P = 9.81 days), which is thought to have experienced a…
▽ More
Mass and momentum exchanges in close massive binaries play an important role in their evolution, and produce several observational signatures such as asynchronous rotation and altered chemical compositions, that remain after the stars detach again. We investigated these effects for the detached massive O-star binary HD 149404 (O7.5If + ON9.7I, P = 9.81 days), which is thought to have experienced a past episode of case A Roche-lobe overflow (RLOF). Using phase-resolved spectroscopy, we performed the disentangling of the optical spectra of the two stars. The reconstructed primary and secondary spectra were then analysed with the CMFGEN model atmosphere code to determine stellar parameters, such as the effective temperatures and surface gravities, and to constrain the chemical composition of the components. We complemented the optical study with the study of IUE spectra, which we compare to the synthetic binary spectra. The properties of the stars were compared to evolutionary models. We confirmed a strong overabundance in nitrogen ($\left[\rm N/C\right]\sim150\left[\rm N/C\right]_{\odot}$) for the secondary and a slight nitrogen overabundance ($\left[\rm N/C\right]\sim5\left[\rm N/C\right]_{\odot}$) for the primary star. Comparing the two stars, we found evidence for asynchronous rotation, with a rotational period ratio of $0.50 \pm 0.11$. The hypothesis of a past case A RLOF interaction in HD 149404 is most plausible to explain its chemical abundances and rotational asynchronicity. Some of the observed properties, such as the abundance pattern, are clearly a challenge for current case A binary evolution models, however.
△ Less
Submitted 3 February, 2016; v1 submitted 29 January, 2016;
originally announced January 2016.
-
Notch filtering the nuclear environment of a spin qubit
Authors:
F. K. Malinowski,
F. Martins,
P. D. Nissen,
E. Barnes,
Ł. Cywiński,
M. S. Rudner,
S. Fallahi,
G. C. Gardner,
M. J. Manfra,
C. M. Marcus,
F. Kuemmeth
Abstract:
Electron spins in gate-defined quantum dots provide a promising platform for quantum computation. In particular, spin-based quantum computing in gallium arsenide takes advantage of the high quality of semiconducting materials, reliability in fabricating arrays of quantum dots, and accurate qubit operations. However, the effective magnetic noise arising from the hyperfine interaction with uncontrol…
▽ More
Electron spins in gate-defined quantum dots provide a promising platform for quantum computation. In particular, spin-based quantum computing in gallium arsenide takes advantage of the high quality of semiconducting materials, reliability in fabricating arrays of quantum dots, and accurate qubit operations. However, the effective magnetic noise arising from the hyperfine interaction with uncontrolled nuclear spins in the host lattice constitutes a major source of decoherence. Low frequency nuclear noise, responsible for fast (10 ns) inhomogeneous dephasing, can be removed by echo techniques. High frequency nuclear noise, recently studied via echo revivals, occurs in narrow frequency bands related to differences in Larmor precession of the three isotopes $\mathbf{^{69}Ga}$, $\mathbf{^{71}Ga}$, and $\mathbf{^{75}As}$. Here we show that both low and high frequency nuclear noise can be filtered by appropriate dynamical decoupling sequences, resulting in a substantial enhancement of spin qubit coherence times. Using nuclear notch filtering, we demonstrate a spin coherence time ($\mathbf{T_{2}}$) of 0.87 ms, five orders of magnitude longer than typical exchange gate times, and exceeding the longest coherence times reported to date in Si/SiGe gate-defined quantum dots.
△ Less
Submitted 18 January, 2017; v1 submitted 25 January, 2016;
originally announced January 2016.
-
New criteria to detect singularities in experimental incompressible flows
Authors:
Denis Kuzzay,
Ewe-Wei Saw,
Fabio J. W. A. Martins,
Davide Faranda,
Jean-Marc Foucaut,
François Daviaud,
Bérengère Dubrulle
Abstract:
We introduce two new singularity detection criteria based on the work of Duchon-Robert (DR) [J. Duchon and R. Robert, Nonlinearity, 13, 249 (2000)], and Eyink [G.L. Eyink, Phys. Rev. E, 74 (2006)] which allow for the local detection of singularities with scaling exponent $h\leqslant1/2$ in experimental flows, using PIV measurements. We show that in order to detect such singularities, one does not…
▽ More
We introduce two new singularity detection criteria based on the work of Duchon-Robert (DR) [J. Duchon and R. Robert, Nonlinearity, 13, 249 (2000)], and Eyink [G.L. Eyink, Phys. Rev. E, 74 (2006)] which allow for the local detection of singularities with scaling exponent $h\leqslant1/2$ in experimental flows, using PIV measurements. We show that in order to detect such singularities, one does not need to have access to the whole velocity field inside a volume but can instead look for them from stereoscopic particle image velocimetry (SPIV) data on a plane. We discuss the link with the Beale-Kato-Majda (BKM) [J.T. Beale, T. Kato, A. Majda, Commun. Math. Phys., 94, 61 (1984)] criterion, based on the blowup of vorticity, which applies to singularities of Navier-Stokes equations. We illustrate our discussion using tomographic PIV data obtained inside a high Reynolds number flow generated inside the boundary layer of a wind tunnel. In such a case, BKM and DR criteria are well correlated with each other.
△ Less
Submitted 15 January, 2016;
originally announced January 2016.
-
Luminous blue variables: An imaging perspective on their binarity and near environment
Authors:
Christophe Martayan,
Alex Lobel,
Dietrich Baade,
Andrea Mehner,
Thomas Rivinius,
H. M. J. Boffin,
Julien Girard,
Dimitri Mawet,
Guillaume Montagnier,
Ronny Blomme,
Pierre Kervella,
Hugues Sana,
Stanislav Štefl,
Juan Zorec,
Sylvestre Lacour,
Jean-Baptiste Le Bouquin,
Fabrice Martins,
Antoine Mérand,
Fabien Patru,
Fernando Selman,
Yves Frémat
Abstract:
Context. Luminous blue variables (LBVs) are rare massive stars with very high luminosity. They are characterized by strong photo-metric and spectroscopic variability related to transient eruptions. The mechanisms at the origin of these eruptions is not well known. In addition, their formation is still problematic and the presence of a companion could help to explain how they form. Aims. This artic…
▽ More
Context. Luminous blue variables (LBVs) are rare massive stars with very high luminosity. They are characterized by strong photo-metric and spectroscopic variability related to transient eruptions. The mechanisms at the origin of these eruptions is not well known. In addition, their formation is still problematic and the presence of a companion could help to explain how they form. Aims. This article presents a study of seven LBVs (about 20% of the known Galactic population), some Wolf-Rayet stars, and massive binaries. We probe the environments that surround these massive stars with near-, mid-, and far-infrared images, investigating potential nebula/shells and the companion stars. Methods. To investigate large spatial scales, we used seeing-limited and near diffraction-limited adaptive optics images to obtain a differential diagnostic on the presence of circumstellar matter and to determine their extent. From those images, we also looked for the presence of binary companions on a wide orbit. Once a companion was detected, its gravitational binding to the central star was tested. Tests include the chance projection probability, the proper motion estimates with multi-epoch observations, flux ratio, and star separations. Results. We find that two out of seven of LBVs may have a wide orbit companion. Most of the LBVs display a large circumstellar envelope or several shells. In particular, HD168625, known for its rings, possesses several shells with possibly a large cold shell at the edge of which the rings are formed. For the first time, we have directly imaged the companion of LBV stars.
△ Less
Submitted 14 January, 2016;
originally announced January 2016.
-
The MiMeS Survey of Magnetism in Massive Stars: Introduction and overview
Authors:
G. A. Wade,
C. Neiner,
E. Alecian,
J. H. Grunhut,
V. Petit,
B. de Batz,
D. A. Bohlender,
D. H. Cohen,
H. F. Henrichs,
O. Kochukhov,
J. D. Landstreet,
N. Manset,
F. Martins,
S. Mathis,
M. E. Oksala,
S. P. Owocki,
Th. Rivinius,
M. E. Shultz,
J. O. Sundqvist,
R. H. D. Townsend,
A. ud-Doula,
J. -C. Bouret,
J. Braithwaite,
M. Briquet,
A. C. Carciofi
, et al. (25 additional authors not shown)
Abstract:
The MiMeS project is a large-scale, high resolution, sensitive spectropolarimetric investigation of the magnetic properties of O and early B type stars. Initiated in 2008 and completed in 2013, the project was supported by 3 Large Program allocations, as well as various programs initiated by independent PIs and archival resources. Ultimately, over 4800 circularly polarized spectra of 560 O and B s…
▽ More
The MiMeS project is a large-scale, high resolution, sensitive spectropolarimetric investigation of the magnetic properties of O and early B type stars. Initiated in 2008 and completed in 2013, the project was supported by 3 Large Program allocations, as well as various programs initiated by independent PIs and archival resources. Ultimately, over 4800 circularly polarized spectra of 560 O and B stars were collected with the instruments ESPaDOnS at the Canada-France-Hawaii Telescope, Narval at the Télescope Bernard Lyot, and HARPSpol at the European Southern Observatory La Silla 3.6m telescope, making MiMeS by far the largest systematic investigation of massive star magnetism ever undertaken. In this paper, the first in a series reporting the general results of the survey, we introduce the scientific motivation and goals, describe the sample of targets, review the instrumentation and observational techniques used, explain the exposure time calculation designed to provide sensitivity to surface dipole fields above approximately 100 G, discuss the polarimetric performance, stability and uncertainty of the instrumentation, and summarize the previous and forthcoming publications.
△ Less
Submitted 26 November, 2015;
originally announced November 2015.
-
Filter function formalism beyond pure dephasing and non-Markovian noise in singlet-triplet qubits
Authors:
Edwin Barnes,
Mark S. Rudner,
Frederico Martins,
Filip K. Malinowski,
Charles M. Marcus,
Ferdinand Kuemmeth
Abstract:
The filter function formalism quantitatively describes the dephasing of a qubit by a bath that causes Gaussian fluctuations in the qubit energies with an arbitrary noise power spectrum. Here, we extend this formalism to account for more general types of noise that couple to the qubit through terms that do not commute with the qubit's bare Hamiltonian. Our approach applies to any power spectrum tha…
▽ More
The filter function formalism quantitatively describes the dephasing of a qubit by a bath that causes Gaussian fluctuations in the qubit energies with an arbitrary noise power spectrum. Here, we extend this formalism to account for more general types of noise that couple to the qubit through terms that do not commute with the qubit's bare Hamiltonian. Our approach applies to any power spectrum that generates slow noise fluctuations in the qubit's evolution. We demonstrate our formalism in the case of singlet-triplet qubits subject to both quasistatic nuclear noise and $1/ω^α$ charge noise and find good agreement with recent experimental findings. This comparison shows the efficacy of our approach in describing real systems and additionally highlights the challenges with distinguishing different types of noise in free induction decay experiments.
△ Less
Submitted 19 March, 2016; v1 submitted 23 November, 2015;
originally announced November 2015.