Coloquios

Coloquio 13 de Noviembre 2013

ESTIMACIONES PARA LA SOLUCIÓN DE MÍNIMA ENERGÍA DE UN PROBLEMA DE NEUMANN.

Expositor: Hernán Castro
Institución: UTAL

Miércoles 13 de noviembre de 2013.
16:00-17:00 hrs.

Resumen: Presentaremos un teorema relativo al comportamiento asintótico de la norma infinito de la solución de mínima energía asociada a un problema elíptico en el plano, con una condición de frontera Neumann no-lineal.


Coloquio 7 de Agosto 2014

The Marshall-Olkin Estended Zipf distribution

Expositor: Marta Pérez-Casany Departamento de Matemática Aplicada II de La Universidad Politécnica de Cataluña

Jueves 07 de agosto a las 12:00 hrs.
Sala de Estudios Humanísticos – IMAFI

Resumen: Ver archivo.pdf


Coloquio 10 de Abril 2014

ESTADOS ELECTRÓNICOS EN NANODISCOS Y NANOCONOS DE CARBONO EN PRESENCIA DE CAMPOS EXTERNOS

Expositor: Pablo Ulloa
Institución: Departamento de física, UTFSM.

Jueves 10 de abril de 2014.
16:00-17:00.

Resumen: Los nanoconos de carbono son redes de tipo hexagonal en las cuales se encuentran intercalados defectos pentagonales, los cuales inducen disclinaciones en múltiplos enteros de 60 grados. Se espera que los nanoconos de carbono tengan aplicación como emisores electrónicos y como detectores de radiación electromagnética, sintonizables por medio de campos externos.
El procedimiento que se utilizó para predecir el espectro energético y otros observables físicos tales como densidad local de estados y coeficiente de absorción, se basa en una aproximación discreta que involucra la posición de equilibrio de los átomos en la estructura, conocida como “aproximación de enlace fuerte”, la cual contiene varios parámetros fenomenológicos provienentes de experimentos. El problema se puede formular utilizando operaciones y algunos teoremas de algebra lineal; donde la hipótesis física es que los vectores y valores propios del operador Hamiltoniano corresponden a la función de onda y a los niveles de energía de los electrones en el sistema, respectivamente.
La diagonalización de la matriz Hamiltoniana, de tamaño 5000 x 5000 (aprox.), se hizo en forma numérica y se programaron varios algoritmos (en Octave/Matlab) para aprovechar los vectores propios en el cálculo de observables físicos(escalares), los cuales se obtienen por medio de productos entre los vectores propios, donde las matrices de ponderación representan a los observables físicos de posición, de momentum y de energía(Hamiltoniano), entre otros.
Los resultados obtenidos indican un un espectro de energías similar al del grafeno, y una fuerte dependecia de la distribución espacial de estados y del coeficiente de absorción con respecto al ángulo de disclinación. Por otro lado, la presencia de campo eléctrico tiene su mayor efecto cuando este es aplicado a lo largo del eje de la estructura.


Coloquio 3 Abril 2014

ESPACIOS DE MODULI DE SUPERFICIES ALGEBRAICAS DE GÉNERO CERO

Expositor: Giancarlo Urzúa
Institución: PUC.

Jueves 3 de abril de 2014.
16:00-17:00.

Resumen: Superficies algebraicas de tipo general sin diferenciales holomorfas globales han sido objeto de estudio desde comienzos del siglo pasado hasta hoy. (Para una visión general de estas superficies mirar. “Surfaces of general type with geometric genus zero: a survey» Bauer-Catanese-Pignatelli.) Una meta mayor es identificar los parámetros que las describen (i.e. espacio de moduli). Es especialmente un misterio el caso de superficies simplemente conexas. Aparte de contar un poco la historia, en esta charla mostraré ideas sobre el ataque moderno al problema de moduli (parte en conjunto con Jenia Tevelev y Paul Hacking), algunos resultados y varias preguntas.


Coloquio 27 de Marzo 2014

COHERENCE IN CATEGORIES AND IN DEPENDENT TYPE THEORY

Expositor: Pierre Louis Curien
Institución: DR CNRS, Laboratoire PPS, University Paris 7, Francia.

Jueves 27 de marzo de 2014.
16:00-17:00.

Resumen:We shall recall briefly Mac Lane’s coherence theorem for monoidal categories, and discuss two quite different proofs of it. We shall then explain how similar coherence issues arise in dependent type theory and how they can be solved using similar techniques. To be as self-contained as possible, we shall provide a brief introduction to type theory, hinting even more briefly at recent developments going on under the name of Homotopy Type Theory.