UNAM
Usted está aquí: Inicio / Actividades académicas / Coloquios / 2024 / Coloquio del IMUNAM - C. U. febrero 2024

Coloquio del IMUNAM - C. U. febrero 2024

Martes 6, 13, 20, 27 de febrero de 2024 a las 12:00 horas
Auditorio Alfonso Nápoles Gándara

https://www.matem.unam.mx/actividades/coloquio/cu/actividades

Programa febrero  2024

--------------------------------------------------

En este mes de febrero de 2024, les invitamos a acompañarnos en las próximas sesiones del
Coloquio del IMUNAM - C.U. a las 12:00 horas, con el siguiente programa:

 

12:00 horas

Auditorio “Alfonso Nápoles Gándara”

---------------------------------------------------

Martes 6

“New uniformizations of some moduli spaces of curves with marked points”

Bertrand Deroin, Universidad de Cergy/CNRS, Francia

Resumen:  will report on some work in collaboration with Julien Marché, in which we constructed some compactification of the moduli spaces of curves of genus g with n marked points carrying a complex hyperbolic structure, in the cases (g,n)= (0,4),(0,5),(1,2),(1,3) and (2,1). This extends classical works of Hirzebruch (cas  e (g,n)=(0,5)), Livne (case (g,n)=(1,2)), and this gives a negative answer to a
question asked by Siu in the eighties: there exists a holomorphic submersion X-->Y between compact complex hyperbolic manifolds X,Y of
dimensions dim X>dim Y >1. These constructions are based on the analysis of some topological properties of quantum projective
representations of the mapping class group.

https://www.matem.unam.mx/actividades/coloquio/cu/actividades/new-uniformizations-of-some-moduli-spaces-of-curves-with-marked-points

Martes 13

"Algunos ejemplos de algoritmos certificadores
en gráficas"
César Hernández Cruz, Facultad de Ciencias, UNAM

Resumen:  

Es común implementar algoritmos que resuelven problemas de decisión, es decir, problemas que responden una pregunta cuya respuesta es sí o no.   Por ejemplo, es fácil implementar un algoritmo que reciba como entrada dos enteros positivos, y determine si éstos son primo relativos. Dicho algoritmo podría simplemente responder "sí" o "no", dada una entrada $(x,y)$, sin embargo, si tuviéramos dudas sobre la correcta implementación del algoritmo, no tendríamos
información adicional para determinar si la respuesta es correcta o no, lo que nos orillaría a ejecutar un segundo algoritmo que resuelva el mismo problema para "verificar" la respuesta.
Si adicionalmente a la respuesta "sí", el algoritmo devolviera los coeficientes de una combinación lineal de $x$ y $y$ igual a $1$, y adicionalmente a la respuesta "no", el algoritmo devolviera un                                                                                        
divisor común de $x$ y $y$ mayor a $1$, entonces sería fácil verificar si una respuesta del algoritmo es correcta, sin necesidad de ejecutar otro algoritmo que resuelva el mismo problema. A esta información adicional que nos ayuda a verificar la correcta implementación de un algoritmo se le llama "certificado", y un algoritmo que devuelve certificados para ambos tipos de respuesta (sí o no), se le conoce como certificador.
En teoría de gráficas, usualmente se buscan algoritmos para determinar si una gráfica tiene o no alguna propiedad.   Es deseable que dichos algoritmos sean certificadores, pero no siempre resulta claro qué debe usarse como certificado.   En esta plática presentaremos caracterizaciones para algunas propiedades de gráficas que dan lugar a certificados naturales que pueden ser utilzados en algoritmos para su reconocimiento.   En muchos casos, la naturaleza constructiva de las demostraciones induce de forma natural un algoritmo certificador que resulta eficiente y fácil de implementar.                                                                                                                                            
https://www.matem.unam.mx/actividades/coloquio/portal_factory/Congreso/congreso.2024-02-01.0178395393/edit?_authenticator=0193531725ced532692f1348fec76dc9f1f134ac

Martes 20                        

“Parallel and Dynamic Algorithms for PageRank - Are Random Walks Necessary?”

Piotr Sankowski, Universidad de Varsovia

Resumen: In my talk I will discuss techniques that allow for efficiently generating many independent random walks from starting from all nodes in a graph. This computational routine is often used for computing the PageRank vector which is a fundamental data science notion. I introduce how to implement such random walk generation in the context of the Massive Parallel Computation (MPC) model as well as dynamic computations. More specifically, I will discuss:
- how to maintain such a set of random walks in undirected graphs  in polylogarithimic update time,
- how to compute such a set of random walks in MPC model in polyloglog time.
These results immediately lead to efficient approximation algorithms for the PageRank problem in respective scenarios.

On the negative side we provide an Ω(n^{1−δ}) lower bound for the amortized update time of any algorithm that explicitly maintains a constant multiplicative approximation of PageRank in the insertion- or deletion-only model in directed graphs, what resolves a 13-year old open question of Bahmani et al. (VLDB 2010). In order to obtain efficient algorithms, we look beyond the relative error goal, and demonstrate that a simple batch recomputation algorithm can maintain good approximations to PageRank under L_1 error. We evaluate this similar algorithm empirically and demonstrate that it delivers similar preformacje while being much simpler .

Based on joint work with Rajesh Jayaram, Kuba Łącki, Slobodan Mitrović, Krzysztof Onak.

https://www.matem.unam.mx/actividades/coloquio/cu/actividades/parallel-and-dynamic-algorithms-for-pagerank-are-random-walks-necessary

 

Martes 27

“Funciones semicontinuas en variedades demódulos”

Daniel Labardini. IMUNAM

Resumen:  XX

https://www.matem.unam.mx/actividades/coloquio/cu/actividades/funciones-semicontinuas-en-variedades-de-modulos

  • Coloquio del IMUNAM - C. U. febrero 2024

    Coloquio del IMUNAM - C. U. febrero 2024

    Auditorio Alfonso Nápoles Gándara