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.

The identity type weak factorisation system

We show that the classifying category C(T)of a dependent type theory T with axioms for identity types admits a nontrivial weak factorisation system. After characterising this weak factorisation system explicitly, we relate it to the homotopy theory of groupoids.

Weak-type estimates for Haar shift operators: Sharp power on the A(p) characteristic

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

Slope processes in changing permafrost environments: a geomorphological and sedimentological approach

Estudi realitzat a partir d’una estada al Centro de Estudos Geograficos de la Universidade de Lisboa, Portugal, entre 2011 i 2012. En aquest grup he desenvolupat la meva recerca focalitzada en ambients polars en presència de permafrost, concretament centrada en l’extrem nord-occidental de la Península Antàrtica (Shetland del Sud) i a l’Alt Àrtic (Svalvard). Ambdós àrees han registrat un augment de temperatura molt significatiu les darreres dècades. La meva recerca ha contemplat l’anàlisi de registres sedimentaris (lacustres, eòlics, vessant) i la monitorització de processos geomorfològics actuals a fi efecte d’entendre la dinàmica ambiental present i passada (i.e. clima). Amb aquesta finalitat he realitzat tres campanyes de treball de camp a l’Antàrtida i dues a l’Àrtic. El posterior treball de laboratori i d’oficina està propiciant nombroses publicacions que donen fe dels èxits assolits. A més, cal enfatitzar altres activitats desenvolupades durant la BP-A: coneixement de com organitzar i gestionar una campanya antàrtica, docència universitària, participació en comitès, associacions i tribunals de tesis doctorals, organització i participació en nombroses conferències, treball de camp en noves àrees d’estudi, referee per revistes internacionals, etc. Tanmateix, la concessió del projecte de recerca HOLOANTAR, del qual en sóc l’Investigador Responsable, ha estat l’èxit més important d’aquesta estada. Aquest projecte m’està conferint la capacitat de gestionar i integrar la recerca de 16 investigadors de diferents nacionalitats des d’una perspectiva multidisciplinar. Tothora, cal remarcar que no s’ha assolit un dels èxits que pretenia el meu projecte de BP-A: la transferència del bagatge i coneixement adquirit al sistema de recerca català. Malgrat haver presentat la meva candidatura per un contracte BP-B per tal que aquest background après a l’estranger revertís a Catalunya, el procés de selecció emprat en la convocatòria ho ha impedit i m’obliga a continuar la meva recerca a l’estranger.

Weak and Strong Altruism in Trait Groups: Reproductive Suicide, Personal Fitness, and Expected Value

A simple variant of trait group selection, employing predators as the mechanism underlying group selection, supports contingent reproductive suicide as altruism (i.e., behavior lowering personal fitness while augmenting that of another) without kin assortment. The contingent suicidal type may either saturate the population or be polymorphic with a type avoiding suicide, depending on parameters. In addition to contingent suicide, this randomly assorting morph may also exhibit continuously expressed strong altruism (sensu Wilson 1979) usually thought restricted to kin selection. The model will not, however, support a sterile worker caste as such, where sterility occurs before life history events associated with effective altruism; reproductive suicide must remain fundamentally contingent (facultative sensu West Eberhard 1987; Myles 1988) under random assortment. The continuously expressed strong altruism supported by the model may be reinterpreted as probability of arbitrarily committing reproductive suicide, without benefit for another; such arbitrary suicide (a "load" on "adaptive" suicide) is viable only under a more restricted parameter space relative to the necessarily concomitant adaptive contingent suicide.

Weak approximations. A Malliavin calculus approach

We introduce a variation of the proof for weak approximations that issuitable for studying the densities of stochastic processes which areevaluations of the flow generated by a stochastic differential equation on a random variable that maybe anticipating. Our main assumption is that the process and the initial random variable have to be smooth in the Malliavin sense. Furthermore if the inverse of the Malliavin covariance matrix associated with the process under consideration is sufficiently integrable then approximations fordensities and distributions can also be achieved. We apply theseideas to the case of stochastic differential equations with boundaryconditions and the composition of two diffusions.

Exact tests for correlation and for the slope in simple linear regressions without making assumptions

We present an exact test for whether two random variables that have known bounds on their support are negatively correlated. The alternative hypothesis is that they are not negatively correlated. No assumptions are made on the underlying distributions. We show by example that the Spearman rank correlation test as the competing exact test of correlation in nonparametric settings rests on an additional assumption on the data generating process without which it is not valid as a test for correlation.We then show how to test for the significance of the slope in a linear regression analysis that invovles a single independent variable and where outcomes of the dependent variable belong to a known bounded set.

Comment to "Weak instruments robust tests in GMM and the New Keynesian Phillips curve" by Frank Kleibergen and Sophocles Mavroeidis

I discuss the identifiability of a structural New Keynesian Phillips curve when it is embedded in a small scale dynamic stochastic general equilibrium model. Identification problems emerge because not all the structural parameters are recoverable from the semi-structural ones and because the objective functions I consider are poorly behaved. The solution and the moment mappings are responsible for the problems.

Weak and strong altruism in traitgGroups: Reproductive suicide, personal fitness and expected value

A simple variant of trait group selection, employing predators as themechanism underlying group selection, supports contingent reproductivesuicide as altruism (i.e., behavior lowering personal fitness whileaugmenting that of another) without kin assortment. The contingentsuicidal type may either saturate the population or be polymorphicwith a type avoiding suicide, depending on parameters. In addition tocontingent suicide, this randomly assorting morph may also exhibitcontinuously expressed strong altruism (sensu Wilson 1979) usuallythought restricted to kin selection. The model will not, however,support a sterile worker caste as such, where sterility occurs beforelife history events associated with effective altruism; reproductivesuicide must remain fundamentally contingent (facultative sensu WestEberhard 1987; Myles 1988) under random assortment. The continuouslyexpressed strong altruism supported by the model may be reinterpretedas probability of arbitrarily committing reproductive suicide, withoutbenefit for another; such arbitrary suicide (a "load" on "adaptive"suicide) is viable only under a more restricted parameter spacerelative to the necessarily concomitant adaptive contingent suicide.

Nonmesonic weak decay of the hypertriton

The nonmesonic decay of the hypertriton is calculated based on a hypertriton wave function and 3N scattering states, which are rigorous solutions of three-body Faddeev equations using realistic NN and hyperon-nucleon interactions. The pion exchange together with heavier meson exchanges for the ¿N¿NN transition is considered. The total nonmesonic decay rate is found to be 0.5% of the free ¿ decay rate. Integrated as well as differential decay rates are given. The p- and n-induced decays are discussed thoroughly and it is shown that the corresponding total rates cannot be measured individually.