On the complexity of the Whitehead minimization problem

The Whitehead minimization problem consists in finding a minimum size element in the automorphic orbit of a word, a cyclic word or a finitely generated subgroup in a finite rank free group. We give the first fully polynomial algorithm to solve this problem, that is, an algorithm that is polynomial both in the length of the input word and in the rank of the free group. Earlier algorithms had an exponential dependency in the rank of the free group. It follows that the primitivity problem – to decide whether a word is an element of some basis of the free group – and the free factor problem can also be solved in polynomial time.

Invariants de matrius Hadamard en MAGMA

L'objectiu d'aquest projecte ha estat generalitzar i integrar la funcionalitat de dos projectes anteriors que ampliaven el tractament que oferia el Magma respecte a les matrius de Hadamard. Hem implementat funcions genèriques que permeten construir noves matrius Hadamard de qualsevol mida per a cada rang i dimensió de nucli, i així ampliar la seva base de dades. També hem optimitzat la funció que calcula el nucli, i hem desenvolupat funcions que calculen la invariant Symmetric Hamming Distance Enumerator (SH-DE) proposada per Kai-Tai Fang i Gennian Gei que és més sensible per a la detecció de la no equivalència de les matrius Hadamard.

Renal transplantation following aorto-iliac reconstruction is a safe a strategy

Introduction: Renal transplantation is considered the treatment of choice for end-stage renal disease. However, the association of occlusive aorto-iliac disease and chronic renal failure is frequent and aorto-iliac reconstruction may be necessary prior to renal transplantation. This retrospective study reviews the results of this operative strategy.Material and Methods: Between January 2001 and June 2010, 309 patients underwent renal transplantation at our institution and 8 patients had prior aorto-iliac reconstruction using prosthetic material. There were 6 men and 2 women with a median age of 62 years (range 51-70). Five aorto-bifemoral and 2 aorto-bi-iliac bypasses were performed for stage II (n=5), stage IV (n=1) and aortic aneurysm (n=1). In one patient, iliac kissing stents and an ilio-femoral bypass were implanted. 4 cadaveric and 4 living donor renal transplantations were performed with an interval of 2 months to 10 years after revascularization.The results were analysed with respect of graft and patients survival. Differences between groups were tested by the log rank method.Results: No complications and no death occurred in the post-operative period. All bypasses remained patent during follow-up. The median time of post transplantation follow-up was 46 months for all patients and 27 months for patients with prior revascularization. In the revascularized group and control group, the graft and patient survival at 1 year were respectively 100%/96%, 100%/99% and at 5 years 86%/86%, 86%/94%, without significant differences between both groups.Discussion: Our results suggest that renal transplantation following prior aorto-iliac revascularisation with prosthetic material is safe and effective. Patients with end-stage renal disease and concomitant aorto-iliac disease should therefore be considered for renal transplantation. However, caution in the interpretation of the results is indicated due to the small sample size of our study.

Pathfinding of corticothalamic axons relies on a rendezvous with thalamic projections.

Major outputs of the neocortex are conveyed by corticothalamic axons (CTAs), which form reciprocal connections with thalamocortical axons, and corticosubcerebral axons (CSAs) headed to more caudal parts of the nervous system. Previous findings establish that transcriptional programs define cortical neuron identity and suggest that CTAs and thalamic axons may guide each other, but the mechanisms governing CTA versus CSA pathfinding remain elusive. Here, we show that thalamocortical axons are required to guide pioneer CTAs away from a default CSA-like trajectory. This process relies on a hold in the progression of cortical axons, or waiting period, during which thalamic projections navigate toward cortical axons. At the molecular level, Sema3E/PlexinD1 signaling in pioneer cortical neurons mediates a "waiting signal" required to orchestrate the mandatory meeting with reciprocal thalamic axons. Our study reveals that temporal control of axonal progression contributes to spatial pathfinding of cortical projections and opens perspectives on brain wiring.

