Página web del


Seminario de investigación en Matemáticas, Estadística y Computación

Este seminario tendrá lugar aproximadamente dos veces al mes en la facultad de Ciencias de la Universidad de Cantabria.     Normalmente el lugar es la sala de grados de la facultad, o el seminario del
Departamento de MATESCO (Matemáticas,     Estadística y Computación), ambos situados en la planta baja, en el mismo pasillo que Secretaría del Departamento.


Viernes, 25 de mayo de 2012 a las 13:00 en la Sala de Grados de la Facultad de Ciencias.

Seminario expositivo.

Título: Una breve historia de la Geometría Diferencial durante el periodo 1911-2011.

Conferenciante: Antonio Martínez Naveira (Universidad de Valencia).

Abstract:

Se da una visión del desarrollo de esta especialidad durante el siglo XX. Se pone de manifiesto la importancia que han tenido los Profesores Santaló y Vidal-Abascal para la introducción y desarrollo de esta especialidad en España durante los primeros sesenta años. Se analiza el desarrollo de la misma en la práctica totalidad de las Facultades de Matemáticas en España, mostrando la importancia que han tenido las relaciones internacionales para que los investigadores españoles pudiesen incorporarse a las corrientes científicas que se venían desarrollando en los centros mas prestigiosos del mundo. Se analiza la labor de los componentes de algunos de los grupos punteros en estos momentos en esta disciplina y se finaliza la exposicion mostrando algunas fotos históricas de geómetras y matemáticos famosos, (entre ellos Rey-Pastor, De Rham, Lichnerowicz, Deheuvels, Santaló y Vidal-Abascal). El contenido lo puede seguir cualquier estudiante de cualquier curso de las licenciaturas y grados de Matemáticas y Fisicas.



Lunes, 21 de mayo de 2012 a las 17:30 en la Sala de Grados de la Facultad de Ciencias.

Título: Refined bounds on the number of connected components of sign conditions on a variety.

Conferenciante: Saugata Basu (Universidad de Purdue, EEUU).

Abstract:

Let R be a real closed field, P, Q contained in R[X1,...,Xk] finite subsets of polynomials, with the degrees of the polynomials in P (resp. Q) bounded by d (resp. d0 ). Tight bounds on the number of connected components of the realizations of all realizable sign conditions of the family P on the real variety defined by the polynomials in Q have several applications in different areas of mathematics. A new application in discrete geometry (which I will explain) has made it important to study the different dependence of such a bound on d and d0 respectively. We prove the following result. Let V be the real algebraic variety defined by the polynomials in Q and suppose that the real dimension of V is bounded by k. We prove that the number of semi-algebraically connected components of the realizations of all realizable sign conditions of the family P on V is bounded by a certain quantity depending on the degrees and number of variables, improving previous bounds by Basu, Pollack and Roy (2009), in the case d = d0 . (Joint work with Sal Barone).



Lunes, 21 de mayo de 2012 a las 16:30 en la Sala de Grados de la Facultad de Ciencias.

Título: Sylvester double sums and real root counting.

Conferenciante: Marie Francoise Roy (Universidad de Rennes I, Francia).

Abstract:

There are two ways to define the resultant of two polynomials P and Q, as the determinant of Sylvester matrix, through the coefficients of P and Q or as a symmetric expression of the roots of P and Q. The subresultant polynomials can also be described in two different ways, through the coefficients of P and Q or as a symmetric expression of the roots of P and Q, thanks to formulae called "Sylvester double sums", defined only in the case when there are no multiple roots. In a work in progress with Aviva Szpirglas we define Sylvester double sums when there are multiple roots and give a new proof of the fact they coincide with subresultants. The relations between various real root counting methods can then be clarified.



Viernes, 30 de marzo de 2012 a las 11:45 en la Sala de Grados de la Facultad de Ciencias.

Seminario expositivo.

Título: Sobre la conjetura de Pierce--Birkhoff y el teorema de Mahe.

Conferenciante: Jorge Caravantes (Universidad Complutense de Madrid).

Abstract:

Durante la charla se recordarán la conjetura y el teorema del título en el caso más sencillo (una variable) y se introducirá una demostración sencilla y explícita del caso unidimensional, lo que plantea el problema de diseñar un algoritmo adecuado cuya ejecución y salida no tengan demasiada complejidad.


Jueves, 1 de marzo de 2012 a las 16:30 en la sala de audiovisuales (en el pasillo que lleva al Corte Inglés).

Seminario expositivo.

Título: How should we talk about mathematical understanding? Reflections on the past, present, and future of the constructs of conceptual knowledge and procedural knowledge.

Conferenciante: Jon Star (Harvard University, Cambridge, Massachusetts).

Abstract:

In this talk, I explore the ways that mathematics educators talk about mathematical understanding, especially the widely-used distinction (in English) between conceptual knowledge and procedural knowledge of mathematics. I begin by thinking about when and why mathematics educators began using this terminological framework and what the framework illuminates and obscures. I then argue that this framework for mathematical understanding is quite problematic because it conflates and thus confuses three distinct and important realms of investigation: the pedagogical (how we teach mathematics), the mathematical (the nature of mathematics), and the psychological (the development of understanding of mathematics). Support for my argument comes from relatively recent literature in mathematics education (from 1986 to the present) as well as earlier (1960s and 1970s) and much earlier (from the beginnings of the field of mathematics education, over one hundred years ago) scholarship.


Martes, 20 de diciembre de 2011 a las 11:45 en la Sala de Grados de la Facultad de Ciencias.

Título: Uniform distribution and discrepancy of certain hybrid sequences.

Conferenciante: Roswitha Hofer (Institute for Financial Mathematics, University of Linz).

Abstract:

In the talk we discuss the distribution properties of sequences in the multi-dimensional unit cube which are constructed by juxtaposing the components of two or more different quasi Monte Carlo sequences. In particular we consider such sequences where the components stem from Halton sequences, digital $(t,s)$-sequences and Kronecker sequences.



Viernes, 11 de noviembre de 2011 a las 12:00 en la sala de seminarios del Depto. Matesco (F. Ciencias, planta baja).

Seminario expositivo.

Título: Análisis de datos y su relación con politopos.

Conferenciante: Domingo Gómez Pérez (Universidad de Cantabria).

Abstract:

