The rotational shear layer inside the early red-giant star KIC 4448777

We present the asteroseismic study of the early red-giant star KIC 4448777, complementing and integrating a previous work (Di Mauro et al. 2016), aimed at characterizing the dynamics of its interior by analyzing the overall set of data collected by the {\it Kepler} satellite during the four years of its first nominal mission. We adopted the Bayesian inference code DIAMOND (Corsaro \& De Ridder 2014) for the peak bagging analysis and asteroseismic splitting inversion methods to derive the internal rotational profile of the star. The detection of new splittings of mixed modes, more concentrated in the very inner part of the helium core, allowed us to reconstruct the angular velocity profile deeper into the interior of the star and to disentangle the details better than in Paper I: the helium core rotates almost rigidly about 6 times faster than the convective envelope, while part of the hydrogen shell seems to rotate at a constant velocity about 1.15 times lower than the He core. In particular, we studied the internal shear layer between the fast-rotating radiative interior and the slow convective zone and we found that it lies partially inside the hydrogen shell above $r \simeq 0.05R$ and extends across the core-envelope boundary. Finally, we theoretically explored the possibility for the future to sound the convective envelope in the red-giant stars and we concluded that the inversion of a set of splittings with only low-harmonic degree $l\leq 3$, even supposing a very large number of modes, will not allow to resolve the rotational profile of this region in detail.Comment: accepted for publication on Ap

Homotopy Type Theory in Lean

We discuss the homotopy type theory library in the Lean proof assistant. The library is especially geared toward synthetic homotopy theory. Of particular interest is the use of just a few primitive notions of higher inductive types, namely quotients and truncations, and the use of cubical methods.Comment: 17 pages, accepted for ITP 201

Genetic diversity in a germplasm bank of Oenocarpus mapora (Arecaceae).

Oenocarpus mapora is an Amazonian palm species commonly used by native populations for food and in folk medicine. We measured genetic variability, using RAPD markers, of material kept in a germplasm bank composed of accessions sampled from the Brazilian Amazon. These included 74 individuals from 23 accessions sampled from 9 localities in three States of the Brazilian Amazon. Jaccard genetic similarities were calculated based on 137 polymorphic bands, amplified by 15 primers. Dendrograms constructed based on the genetic similarities among individuals and sample localities demonstrated genetic separation of Acre State from the States of Amazonas and Pará. Two models in three hierarchical levels were considered for AMOVA: one considering the grouping of sampling sites in each state, and the other considering sampling sites in each subgroup formed by the dendrograms. The first model showed no significant genetic variation among states. On the other hand, genetic variation among subgroups was significant. In this model, the within-sample-site genetic diversity was 47.15%, which is considered to be low, since O. mapora is allogamous. By means of Bayesian analysis, the sample sites were clustered into five groups, and their distribution was similar to what we found in the dendrograms based on genetic similarity

Seleção de marcadores RAPD para análise genética em germoplasma de tucumã-do-pará (Astrocaryum vulgare Mart.).

O tucumã-do-pará é palmeira perene, oleaginosa, de caule múltiplo, indicada como uma das alternativas de matéria prima ao mercado de biodiesel. Marcadores RAPD são úteis em análises genéticas de espécies pouco estudadas, como o tucumã. O objetivo deste trabalho foi selecionar marcadores RAPD polimórficos para análises genéticas dessa palmeira. Foram testados 116 primers RAPD em cinco genótipos do Banco de Germoplasma da Embrapa Amazônia Oriental, Belém-PA. Foram selecionados 24 primers que amplificaram bandas nítidas e polimórficas. A matriz binária foi gerada para análises do número ótimo de bandas, pelo método bootstrap e da similaridade genética. O número de bandas adequado para a genotipagem foi de 130. Logo, os 24 marcadores são úteis para expressar a variabilidade e a divergência genética em germoplasma dessa espécie

Repetibilidade e número mínimo de medições para caracteres de cacho de bacabi (Oenocarpus mapora).

A bacabi (Oenocarpus mapora H. Karsten) é uma palmeira perene nativa da Amazônia, que produz cachos com centenas de frutos que apresentam grande potencialidade à agroindústria de polpa, mas tem sido pouco estudada. Os objetivos deste trabalho foram estimar os coeficientes de repetibilidade e determinar a previsibilidade e o número de medições necessárias para caracteres de cacho dessa palmeira. Foram avaliados 27 indivíduos de bacabi pertencentes ao Banco de Germoplasma de Oenocarpus/Jessenia da Embrapa Amazônia Oriental, em Belém-PA. De cada planta, foram colhidos três cachos em maturação completa para a mensuração de seis caracteres: peso total do cacho (PTC) e de frutos por cacho (PFC), número de ráquilas por cacho (NRC), comprimento da ráquis por cacho (CRC), peso de 100 frutos (PCF) e rendimento de frutos por cacho (RFC). As estimativas de repetibilidade foram obtidas pelos métodos estatísticos da análise de variância, componentes principais e análise estrutural. Em todos os caracteres, as estimativas de repetibilidade apresentaram valores muito semelhantes nos três métodos. As estimativas dos coeficientes de repetibilidade e as previsibilidades foram relativamente altas (r > 0,60 e R2 > 81,7%) para os caracteres número de ráquilas e rendimento de frutos por cacho, demonstrando regularidade dos genótipos nas várias medições (cachos), em todos os métodos. Para esses caracteres, o número mínimo de cachos necessários para a avaliação do real valor dos genótipos foi de treze (RFC) e cinco (NRC) cachos com confiabilidade de 95%, tornando-os factíveis no uso de inferências genéticas para as condições do estudo. Os demais caracteres exibiram repetibilidades e coeficientes de determinação de médias a baixas magnitudes, indicando necessidade de maior controle ambiental para suas mensurações

Variabilidade e divergência genética entre genótipos de tucumanzeiro-do-pará (Astrocaryum vulgare Mart.) promissores para a produção de frutos por marcadores rapd.

O objetivo deste trabalho foi estimar a variabilidade e a divergência genética entre genótipos de tucumanzeiro-do-pará promissores para a produção de frutos por marcadores de RAPD. Foram coletadas amostras de folhas de 29 plantas-matrizes selecionadas no Banco Ativo de Germoplasma da Embrapa Amazônia Oriental, com base na produção de frutos por planta, mas com pronunciadas variações para outras características. As amostras de DNA foram amplificadas por 24 iniciadores RAPD e analisadas por três métodos multivariados, usando a matriz de dissimilaridades genéticas obtidas pelo complemento aritmético do coeficiente de Jaccard. Foram gerados 332 marcadores moleculares que expressaram 98,5% de polimorfismo. Os marcadores RAPD apresentaram poder de discriminação eficiente entre os 29 genótipos avaliados, constatando-se distância genética média entre os genótipos de 51,7%, variando entre 26,9% e 71,5%. A maior média de distância ocorreu entre o genótipo 22 e os demais, com 66,8%. Os genótipos formaram oito e quinze grupos distintos, possivelmente grupos heteróticos, pelos métodos de agrupamentos UPGMA e Tocher, respectivamente. As análises das coordenadas principais confirmaram a alta variabilidade entre os genótipos. Os marcadores moleculares utilizados permitiram a identificação de ampla variabilidade e forte divergência genética entre os genótipos com ausência de duplicatas, o que possibilita a indicação desses materiais para compor programa de melhoramento genético para a produção de frutos