2019

Ponente: Andrés Ignacio Navas
Institución: IM-UNAM

03/09/2019
de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"

 

La teoría de grupos se remonta a los trabajos de -entre otros- Galois y Cayley. Ya este último tenía una visión dinámica de este objeto matemático: un grupo es un ente que "actúa". El teorema de Cayley es esencialmente tautológico (el espacio de acción es el mismo grupo); sin embargo, estudiar otras acciones siempre revela datos importantes sobre la estructura algebraica del grupo en cuestión. Por otra parte, nociones de tipo algebraico se han revelado muy fecundas en sistemas dinámicos en los últimos años (un "objeto caótico" puede ser mejor entendido si se conocen algunas de sus simetrías). En esta charla haremos un recorrido sobre algunas de estas ideas, enfocándonos en algunas de las muchísimas preguntas abiertas que surgen al respecto.

Ponente: Hagit Attiya
Institución: Technion, Israel

27/08/2019
de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"

Modern replicated data stores aim to provide high availability, by immediately responding to client requests, often by implementing objects that expose concurrency and do not have a sequential specification, like multi-valued registers (MVRs).

We explore a recent model for replicated data stores that can be used to precisely specify causal consistency for such objects, and liveness properties like eventual consistency, without revealing details of the underlying implementation. The model is used to prove what is the stronger consistency model that can be supported by an eventually consistent data store implementing MVRs, for a large class of protocols. For the same class, we prove that an eventually consistent and causally consistent replicated data store must send messages of unbounded size.

We further specify the list object, modeling the core functionality of replicated data stores for collaborative text editing and allowing users to concurrently edit a shared document, inserting and deleting elements (e.g., characters or lines). A major factor determining the efficiency and practical feasibility of a collaborative text editing protocol is the space overhead of its metadata. We prove that for a large class of protocols implementing a list, this space overhead is at least linear in the number of elements deleted from the list. A protocol in this class almost matches the lower bound.

archivado en: Coloquio

Ponente: Dimitri Leemans
Institución: Universidad Libre de Bruselas, Bélgica

20/08/2019
de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"

String C-group representations of finite groups, and in particular of finite simple groups, have gained a lot of interest in the last 15 years thanks to their connection with abstract regular polytopes. We will define what they are, show the link with the theory of abstract regular polytopes and give some recent results on string C-group representations of some families of groups.

 

Ponente: Manuel Domínguez
Institución: IM-UNAM

13/08/2019
de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"

En esta plática estudiaremos bajo qué condiciones podemos aplicar transformaciones de Darboux estocásticas asociadas a la matriz de transición de probabilidades de una caminata aleatoria con espacio de estados en los enteros, que es una matriz tridiagonal estocástica doblemente infinita (o matriz de Jacobi). Posteriormente analizaremos la relación entre la matriz espectral de la caminata aleatoria original y las de las transformaciones de Darboux asociadas, que básicamente estarán dadas por conjugaciones por polinomios matriciales de grado 1 de transformaciones de Geronimus de la matriz espectral original.

 

¿Quien está en línea?

Tenemos 230 visitantes y ningun miembro en Línea

Go to top