Un problema frecuente en el análisis de datos es el llamado "k-clustering", que consiste en, dada una serie de datos (por ejemplo, n puntos en el plano o en el espacio), agruparlos en k subconjuntos (clusters) que agrupen de forma natural (un sencillo concepto basado en la varianza estadística) a los puntos que contienen. En esta charla consideraremos el problema de k-clustering para un conjunto de n puntos en un espacio d-dimensional. Este problema ha sido considerado por Inaba, Katoh y Imai, que encontraron una relación con la teoría clásica de politopos: resolver k-clustering es equivalente a encontrar un cierto politopo dentro de un conjunto de politopos. De esta relación nace un algoritmo para k-clustering, basado en una idea de Avis y Fukuda de utilizar algoritmos de busqueda para enumerar los elementos de este conjunto de politopos. Esta técnica tiene diversas aplicaciones, entre las que estan enumerar las triangulaciones de n puntos y econtrar soluciones a problemas de programacion entera 0-1. En esta charla presentaremos una implementación que resuelve el problema de encontrar el clustering óptimo aplicando este algoritmo y discutiremos otra forma de encontrarlo tomando muestras aleatorias y además usando puntos uniformemente distribuidos (de baja discrepancia). Daremos una pequena introducción a estas secuencias de puntos, sus propiedades y una cota del numero de puntos necesarios para asegurarnos que podemos encontrar la solución del problema.



Viernes, 10 de junio de 2011 a las 10:00 en la Sala de Grados de la Facultad de Ciencias.

Título: La formación matemática de maestros en la Universidad de Granada.

Conferenciante: José Luis Lupiáñez (Universidad de Granada).

Abstract:

La reciente implantación del Grado de Maestro en Educación Primaria en varias universidades españolas, nos ha llevado a fundamentar, estructurar y organizar las materias que constituyen la formación didáctica y matemática de los futuros maestros, de acuerdo a las nuevas directrices curriculares que establecen las competencias profesionales que éstos deben desarrollar durante su formación inicial. Los nuevos títulos sugieren nuevas formas de trabajo con los alumnos con espacios, tamaño de grupos y estructuración del tiempo diferentes. Nos encontramos, por tanto, ante un nuevo modelo de enseñanza que requiere un gran esfuerzo de trabajo y coordinación entre el profesorado involucrado. En este nuevo marco, se hace necesario el debate y el intercambio de experiencias entre las diferentes universidades que los llevan a cabo. En esta conferencia me centraré en la materia "Bases Matemáticas para la Educación Primaria" del citado Grado en la Universidad de Granada. En primer lugar, presentaré el contexto en el que se ha llevado a cabo y la estructura y la organización de la materia, que se ha establecido en el seno de un proyecto de innovación docente. A continuación describiré cómo ha sido llevada a la práctica el presente curso prestando especial interés a la selección y secuenciación de contenidos así como a la realización de los seminarios. En tercer lugar mostraré algunos resultados encontrados en términos del desarrollo de las competencias establecidas por los estudiantes a partir del modelo de evaluación organizado. Finalmente, presentaré algunas de las decisiones acordadas para el próximo curso académico con motivo de los resultados encontrados y comentaré algunos de los avances en la materia de segundo curso.



Miércoles, 8 de junio de 2011 a las 12:00 en la Sala de Grados de la Facultad de Ciencias.

Seminario expositivo.

Título: Case-Based Planning for Real-Time Strategy Games.

Conferenciante: Santiago Ontañón Villar (Centro de Inteligencia Artificial (CSIC, Barcelona).).

Abstract:

Computer games have been classified as the "Human-level AIs Killer Application". State-of-the-art computer games recreate real-life environments with a surprising level of detail. However, even though there have been enormous advances in computer graphics, animation and audio for games, most games contain very basic artificial intelligence AI techniques. The purpose of the talk will be two fold. First I will present the domain of computer games, and in particular or Real-Time Strategy (RTS) games and explain why are they interesting from an AI point of view. Second, I will present an approach based on Case-Based Reasoning (CBR) and Learning from Demonstration (LfD) capable of automatically learning how to play complex RTS games.



Viernes, 3 de junio de 2011 a las 12:00 en la Sala de Grados de la Facultad de Ciencias.

Seminario expositivo.

Título: Machine Learning from Observation.

Conferenciante: Avelino J. Gonzalez (University of Central Florida).

Abstract:

Learning by watching others do something is a natural and highly effective way for humans to learn. When we teach other humans, we often tell them ”Here, watch how I do it.” Infants of many species often learn things by observing adults. Studies have shown that humans fully develop observational learning by the age of 24 months. It is also an intuitive and highly promising avenue for machine learning. It provides a way for machines to learn how to perform tasks in a more natural fashion and overcomes some of the problems with elicitation of tacit knowledge that are inherent in traditional knowledge acquisition. This talk will introduce the audience to the topic of learning from observation, as well as its closely-related area of learning from demonstration. It will define the problem formally, survey the state of the art and discuss the difficulties involved in achieving true learning from observation.

Biographical Sketch

Dr. Avelino Gonzalez is currently a Professor in the Computer Science Division of the Department of Electrical Engineering and Computer Science at UCF. He has been at UCF since 1986, when he joined the Computer Engineering Department as an Associate Professor. His area of research and teaching has been in artificial intelligence and machine learning, especially as applied to simulations. He has authored two textbooks on knowledge-based systems, as well as over 200 research articles on the subject. He is one of the founding Co-directors of the Intelligent Systems Laboratory at UCF. Dr. Gonzalez has a Ph.D. in Electrical Engineering from the University of Pittsburgh, and MSEE and BSEE degrees, also in Electrical Engineering, from the University of Miami. Prior to coming to UCF, he was employed in various engineering and managerial positions at the Westinghouse Electric Corporation in Pittsburgh, PA and later in Orlando, FL. His work at Westinghouse included development of the Westinghouse GenAID system – the first commercially offered knowledge-based system application. A real time monitoring and diagnostic system for large electrical turbine-driven generators, GenAID is still operational and actively being marketed by Siemens to this day.



Jueves, 14 de abril de 2011 a las 13:00 en la Sala de Grados de la Facultad de Ciencias.

Título: Border algorithms for computing Hasse diagrams of arbitrary lattices.

Conferenciante: Cristina Tirnauca (Universidad de Cantabria).

Abstract:


Lattices are partially ordered sets in which any two elements have a supremum (least upper bound) and an infimum (greatest lower bound). One well-established use of lattice theory is in formal concept analysis (FCA), where the concept lattice with its diagram allows the visualization and summarization of data in a more concise representation. In order to draw the diagram one needs the transitive reduction of the lattice, which is algorithmically nontrivial to compute.We show how two existing algorithms that find the transitive reduction of a concept lattice can be generalized to arbitrary lattices.



Lunes, 4 de abril de 2011 a las 13:00 en la Sala de Grados de la Facultad de Ciencias.

Seminario expositivo

Título: Algebraic properties of polynomial iterates.

Conferenciante: Alina Ostafe (Macquarie University).

Abstract:

