L'esquema universal de clústers de 2-seccions d'una família de superfícies

Generalitzem el concepte de clúster de punts d'una superfície a clúster de seccions d'una família de superfícies per passar al cas relatiu, és a dir, a clústers de B-punts d'una B-superfície. Llavors definim, amb una propietat universal, la família universal de clusters de 2-seccions d'una família de superfícies, que, en cas que existir, és un esquema que parametritza tots els clústers de 2-seccions d'una famíla de superfícies. Demostrem la seva existencia sota certes hipotesis i trobem que es pot construir en termes de blowups a partir del producte de la família universal de seccions de la fmília de superficies per si mateixa. Al final del treball hi ha tres exemples que mostren part de la teoria estudiada.

Intrinsic subspace convergence in TDD MIMO communication

In numerical linear algebra, students encounter earlythe iterative power method, which finds eigenvectors of a matrixfrom an arbitrary starting point through repeated normalizationand multiplications by the matrix itself. In practice, more sophisticatedmethods are used nowadays, threatening to make the powermethod a historical and pedagogic footnote. However, in the contextof communication over a time-division duplex (TDD) multipleinputmultiple-output (MIMO) channel, the power method takes aspecial position. It can be viewed as an intrinsic part of the uplinkand downlink communication switching, enabling estimationof the eigenmodes of the channel without extra overhead. Generalizingthe method to vector subspaces, communication in thesubspaces with the best receive and transmit signal-to-noise ratio(SNR) is made possible. In exploring this intrinsic subspace convergence(ISC), we show that several published and new schemes canbe cast into a common framework where all members benefit fromthe ISC.

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).

Elements crisipians en àlgebres d-completes i àlgebres de Sales

El autor estudia los elementos de comportamiento clásico, o crisipianos, en álgebras d-completas (introducidas por él mismo como el sustrato algebraico de las lógicas completas) y en álgebras de Sales (sustrato algebraico de las lógicas multivaloradas). Da caracterizaciones de estos elementos en ambos casos. Estudia la relación de dichos elementos con los espectros irreducible, primo y completamente irreducible. Además obtiene que el conjunto de elementos crisipianos de un álgebra de Sales es una subálgebra y es un álgebra de Abbott (o de implicación).

The differentiable chain functor is not homotopy equivalent to the continuous chain functor

Let $S_*$ and $S_*^\{infty}$ be the functors of continuous and differentiable singular chains on the category of differentiable manifolds. We prove that the natural transformation $i: S_*^\infty \rightarrow S_*$, which induces homology equivalences over each manifold, is not a natural homotopy equivalence.

Performance Analysis of Two Quantum Reaction Dynamics Codes: Time-Dependent and Time-Independent Strategies

The computer simulation of reaction dynamics has nowadays reached a remarkable degree of accuracy. Triatomic elementary reactions are rigorously studied with great detail on a straightforward basis using a considerable variety of Quantum Dynamics computational tools available to the scientific community. In our contribution we compare the performance of two quantum scattering codes in the computation of reaction cross sections of a triatomic benchmark reaction such as the gas phase reaction Ne + H2+ %12. NeH++ H. The computational codes are selected as representative of time-dependent (Real Wave Packet [ ]) and time-independent (ABC [ ]) methodologies. The main conclusion to be drawn from our study is that both strategies are, to a great extent, not competing but rather complementary. While time-dependent calculations advantages with respect to the energy range that can be covered in a single simulation, time-independent approaches offer much more detailed information from each single energy calculation. Further details such as the calculation of reactivity at very low collision energies or the computational effort related to account for the Coriolis couplings are analyzed in this paper.

Monoidal functors, acyclic models and chain operads

We prove that for a topological operad $P$ the operad of oriented cubical singular chains, $C^{\ord}_\ast(P)$, and the operad of simplicial singular chains, $S_\ast(P)$, are weakly equivalent. As a consequence, $C^{\ord}_\ast(P\nsemi\mathbb{Q})$ is formal if and only if $S_\ast(P\nsemi\mathbb{Q})$ is formal, thus linking together some formality results which are spread out in the literature. The proof is based on an acyclic models theorem for monoidal functors. We give different variants of the acyclic models theorem and apply the contravariant case to study the cohomology theories for simplicial sets defined by $R$-simplicial differential graded algebras.

Dels jeroglífics egipcis a la compartició de secrets

En aquest article parlarem d'un jeroglífic inscrit als laterals de la llinda de Sant Andreu de la Barroca, una petita església perduda en un indret recòndit de la Vall del Llémena, a la Garrotxa. A propòsit d'aquest petit enigma ludolingüístic, plantejarem(i finalment resoldrem) un problema de naturalesa combinatòria que el lector interessat pot provar de resoldre com a exercici. També fem un breu repàs de la història del desxiframent '’escriptures de civilitzacions antigues. Aprofitem l'avinentesa per introduir els conceptes d'entropia i redundància del llenguatge, que ens ajudaran a entendre per què, tard o d'hora, qualsevolescriptura antiga finalment acaba essent desxifrada quan es té una conjectura raonable sobre quina és la llengua que transcriu. Finalment, definim el concepte d'esquema de compartició de secrets, un problema de criptografia moderna en el qual un conjunt de persones gestiona petits fragments d'informació compartida, i que es resol aplicant de manera brillant una idea que prové del món de l'àlgebra lineal més elemental

A Cartan-Eilenberg approach to Homotopical Algebra

In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of projective modules. We define a Cartan-Eilenberg category as a category with strong and weak equivalences such that there is an equivalence of categories between its localisation with respect to weak equivalences and the relative localisation of the subcategory of cofibrant objects with respect to strong equivalences. This equivalence of categories allows us to extend the classical theory of derived additive functors to this non additive setting. The main examples include Quillen model categories and categories of functors defined on a category endowed with a cotriple (comonad) and taking values on a category of complexes of an abelian category. In the latter case there are examples in which the class of strong equivalences is not determined by a homotopy relation. Among other applications of our theory, we establish a very general acyclic models theorem.