A model structure for coloured operads in symmetric spectra

We describe a model structure for coloured operads with values in the category of symmetric spectra (with the positive model structure), in which fibrations and weak equivalences are defined at the level of the underlying collections. This allows us to treat R-module spectra (where R is a cofibrant ring spectrum) as algebras over a cofibrant spectrum-valued operad with R as its first term. Using this model structure, we give sufficient conditions for homotopical localizations in the category of symmetric spectra to preserve module structures.

Generic optimality conditions for semi-algebraic convex programs

We consider linear optimization over a nonempty convex semi-algebraic feasible region F. Semidefinite programming is an example. If F is compact, then for almost every linear objective there is a unique optimal solution, lying on a unique \active" manifold, around which F is \partly smooth", and the second-order sufficient conditions hold. Perturbing the objective results in smooth variation of the optimal solution. The active manifold consists, locally, of these perturbed optimal solutions; it is independent of the representation of F, and is eventually identified by a variety of iterative algorithms such as proximal and projected gradient schemes. These results extend to unbounded sets F.

Les TIC a l'ensenyament de la modelització matemàtica en Ciències Econòmiques i en Ciències Experimentals

Aquest projecte proposa materials didàctics per a un nou plantejament de les assignatures de Matemàtiques dels primers cursos de Ciències Empresarials i d'Enginyeria Tècnica, més acord amb el procés de convergència europea, basat en la realització de projectes que anomenem “Tallers de Modelització Matemàtica” (TMM) en els quals: (1) Els alumnes parteixen de situacions i problemes reals per als quals han de construir per sí mateixos els models matemàtics més adients i, a partir de la manipulació adequada d’aquests models, poden obtenir la informació necessària per donar-los resposta. (2) El treball de construcció, experimentació i avaluació dels models es realitza amb el suport de la calculadora simbòlica Wiris i del full de càlcul Excel com a instruments “normalitzats” del treball matemàtic d’estudiants i professors. (3) S’adapten els programes de les assignatures de matemàtiques de primer curs per tal de poder-les associar a un petit nombre de Tallers que parteixen de situacions adaptades a cada titulació. L’assignatura de Matemàtiques per a les Ciències Empresarials s’articula entorn de dos tallers independents: “Matrius de transició” pel que fa a l’àlgebra lineal i “Previsió de vendes” per a la modelització funcional en una variable. L’assignatura de Matemàtiques per a l’Enginyeria s’articula entorn d’un únic taller, “Models de poblacions”, que abasta la majoria de continguts del curs: successions i models funcionals en una variable, àlgebra lineal i equacions diferencials. Un conjunt d’exercicis interactius basats en la calculadora simbòlica WIRIS (Wiris-player) serveix de suport per al treball tècnic imprescindible per al desenvolupament de les dues assignatures. L’experimentació d’aquests tallers durant 2 cursos consecutius (2006/07 i 2007/08) en dues universitats catalanes (URL i UAB) ha posat en evidència tant els innegables avantatges del nou dispositiu docent per a l’aprenentatge dels estudiants, així com les restriccions institucionals que actualment dificulten la seva gestió i difusió.

Superatomic Boolean algebras constructed from strongly unbounded functions

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

Rigid flat webs on the projective plane

This paper studies global webs on the projective plane with vanishing curvature. The study is based on an interplay of local and global arguments. The main local ingredient is a criterium for the regularity of the curvature at the neighborhood of a generic point of the discriminant. The main global ingredient, the Legendre transform, is an avatar of classical projective duality in the realm of differential equations. We show that the Legendre transform of what we call reduced convex foliations are webs with zero curvature, and we exhibit a countable infinity family of convex foliations which give rise to a family of webs with zero curvature not admitting non-trivial deformations with zero curvature.

Double adjunctions

We characterize double adjunctions in terms of presheaves and universal squares, and then apply these characterizations to free monads and Eilenberg-Moore objects in double categories. We improve upon an earlier result of Fiore-Gambino-Kock in [7] to conclude: if a double category with cofolding admits the construction of free monads in its horizontal 2-category, then it also admits the construction of free monads as a double category horizontally and vertically, and also in its vertical 2-category. We also prove that a double category admits Eilenberg-Moore objects if and only if a certain parameterized presheaf is representable. Along the way, we develop parameterized presheaves on double categories and prove a double Yoneda Lemma.

Twisted conjugacy in braid groups

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

Implementació dels codis de Golay en el paquet matemàtic SAGE

La motivació del present treball va sorgir de la necessitat de descodificar els codis de Golay, un tipus de codis lineals perfectes, en el paquet matemàtic Sage. Sage és un paquet software de lliure distribució i en actual desenvolupament i popularització destinat a aglutinar les funcionalitats de part dels paquets d'anàlisi matemàtic, calculadors simbòlics i manipuladors algebraics propietaris com Mathematica, Matlab, Maple, Magma. En el document es descriurà la implementació realitzada, destacant-ne els aspectes més rellevants. Per a tal efecte, es donarà una introducció als codis lineals i als seus aspectes matemàtics tant des de la vessant de la definició com de les propietats; i al paquet Sage.

Webs sempre accessibles: les biblioteques nacionals i els dipòsits digitals nacionals

Information and communication technologies enabled cultural and scientific patrimony -and information in general- to be presented in digital format, as well as in traditional analogical formats. The response was immediate and since the decade of the 1990s different projects have been designed to guarantee permanent access to the digital production -retrieval, storage, handling, preservation and dissemination. This article presents an international overview of existing models of national digital repositories, a name given to these projects that are normally generated by national libraries with a common objective: ensuring that web pages are always accessible.

Totes les vacances són diferents. És més beneficiós fer el descans anual sempre a la mateixa època i recordar-lo

Les vacances, el descans mensual, ens influeixen des del punt de vista psicològic i fisiològic, en vista de dos treballs científics recents que analitzen minuciosament els seus efectes.

Kumar's algorithm for solving Toeplitz systems of equations over finite fields

Adaptació de l'algorisme de Kumar per resoldre sistemes d'equacions amb matrius de Toeplitz sobre els reals a cossos finits en un temps 0 (n log n).

Pere Puig i Adam: ahir, avui i sempre

El tema central d'aquesta Lliçó serà doncs la figura emblemàtica del gran professor i matemàtic català Pere Puig i Adam (1900-1960). Si bé el centenari del seu naixement ja justifica per si mateix l'oportunitat de l'homenatge, hi ha un valor afegit al fet de parlar d'en Pere Puig i Adam : tots nosaltres com a catalans i com a gent de Matemàtiques podem unir a l'orgull de rememorar una figura senyera del nostre passat científic, el goig de conservar avui el seu patrimoni i el deure de projectar el seu exemple vers el nostre futur. Així doncs parlarem de qui va ser i qué va fer en Pere Puig i Adam, per després analitzar, amb ulls d'avui, la vigència i possible projecció del seu llegat.