Partially motivated by applications to pseudorandom number generators, we discuss some (mostly open) questions about algebraic properties of polynomial dynamical systems, such as degree growth, irreducibility of iterations of polynomials, etc. In particular, we are interested in characterising the irreducible polynomials which have the property that all the iterations are also irreducible. Polynomials having this property are called stable. Standard heuristic, based on the density of irreducible polynomials, suggests that there should be very few stable nonlinear polynomials over finite fields while almost all polynomials over Z should be stable. Unfortunately questions of this type are notoriously hard, and essentially all known results apply only to univariate quadratic polynomials.


The goals of this talk are to present:


degree growth of iterations of polynomials/rational functions and other algebraic properties of such dynamical systems;

the few results that are known for stable quadratic polynomials, in particular about the orbit length of such dynamical systems, which introduce to the area such new tools as the Weil bound of character sums;

new nontrivial results about the stability of arbitrary polynomials over finite fields;

open questions related to this problem.


Joint work with O. Ahmadi, D. Gomez, F. Luca, A. P. Nicolás, D. Sadornil and I. E. Shparlinski


Jueves, 31 de marzo de 2011 a las 13:00 en la Sala de Grados de la Facultad de Ciencias.

Título: Spectral geometry of the Laplacian and quantum waveguides.

Conferenciante: David Krejčiřík (Nuclear Physics Institute, Czech Republic).

Abstract:


The spectral problem for the Laplace-Beltrami operator, subject to various boundary conditions, is important in many areas of physics and probably most notably in quantum mechanics. We give an introductory talk on the interplay between the geometry of Euclidean domains and the spectrum of the associated Dirichlet Laplacian. After a general overview, we focus on unbounded tubular domains modelling quantum waveguides and investigate the existence of curvature-induced eigenvalues in bent tubes and Hardy-type inequalities in twisted tubes of non-circular cross-section.

Viernes, 3 de diciembre de 2010 a las 13:00 en la Sala de Grados de la Facultad de Ciencias.

Charla de tipo expositivo.

 Título: Polynomial Algebra by Values and its Applications.

Conferenciante: Azar Shakoori (Universidad de Cantabria).

Abstract:

The polynomial root-finding problem has a long and rich history in computational mathematics, mainly because of its frequent applications in engineering. It may be the case that the polynomial system as it appears naturally in the application formulation is not presented in the familiar monomial basis. The approach we take avoids conversion between bases.


The root-finding algorithm we present, is a hybrid of a resultant-type algorithm and eigenvalue techniques. We use some new formulations for the Bézout matrix and the companion matrix pencil associated with a pair of bivariate polynomial equations described by their values.


In many practical problems, one is interested in computing the topology of an algebraic curve whose parametric or implicit equations have rather high degrees, numerous terms and very large coecients. Applying the currently available methods for computing the topology of the curve, with such polynomial equations, requires a big amount of memory space and a signi
cant amount of computing time. This is one of the main reasons why, in our current project, we assume that neither the implicit equation, nor the parametrization of the given curve are known. Instead, sufficient number of points in the curve and the corresponding values of the equations and derivatives are known, and the degree is also given or can be deduced. Our root-finding algorithm allows the computation of the topology of the curve using only this data.


This is a joint work with Robert M. Corless, Gema Dıaz Toca, Mario Fioravanti, Laureano Gonzalez–Vega, and Ignacio F. Rua.


Martes, 16 de noviembre de 2010 a las 13:00 en la Sala de Grados de la Facultad de Ciencias.

Título: Optimal Dispatching of Welding Robots.

Conferenciante: Joerg Rambau (Universität Bayreuth).

Abstract:

Some car manufactures use laser welding technology for the assembly of car bodys. The equipment in a welding cell consists of a number of welding robots and one or more laser sources, each of which can supply more than one robot, but only one at a time.  The question is: "How many laser sources are needed to process a given set of welding tasks in a given time?"  In order to answer this question, we present a makespan minimization model and a branch & bound algorithm for it. The new feature is that the B&B is not LP- based but uses combinatorial ATSP-relaxations in order to find vastly improved lower bounds compared to LP-relaxations of common modelling approaches.

Joint work with my PhD. student Cornelius Schwarz.

Jueves, 18 de noviembre de 2010 a las 9:30 en la Sala de Grados de la Facultad de Ciencias.

 Título: Algebraic Geometric Algorithms in Discrete Optimization.

Conferenciante: Jesús De Loera (University of California).

Abstract:

It is common knowledge that the understanding of the geometry of convex bodies has helped speed up algorithms in discrete optimization. For example, cutting planes and facet-description of polyhedra have been crucial in the success of branch-and-bound algorithms for mixed integer linear programming. Another example, is how the ellipsoid method can be used to prove polynomiality results in combinatorial optimization. For the future, the importance of algebra and geometry in optimization is even greater since applications now demand non-linearity constraints together with discrete variables.

In the past 5 years two beautiful algebraic geometric algorithms on polyhedra have been used to prove unexpected new results on the computation of integer programs with non-linearly objective functions.

The first is Barvinok's algorithm for polytopes, the second is Graver's bases method on polyhedral cones. I will describe these two algorithms and explain why we can now prove theorems that were beyond our reach before. I will also describe attempts to turn these two algorithms into practical computation, not just in theoretical results.

This is a nice story collecting results contained in several papers joint work with various subsets of the following people: R. Hemmecke, M. Koeppe, S. Onn, U. Rothblum, and R. Weismantel.


Lunes, 18 de octubre de 2010 a las 17:30 en la Sala de Grados de la Facultad de Ciencias.

Título: Constrained optimization of polynomial functions, semidefinite relaxations, and how to exploit symmetries.

Conferenciante: Thorsten Theobald (Goethe-Universitaet Frankfurt am Main).

Abstract:

Solving or even computing lower bounds in constrained optimization of polynomial functions is a fundamental, but notoriously difficult problem with important applications.

In recent years, some intriguing results on the representation of positive polynomials have permitted to define a hierarchy of semidefinite relaxations for these problems. Those developments, whose basic idea is to approximate the cone of non-negative polynomials by the cone of sums of squares, now provide a fundamental bridge between optimization of polynomials, semidefinite programming and convex algebraic geometry.

In the first part of the talk we introduce the core ideas in this framework and give an overview over some recent developments. Then, in the second part of the talk, we discuss the question of how symmetries can be exploited to increase the scale of applicability. Our apecial focus is on discrete groups (such as the symmetric group), and we meet the block decomposition in the framework of constrained polynomial optimization, the degree principle, and techniques for efficient computation in the geometric quotient.

(Partially based on joint work with L. Jansson, J. Lasserre, and C. Riener.)



Viernes, 8 de octubre de 2010 a las 13:15 en el Seminario del Departamento Matesco (frente a Secretaría).

Charla expositiva.

Título: Sobre el problema de distinguir números primos de números compuestos .

Conferenciante: Pedro Berrizbeitia (Universidad Simón Bolivar).

Abstract:

