Approximating subtree distances between Phylogenies

We give a 5-approximation algorithm to the rooted Subtree-Prune-and-Regraft (rSPR) distance between two phylogenies, which was recently shown to be NP-complete by Bordewich and Semple [5]. This paper presents the first approximation result for this important tree distance. The algorithm follows a standard format for tree distances such as Rodrigues et al. [24] and Hein et al. [13]. The novel ideas are in the analysis. In the analysis, the cost of the algorithm uses a \cascading" scheme that accounts for possible wrong moves. This accounting is missing from previous analysis of tree distance approximation algorithms. Further, we show how all algorithms of this type can be implemented in linear time and give experimental results.

Distortion of wreath products in some finitely presented groups

"Vegeu el resum a l'inici del document del fitxer adjunt."

Weak systems of Gandy, Jensen and Devlin

In Part I, we formulate and examine some systems that have arisen in the study of the constructible hierarchy; we find numerous transitive models for them, among which are supertransitive models containing all ordinals that show that Devlin's system BS lies strictly between Gandy's systems PZ and BST'; and we use our models to show that BS fails to handle even the simplest rudimentary functions, and is thus inadequate for the use intended for it in Devlin's treatise. In Part II we propose and study an enhancement of the underlying logic of these systems, build further models to show where the previous hierarchy of systems is preserved by our enhancement; and consider three systems that might serve for Devlin's purposes: one the enhancement of a version of BS, one a formulation of Gandy-Jensen set theory, and the third a subsystem common to those two. In Part III we give new proofs of results of Boffa by constructing three models in which, respectively, TCo, AxPair and AxSing fail; we give some sufficient conditions for a set not to belong to the rudimentary closure of another set, and thus answer a question of McAloon; and we comment on Gandy's numerals and correct and sharpen other of his observations.

On moduli of smoothness of fractional order

In this paper we consider the properties of moduli of smoothness of fractional order. The main result of the paper describes the equivalence of the modulus of smoothness and a function from some class.

Cat(0) and Cat (-1) dimensions of torsion free

We show that a particular free-by-cyclic group has CAT(0) dimension equal to 2, but CAT(-1) dimension equal to 3. We also classify the minimal proper 2-dimensional CAT(0) actions of this group; they correspond, up to scaling, to a 1-parameter family of locally CAT(0) piecewise Euclidean metrics on a fixed presentation complex for the group. This information is used to produce an infinite family of 2-dimensional hyperbolic groups, which do not act properly by isometries on any proper CAT(0) metric space of dimension 2. This family includes a free-by-cyclic group with free kernel of rank 6.

Shellability of noncrossing partition lattices

We give a case-free proof that the lattice of noncrossing partitions associated to any finite real reflection group is EL-shellable. Shellability of these lattices was open for the groups of type Dn and those of exceptional type and rank at least three.

Intersection Pairing and intersection motive of surfaces

We construct the Chow motive modelling intersection co-homology of a proper surface. We then study its functoriality properties. Using Murre's decompositions of the motive of a desingularization into KÄunneth components [Mr1], we show that such decompositions exist also for the intersection motive.

Limit Cycles for a class of three dimensional polynomial differential systems

"Vegeu el resum a l'inici del document del fitxer adjunt."

On the upper bound of the number of limit cycles obtained by the second order averaging method I

"Vegeu el resum a l'inici del document del fitxer adjunt."

On the upper bound of the number of limit cycles obtained by the second order averaging method II

"Vegeu el resum a l'inici del document del fitxer adjunt."

The density of injective endomorphisms of a free group

"Vegeu el resum a l'inici del document del fitxer adjunt."

Una Aproximació a la construcció significativa del coneixement matemàtic a l'ESO

This study displays and analyzes the contents of the Mathematics subject in ESO’s second cycle from a constructivist perspective. This analysis has been carried out by contrasting two groups of participants (control group and experimental group). These groups were formed by a sample of 240 students between the ages of 14 and 16 from four different educational centres of the Osona area. Research – Action methodology has been employed, combining quantitative techniques (statistical study with the SPSS package) with qualitative analysis (transcriptions of interviews and discussion group). This study has been carried out after years of classroom observation, reflection and action. The theoretical framework employed is a cognitive one, based on Ausubel’s Significative Learning Theory. Quantitative analysis shows how the researcher’s design improves, on the one hand, the students’ academic motivation and, on the other hand, their comprehensive memory, enabling them to achieve a more significant learning of the subjects’ contents. Furthermore, our analysis shows that the proposed method is more comprehensive than those employed by teachers collaborating with control groups. The main aim of the qualitative analysis is that of identifying the elements which configure the programme and contribute to an improvement of the aspects mentioned above. The key elements here are: co-operation as the basis of group dynamics; the employment, in some cases, of easily handled materials; the type of interaction between teacher and students, where, through open discussion, students are lead by teaching staff towards the course objectives; induction, that is, deducing formulae by initially using examples which are close to the students’ knowledge and experience or taken from everyday life (what we could call “down-top” mathematics). We should add here that the qualitative analysis does not only corroborate the results obtained by quantitative techniques, but also displays an increase of motivation in teaching staff. Teachers did show a positive attitude and welcomed the use and development of these materials in the next academic year. Finally, we discuss possible directions for further research.

Restricted walks in regular trees

Let T be the Cayley graph of a finitely generated free group F. Given two vertices in T consider all the walks of a given length between these vertices that at a certain time must follow a number of predetermined steps. We give formulas for the number of such walks by expressing the problem in terms of equations in F and solving the corresponding equations.

The third order Melnikov function of a quadratic center under quadratic perturbation

We study quadratic perturbations of the integrable system (1+x)dH; where H =(x²+y²)=2: We prove that the first three Melnikov functions associated to the perturbed system give rise at most to three limit cycles.

A rotation method which gives linear Lp-Estimates for powers of the Ahlfors-Beurling operator

"Vegeu el resum a l'inici del document del fitxer adjunt."