Redirection of T cells by delivering a transgenic mouse-derived MDM2 tumor antigen-specific TCR and its humanized derivative is governed by the CD8 coreceptor and affects natural human TCR expression.

Retroviral transfer of T cell antigen receptor (TCR) genes selected by circumventing tolerance to broad tumor- and leukemia-associated antigens in human leukocyte antigen (HLA)-A*0201 (A2.1) transgenic (Tg) mice allows the therapeutic reprogramming of human T lymphocytes. Using a human CD8 x A2.1/Kb mouse derived TCR specific for natural peptide-A2.1 (pA2.1) complexes comprising residues 81-88 of the human homolog of the murine double-minute 2 oncoprotein, MDM2(81-88), we found that the heterodimeric CD8 alpha beta coreceptor, but not normally expressed homodimeric CD8 alpha alpha, is required for tetramer binding and functional redirection of TCR- transduced human T cells. CD8+T cells that received a humanized derivative of the MDM2 TCR bound pA2.1 tetramers only in the presence of an anti-human-CD8 anti-body and required more peptide than wild-type (WT) MDM2 TCR+T cells to mount equivalent cytotoxicity. They were, however, sufficiently effective in recognizing malignant targets including fresh leukemia cells. Most efficient expression of transduced TCR in human T lymphocytes was governed by mouse as compared to human constant (C) alphabeta domains, as demonstrated with partially humanized and murinized TCR of primary mouse and human origin, respectively. We further observed a reciprocal relationship between the level of Tg WT mouse relative to natural human TCR expression, resulting in T cells with decreased normal human cell surface TCR. In contrast, natural human TCR display remained unaffected after delivery of the humanized MDM2 TCR. These results provide important insights into the molecular basis of TCR gene therapy of malignant disease.

Elements of algebraic geometry and the positive theory of partially commutative groups

The first main result of the paper is a criterion for a partially commutative group G to be a domain. It allows us to reduce the study of algebraic sets over G to the study of irreducible algebraic sets, and reduce the elementary theory of G (of a coordinate group over G) to the elementary theories of the direct factors of G (to the elementary theory of coordinate groups of irreducible algebraic sets). Then we establish normal forms for quantifier-free formulas over a non-abelian directly indecomposable partially commutative group H. Analogously to the case of free groups, we introduce the notion of a generalised equation and prove that the positive theory of H has quantifier elimination and that arbitrary first-order formulas lift from H to H * F, where F is a free group of finite rank. As a consequence, the positive theory of an arbitrary partially commutative group is decidable.

The 16p11.2 locus modulates brain structures common to autism, schizophrenia and obesity

Anatomical structures and mechanisms linking genes to neuropsychiatric disorders are not deciphered. Reciprocal copy number variants at the 16p11.2 BP4-BP5 locus offer a unique opportunity to study the intermediate phenotypes in carriers at high risk for autism spectrum disorder (ASD) or schizophrenia (SZ). We investigated the variation in brain anatomy in 16p11.2 deletion and duplication carriers. Beyond gene dosage effects on global brain metrics, we show that the number of genomic copies negatively correlated to the gray matter volume and white matter tissue properties in cortico-subcortical regions implicated in reward, language and social cognition. Despite the near absence of ASD or SZ diagnoses in our 16p11.2 cohort, the pattern of brain anatomy changes in carriers spatially overlaps with the well-established structural abnormalities in ASD and SZ. Using measures of peripheral mRNA levels, we confirm our genomic copy number findings. This combined molecular, neuroimaging and clinical approach, applied to larger datasets, will help interpret the relative contributions of genes to neuropsychiatric conditions by measuring their effect on local brain anatomy.Molecular Psychiatry advance online publication, 25 November 2014; doi:10.1038/mp.2014.145.

Lutzomyia reducta Feliciangeli et al., 1988, a host of Leishmania amazonensis, sympatric with two other members of the Flaviscutellata complex in southern Amazonas and Rondônia, Brazil (Diptera: Psychodidae)