En esta conferencia describiremos las ideas y resultados más importantes que han contribuido a encontrar números primos cada vez más grandes y a encontrar maneras cada vez más eficientes de distinguir los números primos de los compuestos. Nuestra historia empieza en la antigua Grecia con la noción de números perfectos, pasa por las contribuciones de Fermat en el siglo XVII, de Euler en el siglo XVIII, de Lucas en el siglo XIX; sigue con una breve descripción del enorme desarrollo del tema después de Lucas y a lo largo del siglo XX y del resultado de Agrawal, Kayal y Saxena, del Instituto de Tecnológico de Kanpur, en India, quienes en el año 2002 sorprendieron a la comunidad científica internacional con el algoritmo hoy conocido como AKS, el de mayor envergadura teórica en el tema; concluye con la llamada versión “práctica” de AKS, en la cual tenemos un papel protagónico. Finalizaremos la charla describiendo contribuciones al tema obtenidas por nuestro grupo de Investigación de la Universidad Simón Bolívar, algunas en colaboración con investigadores españoles.


Viernes, 24 de septiembre de 2010 a las 12:45 en la Sala de Grados de la Facultad de Ciencias.

Título: El problema del isomorfismo de grafos no es reducible al isomorfismo de grupos.

Conferenciante: Jacobo Torán (Universidad de Ulm).

Abstract:

Los problemas de decidir si dos grafos o dos grupos (representados por su tabla de multiplicación) son isomorfos, son dos importantes problemas cuya complejidad no esta todavía satisfactoriamente resuelta. Por un lado no se conocen algoritmos eficientes para ellos y por otro lado parecen ser mas fáciles que los problemas NP-completos. Se sabe que el problema sobre grupos puede reducirse al isomorfismo de grafos. En esta charla demostraremos que el isomorfismo de grafos es estrictamente mas complejo que el isomorfirmo de grupos bajo el orden inducido por la reducibilidad entre problemas computada por circuitos de profundidad constante (AC0 reducibilidad). Para ello daremos mediante un cierto tipo de circuitos una nueva cota superior para el problema del isomorfismo de grupos y demostraremos que esos circuitos no pueden computar el problema del isomorfismo de grafos.



Martes, 29 de junio de 2010 a las 12:45 en la Sala de Grados de la Facultad de Ciencias.

Título: ¿Qué son las medidas de Young y para qué sirven?

Conferenciante: Pablo Pedregal, Universidad de Castilla La Mancha.

Abstract:

Las medidas de Young son una herramienta diseñada para tratar el comportamiento de funcionales no lineales respecto a la convergencia débil. Se describirá en términos precisos, pero no técnicos, cómo se consigue este objetivo, así como se detallará su uso concreto en problemas más específicos en homogeneización y diseño óptimo.




Lunes, 7 de junio de 2010 a las 13:15 en la Sala de Grados de la Facultad de Ciencias.

Título: Un contraejemplo a la Conjetura de Hirsch.

Conferenciante: Francisco Santos (Universidad de Cantabria).

Abstract: The Hirsch conjecture, stated in 1957, said that if a polyhedron is defined by $n$ linear inequalities in $d$ variables then its combinatorial diameter should be at most $n-d$. That is, it should be possible to travel from any vertex to any other vertex in at most $n-d$ steps (traversing an edge at each step). The unbounded case was disproved by Klee and Walkup in 1967. In this talk I will describe the construction of the first counter-example to the bounded case (a polytope).

The conjecture was posed and is relevant in the context of the simplex method in linear programming. The simplex method, after all, finds the optimal solution by moving from vertex to vertex along the edges of the feasibility polyhedron. Experimentally, the simplex method usually finishes in a linear number of steps, but examples where certain choices of pivot rules lead to exponentially long paths exist, and no pivot rule is known that can be proved to always finish in a polynomial number of steps. Even if other methods for linear programming are proved to be polynomial (Karmakar, Khachiyan), the simplex method remains one of the methods most often used in practice.

From a complexity theory point of view, it is also significant that the known methods are polynomial in the "bit complexity" model, but a polynomial pivot rule for the simplex method would provide a "strongly polynomial" algorithm, that is, one that is polynomial also in the "real machine" model. The question whether such a "strongly polynomial" method exists for linear programming was included by S. Smale in his list of "Mathematical problems for the next century" (AMS, 2000). Of course, a polynomial pivot rule can only exist if the combinatorial diameter is polynomially bounded.




Jueves, 27 de mayo de 2010 a las 13:15 en la Sala de Grados de la Facultad de Ciencias.

Título: Hipersuperficies tropicales singulares

Conferenciante: Luis Felipe Tabera (Universidad de Cantabria).

Abstract:

Dado un polinomio cuyos coeficientes son series de potencias (series de Puiseux), el teorema de Newton-Puiseux nos permite calcular los órdenes de las raíces de f a partir de los órdenes de las series . Recordemos que el orden de una serie de potencias no es más que el exponente más pequeño que aparece en el desarrollo de dicha serie.

La pregunta que trataremos de responder en esta charla es la siguiente:

Problema: Supongamos que tenemos un polinomio

cuyos coeficientes son series de potencias. Calcular los posibles órdenes que admiten las coordenadas de un punto singular de f conociendo tan solo los órdenes o de las series y los exponentes .

Para ello, recordaremos el concepto de hipersuperficie tropical asociada por medio del órden (valoración) en las series.

También recordaremos el concepto de variedad discriminante asociada a una familia de hipersuperficies de soporte fijado A y la relación existente entre la variedad discriminante y el politopo secundario de A.

Finalmente, introduciremos la noción de hipersuperficie tropical singular y métodos para calcular puntos singulares en una hipersuperficie tropical, lo que responderá a la pregunta planteada.

Trabajo conjunto con Alicia Dickenstein de la Universidad de Buenos Aires.





Viernes, 21 de mayo de 2010 a las 12:00 en el Seminario del Departamento Matesco (Facultad de Ciencias)

Charla expositiva

Título: Boundary Integral Equation Method in Elasticity with Microstructure.

Conferenciante: Stanislav Potapenko (University of Waterloo, Ontario)

Abstract:

The classical theory of elasticity is based on an ideal model of the elastic continuum in which the transfer of loading through any interior surface element occurs only by means of the (force) stress vector. This assumption leads to a description of the strain of the body in terms of symmetric strain and stress tensors.

Results from analytical models derived on the basis of classical elasticity are in good agreement with experiments performed within the elastic range on numerous structural materials for example such as concrete, steel or aluminium.

The classical theory of elasticity, however, fails to produce acceptable results when the microstructure of the material contributes significantly to the overall deformation of the body, for example, in the case of granular bodies with large molecules (e.g. polymers, rocks) or human bones. These cases are becoming increasingly important in the design and manufacture of modern day advanced materials as small-scale effects become paramount in the prediction of the overall mechanical behaviour of these materials.

