El exilio de la razón: Isabel de Bohemia y Simone Weil ante la ciencia cartesiana

Casi 300 años distancian la correspondencia de Isabel de Bohemia con Descartes de la lectura que del autor hace Simone Weil. Las dos, sin embargo, muestran una sutil comprensión de la aportación cartesiana y un empeño por hacerse cargo del significado de la misma en la constitución de la ciencia moderna, considerando las implicaciones de la sustitución de la geometría por el álgebra. Las dos subrayan también las dificultades queencuentran en el cartesianismo a la hora de enfocar la relación entre autoconocimiento einvestigación del mundo natural, un problema cuyas consecuencias centrarán buena partedel debate teórico del siglo XX.La investigación de las posibles coincidencias entre estas lecturas pretende aportar una perspectiva en la que se clarifican aspectos decisivos tanto del interés de estas autoras por la fundarnentación de la ciencia, como de los términos en los que, desde su origen, seplantean problemas que continúan abiertos.Casi 300 años distancian la correspondencia de Isabel de Bohemia con Descartes de la lectura que del autor hace Simone Weil. Las dos, sin embargo, muestran una sutil comprensión de la aportación cartesiana y un empeño por hacerse cargo del significado de la misma en la constitución de la ciencia moderna, considerando las implicaciones de la sustitución de la geometría por el álgebra. Las dos subrayan también las dificultades que encuentran en el cartesianismo a la hora de enfocar la relación entre autoconocimiento einvestigación del mundo natural, un problema cuyas consecuencias centrarán buena partedel debate teórico del siglo XX.La investigación de las posibles coincidencias entre estas lecturas pretende aportar una perspectiva en la que se clarifican aspectos decisivos tanto del interés de estas autoras por la fundarnentación de la ciencia, como de los términos en los que, desde su origen, seplantean problemas que continúan abiertos.

Sistemes lineals: una aproximació a algun dels seus conceptes i problemes rellevants

L'objectiu que m'he proposat al preparar aquesta exposicióha estat el de mostrar. per una banda, com alguns delsproblemes bàsics de la teoria de Sistemes Dinàmics Linealstenen una resposta senzilla en termes de l' Álgebra lineal i,d'altra, com alguns problemes importants d'aquesta teorias'entronquen amb conceptes i tècniques bàsiques de la geometriai la topologia

La funció Z de Riemann

El novembre de 1859 Riemann envià un manuscrit de sis fulls a l’Acadèmia de Berlín titulat Sobre el nombre de primers menors que una quantitat donada, el qual seria l’única publicació dedicada a la teoria de nombres de tota la seva producció científica. Aquest treball, sens dubte una de les peces mestres de les matemàtiques de tots els temps, és pioner en l’aplicació de tècniques analítiques per a l’estudi de problemes aritmètics. En ell Riemann introdueix la funció Z i en dóna diverses propietats, de les quals en treu conseqüències sobre l’acumulació dels nombres primers. També hi enuncia la famosa conjectura sobre els seus zeros que ha passat a la història amb el nom d’hipòtesi de Riemann, i que, havent resistit els esforços de molts dels millors matemàtics del segle xx, és considerada avui dia el problema obert més important de les matemàtiques. L’objectiu d’aquestes notes és explicar el contingut del treball de Riemann i el paper fonamental que ha jugat en l’estudi de la distribució dels nombres primers.

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.

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.

Comparação entre métodos de amostragem do solo para recomendação de calagem e adubação do cafeeiro conilon

O objetivo deste trabalho foi comparar a metodologia convencional de amostragem de solo com a análise espacial para a recomendação de calagem e adubação de nitrogênio, fósforo e potássio em solo cultivado com café conilon. O experimento foi realizado nas safras de 2004/2005 e 2005/2006, em área de 1,0 ha, com as amostras retiradas na profundidade de 0-0,20 m. No método convencional, coletaram-se 15 subamostras em caminhamento ziguezague, constituindo uma amostra composta, e, no método espacial, construiu-se uma malha amostral de 109 pontos georreferenciados. Com os resultados das análises, foi calculada a necessidade de calagem e adubação em função do teor do elemento no solo e da produtividade esperada das plantas. Os dados foram analisados por meio da estatística clássica (descritiva e exploratória) e pela análise espacial, utilizando técnicas de geoestatística (modelagem da estrutura de variabilidade espacial e realização de inferências) e geoprocessamento (álgebra de mapas). Com exceção da recomendação de fósforo em 2005 e potássio em 2006, todas as demais recomendações apresentaram dependência espacial. A análise dos dados pelo método espacial possibilitou identificar zonas de déficit ou excesso de calagem e de adubação na área, que não poderiam ser definidas com o método convencional de amostragem (ziguezague).

Uso da geotecnologia para caracterizar os cafezais no município de Londrina-PR, em relação à altimetria, declividade e tipo de solo

O sensoriamento remoto e o geoprocessamento são ferramentas importantes no apoio aos levantamentos de dados da agricultura. O estudo teve por objetivo relacionar as variáveis físicas, como altimetria, declividade e tipo de solo com o agrossistema cafeeiro, no município de Londrina-PR, por meio de imagem do sensor Thematic Mapper (TM) do satélite Landsat-5, aliado às técnicas de geoprocessamento. Foi criado um banco de dados com informações de altimetria, declividade e classes de solos, e através de álgebra de mapa, realizado o cruzamento destas informações com a localização das lavouras cafeeiras, a qual foi obtida por meio do classificador digital Bhattacharya aplicado na imagem. A imagem do TM possibilitou o mapeamento de 79% das lavouras cafeeiras e verificou-se que 86% destas lavouras estão em altitudes superiores a 540 m, e 50% estão localizadas sobre áreas de 8 a 20% de declividade. Em relação aos solos, observou-se que 53% dos cafeeiros estão localizados em Nitossolo Vermelho eutroférrico. Todas estas tarefas foram executadas por meio do programa SPRING 4.3.3, o qual foi uma adequada ferramenta para obter dados da agricultura a partir de imagens de satélites.