A member of the Lutzomyia flaviscutellata complex from Rondônia and southern Amazonas States, Brazil, is so close to the Venezuelan Lutzomyia olmeca recuta Feliciangeli et al., 1988, that it is regarded as belonging to the same species. Since this phlebotomine co-extis with L. olmeca nociva in Brazil, the subspecific status of the former is untenable and is rased to specific rank, as Lutzomyia reducta. The Brazilian material is described and illustrated, and compared with specimens of L. o. nociva and L. flaviscutellata from the same area. Keys to the known taxa of the flaviscutellata complex are presented. Leishmania amazonensis was isolated from one heavily infected specimen of L. reducta, making this the third species of the flaviscutellata complex to be implicated as a vector of this parasite in Brazil. The relative abundance of the three sympatric flaviscutellata complex species varies locally and appears to be related to soil drainage. L. reducta constituted about 25% if all phlebotomines captured in Disney traps at poorly drained and well drained site, but appears not to coloniza areas subject to periodic flooding. L. olmeca nociva was restricted to poorly drained areas not subject to flooding, whereas L. flaviscutellata was ubiquitous L. reducta has never been detected north of the Amazon river in Brazil, but absence of recosrds from western and northwestern Amazonas State may reflect lack of collecting in these areas.

Which Inequality? The Inequality of Endowments Versus the Inequality of Rewards

Society often allocates valuable resources - such as prestigious positions, salaries, or marriage partners - via tournament-like institutions. In such situations, inequality affects incentives to compete and hence has a direct effect on equilibrium choices and hence material outcomes. We introduce a new distinction between inequality in initial endowments (e.g. ability, inherited wealth) and inequality of what one can obtain as rewards (e.g. prestigious positions, money). We show that these two types of inequality have opposing effects on equilibrium behavior and wellbeing. Greater inequality of rewards tends to hurt most people — both the middle class and the poor, — who are forced into greater effort. In contrast, greater inequality of endowments tends to benefit the middle class. Thus, which type of inequality is considered hugely affects the correctness of our intuitions about the implications of inequality.

On the characterisation and measurement of the welfare effects of income mobility from an ex-ante perspective

The paper employs a rank-dependent formulation of the social welfare function with time-separable utilities to evaluate the economic consequences of income mobility from an ex-ante perspective. The resultant class of measures can be decomposed not only in terms of structural and exchange mobility but also in terms of vertical and horizontal mobility, thereby encompassing two of the main approaches in the literature. We illustrate our measurement framework by comparing mobility in the USA and Germany using data from the Cross-National Equivalent File 1980-2005. We find that the pattern of income mobility in the USA was both less pro-poor and more horizontally inequitable than in Germany, but that the latter did not translate into higher levels of exchange mobility given higher levels of absolute inequality and the vertical stance of the growth process.

Bayesian Inference in the Time Varying Cointegration Model

There are both theoretical and empirical reasons for believing that the parameters of macroeconomic models may vary over time. However, work with time-varying parameter models has largely involved Vector autoregressions (VARs), ignoring cointegration. This is despite the fact that cointegration plays an important role in informing macroeconomists on a range of issues. In this paper we develop time varying parameter models which permit cointegration. Time-varying parameter VARs (TVP-VARs) typically use state space representations to model the evolution of parameters. In this paper, we show that it is not sensible to use straightforward extensions of TVP-VARs when allowing for cointegration. Instead we develop a specification which allows for the cointegrating space to evolve over time in a manner comparable to the random walk variation used with TVP-VARs. The properties of our approach are investigated before developing a method of posterior simulation. We use our methods in an empirical investigation involving a permanent/transitory variance decomposition for inflation.

Intercanvi de dades per dominis continus i ordres parcials

Projecte de recerca elaborat a partir d’una estada a la Universitat de Tsukuba, Japó, durant l’agost 2007. L’intercanvi de dades (rank swapping), que va ser originàriament definit per variables ordinals, s’aplica també a valors numèrics. En aquest treball en proposem una extensió per a dominis continus i per a conjunts parcialment ordenats.