The foundations of a theory allowing us to account for the effect of material microstructure were developed in the middle of the twentieth century and is known now as the theory of Cosserat (micropolar) elasticity. According to the provisions of the theory the transfer of loadings through any interior surface element occurs not only by means of the force vector but also by means of the independent moment vector. This assumption leads to the description of the mechanical behaviour of the body in terms of both asymmetric stress and couple stress tensors.

In this presentation, we consider several interesting problems of practical importance which can be modelled using the provisions of linear Cosserat elasticity and show that for many of these problems the boundary integral equation method can be used to obtain the exact analytical solutions. We consider a number of examples and make suggestions for the future research directions in this area.



Viernes, 14 de mayo de 2010 a las 12:00 en la Sala de Grados de la Facultad de Ciencias.

Título: Desarrollo híbrido dirigido por modelos para el modelado multidimensional de almacenes de datos.

Conferenciante: José-Norberto Mazón (Grupo Lucentia, Universidad de Alicante).

Abstract:

El desarrollo de un modelo multidimensional para almacenes de datos es una tarea compleja y sensible a errores debido, principalmente, a dos factores. Por una parte, deben considerarse en un modelo conceptual tanto las necesidades de información de los analistas como las fuentes de datos operacionales que poblarán el almacén de datos. Por otra parte, se debe obtener una implementación a partir de este modelo conceptual multidimensional. Sin embargo, no se han llevado a cabo esfuerzos significativos para acometer estas tareas de una manera sistemática y bien estructurada. Con el fin de solventar esta problemática, se propone el uso de MDA (Model Driven Architecture) para el desarrollo de un modelo multidimensional híbrido a nivel conceptual y para la derivación automática de su representación lógica.



Viernes, 23 de Abril de 2010 a las 12:45 en la Sala de Grados de la Facultad de Ciencias.

Título: Puiseux series computation: a modular-numeric approach

Conferenciante: Adrien Poteaux (Institut für Angewandte Geometrie, Linz).

Abstract:

Given a bivariate polynomial F ∈ k[x, y] and α a root of the discriminant of F in y, computing nunmerical approximations of Puiseux series of F above α (i.e. the series in (x − α) solutions of the polynomial F viewed as a univariate polynomial in y) is not an easy task.

Usual algorithms, namely the Newton-Puiseux algorithm and its variants, are symbolic algorithms. Computing Puiseux series symbolically may be costly, because of the extension fields involved and the coefficient growth.

Moreover, a numerical evaluation of these coefficients may sometimes need a high number of digits due to devastating cancellations. On the other hand, it is difficult to use pure numerical computations directly: the slightest approximation causes Newton-Puiseux algorithm to miss essential information, such as ramification indices. It also causes numerical instabilities, since any close approximation α0 of α leads to expansions with a very small convergence radius |α − α0|.

To resolve the matter, we describe a new symbolic-numeric strategy. Indeed, studying the Newton-Puiseux algorithm, we can note that only two type of informations are needed exactly: Newton polygons and multiplicity structures of the characteristic polynomials. Thus, our strategy can be resumed as follows: we first compute the Puiseux series modulo a well chosen prime number p. This gives us the structure of the Puiseux series, namely the “polygon tree”. Then, we show how to follow this polygon tree to compute numerical approximations of the Puiseux series coefficients.

This talk will be divided in two parts: we will first recall a lot of stuff on plane algebraic curves to describe our initial motivation (monodromy group computation as a first step towards an effective Abel-Jacobi theorem) to this work. Then, we will describe our modular-numeric algorithm: we will briefly recall the Newton-Puiseux algorithm, introducing a few definitions; then, we will give, without going into details, our reduction and complexity results for the modular part; finally, we will describe the numerical part of the algorithm by following an example. This is a work made during my PhD at the University of Limoges, in collaboration with Marc Rybowicz.


Viernes, 19 de Marzo de 2010 a las 12:45 en la Sala de Grados de la Facultad de Ciencias.

Título: Alrededor del concepto de álgebra de Filippov.

Conferenciante: Patrícia Damas Beites (Universidade da Beira Interior, Covilhã).

Abstract:

En esta charla se presentan algunos problemas resueltos, y otros
abiertos, que están relacionados con el concepto de álgebra de Filippov. Dicho concepto fue introducido, en 1985, por el matemático ruso Valerii Terent'evich Filippov, como una generalización natural de la noción de álgebra de Lie.

Por una parte, se caracteriza un álgebra ternaria cuaterniónica que surge análogamente a como lo hacen los cuaternios a partir del álgebra de Lie sl(2). Concretamente, se define una nueva multiplicación en el espacio vectorial subyacente al álgebra de Filippov A4.

Por otra parte, se indican los pasos ya dados en la clasificación de las super-álgebras de Filippov simples sobre un cuerpo algebraicamente cerrado de característica cero. Estas super-álgebras constituyen una generalización, debida a Daletskii y Kushnirevich, de la noción de álgebra de Filippov.



Jueves, 25 de Febrero de 2010 a las 16:30 en la Sala de Grados de la Facultad de Ciencias.

Seminario expositivo

Título: New trends for the polynomial system solving problem.

Conferenciante: Jean Pierre Dedieu, Université Paul Sabatier (Toulouse).

Abstract:

The problem we will consider in this talk (one of the oldest math problems) is to solve a system of polynomial equations. By "solving" we mean to find approximate solutions of a given system.

The most popular strategy to reach this goal is based on homotopy methods: we start by choosing an “easy” system which has a known solution. Then, we define a curve (in the vector space of systems) which joins that easy system with the target one, and we try to follow the associated “curve of solutions”. This curve joins the known solution of the easy system and the unknown solution of the target system.

If the chosen curve of systems is close to the set of systems with multiple roots, the problem of following the curve of solutions is harder. Thus, we are interested in choosing the curve of systems in such a way that we are as far as possible from that “bad” set.

Do we have a way to construct these curves? What can we say about them? Recent results are suggesting that this problem can be addressed with a combination of analytical and geometrical techniques... but this new geometric approach is still far from specific numerical algorithms.



Martes, 9 de Febrero de 2010 a las 12:30 en la Sala de Grados de la Facultad de Ciencias.

Seminario expositivo.

Título: Sistemas dinámicos y explosiones

Conferenciante: Felipe Cano, Universidad de Valladolid.

Abstract:


Los sistemas dinámicos son objetos matemáticos que utilizamos para modelar cualquier situación en la que haya movimiento (como es el caso de la mayoría de los procesos naturales), por ejemplo el movimiento de las olas del mar o la evolución de una población. Un sistema dinámico puede estar dado simplemente por la iteración de una función (en cuyo caso hablamos de sistemas dinámicos discretos), o mediante ecuaciones diferenciales o campos de vectores (sistemas dinámicos continuos). En general, estos sistemas presentan un comportamiento muy difícil de comprender, con lo que se han desarrollado muchas herramientas que a
veces permiten obtener respuestas concretas a ciertos problemas. En esta charla haremos una breve introducción con ejemplos de sistemas dinámicos y hablaremos de una de esas herramientas, llamada "explosiones del espacio ambiente", que permite en ocasiones reducir el estudio de sistemas dinámicos complicados al de otros más sencillos. Veremos como estas técnicas permiten reducir "singularidades" y explicaremos algunas aplicaciones a distintos ejemplos.


Jueves, 14 de enero de 2010 a las 13:00 en el Seminario de Matemáticas.

Seminario expositivo.

Título: Un estimador de la varianza del total estimado bajo muestreo sistemático para una población específica.

Conferenciante: Mónica Tinajero Bravo, Universidad Nacional Autónoma de México.

Abstract:

En general no existen estimadores insesgados para la varianza del estimador del  total poblacional bajo muestreo sistemático. Se han obtenido varias aproximaciones suponiendo que la población de estudio es una realización de una superpoblación que sigue un modelo específico, o bien mediante métodos no paramétricos basados en la teoría transitiva  de G. Matheron.

En esta charla se presenta una aproximación, a partir de una sola muestra, de la varianza del estimador del total poblacional bajo muestreo sistemático sobre una población normal, reordenada de una manera especial que tiende a reducir dicha varianza. El gráfico de la función de medida resultante, f, es una versión 'simetrizada' de la inversa de la función de distribución de una variable aleatoria normal con las colas truncadas; debido a la forma de f le llamamos “Modelo de cola de ballena” (Whale Tail Model). Se demuestra que si el tamaño de muestra es un número par y la distribución normal se trunca de forma simétrica, la varianza del estimador del total es cero. Adicionalmente, se proponen dos estimadores de la varianza cuando hay un error en el modelo, f=f+epsilon, donde epsilon es una variable aleatoria, es decir, cuando puede suponerse que la población de interés, antes de ordenarse, se aproxima a una población normal. Generando poblaciones a partir de una N(0,1) truncada y ordenándolas de la manera propuesta, se observa que uno de los estimadores sugeridos es el de menor sesgo y mayor estabilidad, en comparación con tres estimadores señalados en la literatura.





Miércoles, 9 de Diciembre de 2009 a las 12:45 en la Sala de Grados de la Facultad de Ciencias.

Título: Aplicaciones del método de las proyecciones aleatorias al análisis de datos funcionales..

Conferenciante: Juan Antonio Cuesta, Universidad de Cantabria. 

Abstract:

Todo el mundo sabe lo que es proyectar un objeto homogéneo (una piedra, un libro,...) p- dimensional en un subespacio de dimensión inferior. Proyectar probabilidades es similar: La probabilidad está “repartida” sobre un objeto (=subconjunto) de Rp adjudicando diferentes “densidades” a cada punto del objeto. Proyectar una probabilidad viene a ser proyectar este objeto teniendo en cuenta las diferencias de densidad existentes entre sus puntos. El problema del que vamos a hablar es: Dado un objeto en Rp, ¿cuantas proyecciones 1-dimensionales son necesarias para determinarlo?

Por otro lado, en el mundo, cada vez son más frecuentes datos que, en realidad son funciones. Por ejemplo: las evoluciones del cambio euro/dólar, del índice de paro, del número de personas infectadas por la gripe A,... La parte de la Estadística que se ocupa de este tipo de datos es el functional data analysis.

Las funciones pertenecen a espacios de dimensión infinita en los que también podemos calcular proyecciones. En la segunda parte (que ocupará la mayor parte del tiempo) trataré de mostrar cómo los resultados de la primera parte se pueden aplicar en este campo.




Viernes, 27 de Noviembre de 2009 a las 12:45 en la Sala de Grados de la Facultad de Ciencias.

Título: Dispositivos de cómputo bioinspirados (computación natural); análisis y simulación de sistemas complejos.

Conferenciante: Alfonso Ortega de la Puente. Departamento de Ingeniería Informática. Universidad Autónoma de Madrid. 

Abstract:

Son muchos los fenómenos a los que se podría referir el término “sistema complejo”. Entre ellos pueden incluirse diferentes modelos matemáticos, dispositivos formales y sistemas físicos (por ejemplo los dispositivos de cómputo equivalentes a la máquina de Turing o los conjuntos fractales).

La máquina de Turing marca la máxima potencia de cálculo por procedimientos automáticos. Los ordenadores convencionales más populares utilizan la arquitectura de von Neumann, que es una implementación aceptable con dispositivos electrónicos digitales de la máquina de Turing. Son muchos los modelos de cómputo con la misma potencia que la máquina de Turing que han sido propuestos a lo largo de la historia de la informática y que no han conseguido implementaciones tecnológicas con el éxito de la arquitectura von Neumann. Muchos de ellos (autómatas celulares, gramáticas de derivación paralela o sistemas L, algoritmos genéticos, sistemas de computación inspirados en ADN, redes neuronales) comparten su origen: la abstracción de un procedimiento por el que la naturaleza es capaz de realizar eficazmente tareas complejas. Consideradas como arquitecturas alternativas a la de von Neumann tienen la ventaja de ser en general inherentemente paralelas y (en teoría) capaces de ejecutar algoritmos con mejor rendimiento que los clásicos. Sin embargo, sufren el inconveniente de la ausencia de herramientas para su diseño y programación.

En este seminario se presentarán brevemente las líneas de trabajo que el grupo GHIA (grupo de herramientas interactivas avanzadas) tiene en computación natural y en el análisis y simulación de sistemas complejos, con especial interés en la aplicación de técnicas de programación automática basadas en algoritmos genéticos.




Martes, 27 de Octubre de 2009 a las 12:00 en la Sala de Grados de la Facultad de Ciencias.

Título: Sub-nanometer Analysis and Visualization from 3D Electron Microscopy.

Conferenciante: Chandrajit Bajaj, Institute of Computational Engineering and Sciences. The University of Texas at Austin, USA

Abstract:

With continued advances in three dimensional Electron Microscopy (3D EM) one is progressively able to elucidate the structural building blocks of life at varying resolutions. In this talk, I shall discuss algorithms to construct quasi-atomic models of proteins for which the volumetric 3D EM maps are reconstructed at 5-10 Angstrom resolution.

Additionally, I shall also present geometric and signal processing algorithms to reveal the structure of brain tissue at the submicron scale,  so as to analyze the spatial relationships between various cellular (neuronal) structures as well as the arrangement of organelles within neurons.

For each of these algorithms, we employ techniques from image and signal processing, computational geometry and functional analysis.

 

 

Jueves, 17 de Septiembre de 2009 a las 12:00 en la Sala de Grados de la Facultad de Ciencias.