Ordering Policy Rules with an Unconditional Welfare Measure

The unconditional expectation of social welfare is often used to assess alternative macroeconomic policy rules in applied quantitative research. It is shown that it is generally possible to derive a linear - quadratic problem that approximates the exact non-linear problem where the unconditional expectation of the objective is maximised and the steady-state is distorted. Thus, the measure of pol icy performance is a linear combinat ion of second moments of economic variables which is relatively easy to compute numerically, and can be used to rank alternative policy rules. The approach is applied to a simple Calvo-type model under various monetary policy rules.

Fecal calprotectin more accurately reflects endoscopic activity of ulcerative colitis than the Lichtiger Index, C-reactive protein, platelets, hemoglobin, and blood leukocytes.

BACKGROUND: The correlation between noninvasive markers with endoscopic activity according to the modified Baron Index in patients with ulcerative colitis (UC) is unknown. We aimed to evaluate the correlation between endoscopic activity and fecal calprotectin (FC), C-reactive protein (CRP), hemoglobin, platelets, blood leukocytes, and the Lichtiger Index (clinical score). METHODS: UC patients undergoing complete colonoscopy were prospectively enrolled and scored clinically and endoscopically. Samples from feces and blood were analyzed in UC patients and controls. RESULTS: We enrolled 228 UC patients and 52 healthy controls. Endoscopic disease activity correlated best with FC (Spearman's rank correlation coefficient r = 0.821), followed by the Lichtiger Index (r = 0.682), CRP (r = 0.556), platelets (r = 0.488), blood leukocytes (r = 0.401), and hemoglobin (r = -0.388). FC was the only marker that could discriminate between different grades of endoscopic activity (grade 0, 16 [10-30] μg/g; grade 1, 35 [25-48] μg/g; grade 2, 102 [44-159] μg/g; grade 3, 235 [176-319] μg/g; grade 4, 611 [406-868] μg/g; P < 0.001 for discriminating the different grades). FC with a cutoff of 57 μg/g had a sensitivity of 91% and a specificity of 90% to detect endoscopically active disease (modified Baron Index ≥ 2). CONCLUSIONS: FC correlated better with endoscopic disease activity than clinical activity, CRP, platelets, hemoglobin, and blood leukocytes. The strong correlation with endoscopic disease activity suggests that FC represents a useful biomarker for noninvasive monitoring of disease activity in UC patients.

Contrast-enhanced ultrasound after devascularisation of neuroendocrine liver metastases: functional and morphological evaluation.

OBJECTIVE: To evaluate morphological and perfusion changes in liver metastases of neuroendocrine tumours by contrast-enhanced ultrasound (CEUS) after transarterial embolisation with bead block (TAE) or trans-arterial chemoembolisation with doxorubicin-eluting beads (DEB-TACE). METHODS: In this retrospective study, seven patients underwent TAE, and ten underwent DEB-TACE using beads of the same size. At 1 day before embolisation, 2 days, 1 month and 3 months after the procedure, a destruction-replenishment study using CEUS was performed with a microbubble-enhancing contrast material on a reference tumour. Relative blood flow (rBF) and relative blood volume (rBV) were obtained from the ratio of values obtained in the tumour and in adjacent liver parenchyma. Morphological parameters such as the tumour's major diameter and the viable tumour's major diameter were also measured. A parameter combining functional and morphological data, the tumour vitality index (TVI), was studied. The Wilcoxon rank-sum test and Fisher's test were used to compare treatment groups. RESULTS: At 3 months rBF, rBV and TVI were significantly lower (P = 0.005, P = 0.04 and P = 0.03) for the group with doxorubicin. No difference in morphological parameters was found throughout the follow-up. CONCLUSIONS: One parameter, TVI, could evaluate the morphological and functional response to treatments.