Título: Qualitative properties of Impulsive Differential Equations.

Conferenciante: Snezhana Hristova, Plovdiv University, Bulgaria.

Abstract:

Impulsive differential equations are relatively new branch of mathematics yet. It has attracted the attention of many theoretical researchers and practitioners. This is due to the wide possible applications of this type of equations in fields such as control technology, drug administration, threshold theory, mathematical biology In the past years, a few classical quantitative research results have been extended to impulsive differential equations as well. In the current talk some types of stability and bounndedness for impulsive differential equations will be discussed. The piecewise analogous of Lyapunov functions and Razumikhin techniques have be employed for obtaining sufficient conditions. It will be illustrated on several examples that impulses do contribute significantly to the properties of solutions of differential equations.




Miércoles, 16 de Septiembre de 2009 a las 16:30 en la Sala de Grados de la Facultad de Ciencias.

Título: Differential Equations with “Maxima”.

Conferenciante: Snezhana Hristova, Plovdiv University, Bulgaria.

Abstract:

As a new object of investigation, differential equations with “maxima”  have appeared in the last few decades due to various reasons. For example, in the theory of automatic control of various technical systems it often occurs that the law of regulation depends on maximum values of some regulated state parameters over certain time intervals. This is especially the case for stabilization systems, where the regulated quantity usually represents the maximum deviation of some state parameters from the given value. The mathematical models for such systems naturally include  differential equations with  “maxima”.   In the present talk basic ideas of investigation of differential equations with “maxima” will be discussed.  Some qualitative properties of the solutions will be given.  Some new open problems will be set up.




Lunes, 14 de Septiembre de 2009 a las 12:00 en el Seminario del Departamento.

Título: Low and high frequency approximations to eigenvibrations of string with double constants.

Conferenciante: Yuri Golovaty, Franko Lviv National University, Ukraine.

Abstract:

We study eigenvibrations for inhomogeneous string consisting of two parts with strongly contrasting stiffness and mass density. In this work we treat a critical case for the high frequency approximations, namely the case when the order of mass density inhomogeneity is the same as the order of stiffness inhomogeneity, with heavier part being softer. The limit problem for high frequency approximations depends nonlinearly on the spectral parameter. The quantization of the spectral semiaxis is applied in order to get a close approximations of eigenvalues as well as eigenfunctions for the prime problem under perturbation.

 

Viernes, 5 de Junio de 2009 a las 13:00 en la Sala de Grados de la Facultad de Ciencias.

Título: Métodos Adaptativos de Minería de Datos y Aprendizaje para Flujos de Datos. PDF

Conferenciante: Albert Bifet, Universitat Politècnica de Catalunya.

Abstract:

En el modelo de flujo de datos o Data Streams, los datos llegan a gran velocidad, y los algoritmos que han de procesarlos, tienen serias limitaciones de espacio y tiempo. Presentaremos una introducción a los flujos de datos y ilustraremos un marco general para el desarrollo de algoritmos que pueden adaptarse y aprender de flujos de datos que varían con el tiempo. Nuestros métodos se basan en usar detectores de cambio y estimadores en los sitios adecuados. Presentaremos ADWIN, un algoritmo ventana deslizante adaptativo, y su aplicación a diversos métodos de minería de datos.



Miércoles, 3 de Junio de 2009 a las 13:00 en la Sala de Grados de la Facultad de Ciencias.

Título: Sobre la Investigación en Ingeniería del Software. Introducción y Ejemplos.

Conferenciante: Francisco Ruiz, Universidades de Cantabria y de Castilla la Mancha.

Abstract:

Explicar qué es la ingeniería del software (IS), sus objetivos y naturaleza. En función de ellos, explicar las principales líneas de i+d actuales en IS, así como los principales métodos de trabajo. Concluir con un caso de estudio sobre las investigaciones del ponente: integración de paradigmas MDE (Model-driven engineering) y SOC (Service-oriented computing) a la gestión y mejora de procesos de negocio (Business Process Management).

 

 

Jueves, 21 de Mayo de 2009 a las 13:00 en la Sala de Grados de la Facultad de Ciencias.

Charla de tipo expositivo.

Título: Sobre evaluación numérica de funciones y temas afines. PDF

Conferenciante: Javier Segura, Universidad de Cantabria

Abstract:

En la "caja de herramientas" de matemáticos, físicos  e ingenieros,  encontramos en buen número de funciones con las que expresar de forma compacta un buen número de problemas. A algunas de ellas se les llama elementales (exponenciales, funciones circulares y  relacionadas);  al resto las llamamos funciones especiales. En esta charla se describen  los elementos básicos de las técnicas más habituales en la evaluación  numérica de funciones (especiales o no tanto).

 

 

Viernes, 15 de Mayo de 2009 a las 13:00 en la Sala de Grados de la Facultad de Ciencias.

Título: Variedades polares, bipolares y resolución de una ecuación polinomial real.

Conferenciante: Marg Giusti, LIX. CNRS-Polytechnique

Abstract:

El contenido de la conferencia refleja un trabajo conjunto con B. Bank (Humboldt-Universität zu Berlin), J. Heintz (Universidades de Buenos Aires y Cantabria), L. Lehmann (Humboldt-Universität zu Berlin), G. Mbakop (Humboldt-Universität zu Berlin), L. M. Pardo (Universidad de Cantabria).

En los últimos años hemos desarrollado e implementado un algoritmo eficiente que calcula  un punto algebraico representativo en cada componente conexa de una variedad real lisa de intersección completa. La novedad de este algoritmo fue la inclusión de ciertos invariantes geométricos en las estimaciones de complejidad. Los invariantes que intervienen son los grados geométricos de las varie-dades polares genéricas  asociadas al sistema dado de ecuaciones. En esos trabajos demostrábamos que la complejidad del nuevo algoritmo era polinomial en dichos invariantes, permitiendo  distinguir entre problemas bien o mal condicionados  geométricamente.

 

Presentamos en esta charla una construcción nueva que nos permite parafrasear el resultado algorítmico mencionado en el caso de hipersuperficies singulares. El papel de las variedades polares juegan ahora las variedades bipolares.

 

 

Jueves, 30 de Abril de 2009 a las 13:00 en la Sala de Grados de la Facultad de Ciencias.

Título: Arquitectura MDA para el desarrollo de Almacenes de Datos Seguros

Conferenciante: Carlos Blanco, Universidad de Castilla la Mancha

 

Abstract:

Los almacenes de datos manejan información histórica de negocio que es utilizada en el proceso de toma de decisiones y ha de ser debidamente protegida frente a accesos no autorizados. Tradicionalmente, la seguridad de la información ha sido reconocida como un aspecto crucial para la supervivencia de las organizaciones pero no ha sido debidamente integrada en el proceso de desarrollo,  siendo considerada en etapas finales. Por lo tanto, un desarrollo de sistemas de información de calidad ha de considerar la seguridad como un requisito no funcional de vital importancia que ha de ser integrado desde etapas tempranas del desarrollo, influyendo en las posteriores decisiones de diseño.
Por otro lado la OMG (principal consorcio de la industria del software mundial) propone MDA (Model-Driven Architecture) como estándar para el desarrollo de software orientado por modelos. MDA se basa en la separación de la funcionalidad del sistema y su implementación. Para ello se proponen modelos a diferentes niveles de abstracción (del problema independiente de la solución, de la solución pero sin precisar tecnología, y de la solución con una tecnología concreta) y transformaciones automáticas entre modelos y hacia la generación de código final.
Nuestra propuesta para el desarrollo de almacenes de datos seguros se basa en el modelado del almacén a distintos niveles de abstracción, para lo que se han definido varios modelos que permiten la inclusión de aspectos de seguridad. Esta propuesta ha sido alineada con una arquitectura MDA, creándose también las transformaciones que permiten el paso automático entre modelos y la generación de código seguro para varias plataformas

Contenidos:

Almacenes de datos. Seguridad en Almacenes de Datos. Desarrollo de Software basado en Modelos. Arquitectura MDA. Aplicación de MDA a la Seguridad en Almacenes de Datos.

 

 

 

Martes, 31 de Marzo de 2009 a las 13:00 en la Sala de Grados de la Facultad de Ciencias.

Título: Variedades tóricas como variedades cociente y viceversa

Conferenciante: Sonia L. Rueda, Universidad Politécnica de Madrid

 

Abstract:

La construcción del anillo de coordenadas de una variedad tórica, que I.M. Musson, D.A.Cox y otros introdujeron en los 90, parte de un abanico de conos A y obtiene la acción de un toro algebraico sobre un subconjunto abierto de un espacio afín cuyo cociente es la variedad tórica de A.

Esta será una charla introductoria al concepto de variedad tórica, con el objetivo de describir dicha construcción y el "proceso inverso". Sea k un cuerpo algebraicamente cerrado de caracteríostica 0. Partiendo de la acción de un toro sobre el espacio afín X = kr×(kx)s obtenemos abanicos cuyas variedades tóricas son el cociente bajo la acción de un subconjunto abierto de X. 




Martes, 31 de Marzo de 2009 a las 16:00 en la Sala de Grados de la Facultad de Ciencias.

Título: Invariantes de operadores diferenciales y construcciones tóricas

Conferenciante: Sonia L. Rueda, Universidad Politécnica de Madrid

 

Abstract:

Sea H el grupo G×F donde G es un toro algebraico finito y F es un grupo finito conmutativo. Presentamos conclusiones obtenidas en nuestro estudio de las acciones diagonales de H sobre la variedad afín X=kr×(kx)s, con k un cuerpo  algebraicamente cerrado. Hemos trabajado en dos direcciones,

1) la descripción computacional de componentes graduadas de anillos de polinomios de Laurent y

2) la teoría de representaciones de invariantes de anillos de operadores diferenciales.

Asociamos un conjunto de abanicos finitos a la acción de H sobre X que nos permite abordar ambos problemas de forma
computacional.

El anillo O(X) de funciones regulares sobre X es el anillo de polinomios de Laurent S=k[x1,...,xr,xr+1±1,...,xn±1]. Utilizamos los abanicos finitos asociados a la acción de H sobre X para describir computacionalmente las componentes graduadas de S en términos de poliedros.

Las componentes graduadas de S son módulos simples sobre el subanillo de invariantes D(X)H del anillo de operadores diferenciales D(X). Proporcionamos condiciones necesarias y suficientes, sobre los abanicos asociados a la acción de H sobre X, bajo las que D(X)H verifica la condición de Harish-Chandra:  tiene suficientes módulos simples finito dimensionales, en el sentido de que la intersección de los anuladores de todos los módulos simples finito dimensionales es cero.

 

 

 

Martes, 24 de Marzo de 2009 a las 13:00 en la Sala de Grados de la Facultad de Ciencias.

Título: Algunas contribuciones recientes a la teoría de estimación de conjuntos

Conferenciante: Antonio Cuevas, Universidad Autónoma de Madrid

 

Abstract:

La estimación no paramétrica de conjuntos tiene por objeto estimar (es decir, aproximar estocásticamente) un conjunto

compacto del espacio euclídeo a partir de la información proporcionada por muestras aleatorias de puntos. Esta teoría participa de la metodología no paramétrica, de la geometría estocástica y de algunos conceptos de teoría geométrica de la medida. El objeto de la charla es:

1)              Plantear el problema y describir el ambiente general de la teoría.

2)              Revisar brevemente algunos resultados recientes, relativos a la estimación de la medida de la frontera, definida en términos del contenido de Minkowski.

3)              Esbozar alguna aplicación práctica, en particular al estudio de tests de uniformidad para el caso de que el soporte de la distribución sea desconocido.

Esta charla ofrece un resumen de reciente trabajo en colaboración con diversos coautores: I. Armendáriz, J.R. Berrendero, R. Fraiman, B. Patearo y L. Györfi.

 REFERENCIAS:

 Armendáriz, I., Cuevas, A. y Fraiman, R. (2009).  Nonparametric estimation of boundary measures and related functionals: Asymptotic results. Aparecerá en Advances in Applied      Probability, 41, 2 (Junio, 2009).

 Berrendero, J.R., Cuevas, A. y Pateiro-López, B. (2009). Multivariate uniformity tests for the case of unknown support. Trabajo en preparación.

 Cuevas, A. y Fraiman, R. (2009). Set estimation. En New Perspectives on Stochastic Geometry, W.S. Kendall and I. Molchanov, eds., pp. 366-385. Oxford University Press.

 Cuevas, A., Fraiman, R. y Györfi, L. (2009). Estimating boundary measures of general sets. Manuscrito.

 

 

Martes, 3 de Marzo de 2009 a las 13:00 en el Seminario del Departamento.

Título: Cayley maps and Kirillov's orbit method

Conferenciante: Thomas Weigel, Universitá degli studi di Milano-Bicocca

 

Abstract:

 

The character theory of finite groups is certainly one of the central parts of the theory of finite groups, but has also some important applications in Number Theory, Combinatorics and other disciplines of mathematics.

 

However, computing the character table of a finite group can be a very difficult task. Using A.A. Kirillov's orbit method D. Kazhdan introduced a very elegant way of computing the character table of a finite p-group of small nilpotency class. Using ideas of A. Cayley and T.A. Springer we introduce a set of class function one can associate to every finite p-group with generalized Cayley map.

 

As computer experiments show this set of class functions does not coincide with the set of irreducible characters in general. Nevertheless, in several cases one can deduce important information from this “Orbit Character Table”.