All Seminars & Colloquia
Towards topological applications of Laver tables
Victoria Lebed, Advanced Mathematical Institute, Osaka City University, Japan
Tuesday, 1/21/2014, 10:00pm - 11:59pm
Abstract: Laver tables are certain finite shelves (i.e., sets endowed with a binary operation which is distributive with respect to itself). They originate from set theory and have a profound combinatorial structure. In this talk I will discuss our dreams regarding potential braid and knot invariant constructions using Laver tables, and also present some real results in this direction, such as a detailed description of 2- and 3-cocycles for Laver tables. The rich structure of the latter promises interesting topological applications.
(Joint work with Patrick Dehornoy)
Towards topological applications of Laver tables
Speaker: Victoria Lebed (Advanced Mathematical Institute, Osaka City University,Japan)
Tuesday, 1/21/2014, 10:00pm - 11:59pm
(The talk will be introduced by Valentina Harizanov description of
Richard Laver (1942-2012) work in logic.)
Towards topological applications of Laver tables
Tuesday, 1/21/2014, 10:00pm - 11:59pm
Speaker: Victoria Lebed (Advanced Mathematical Institute, Osaka City University,Japan)
Title: Towards topological applications of Laver tables
Sunday, 1/19/2014, 1:00pm - Monday, 1/20/2014, 11:59pm
Organizers
Mieczyslaw K. Dabkowski (UT Dallas), Valentina Harizanov (GWU), Jozef H. Przytycki (GWU and UMCP), Yongwu Rong (GWU), Radmila Sazdanovic (NCSU), Alexander Shumakovitch (GWU), Hao Wu (GWU)
View Abstracts
Conference Homepage
Abstracts
A filtration on HOMFLY-PT homology via virtual crossings
by
Michael Abel
University of North Carolina, Chapel Hill
Coauthors: Lev Rozansky
Wednesday, 1/15/2014, 9:46pm - Saturday, 1/18/2014, 11:59pm
2014 Joint Math Meetings, Baltimore Convention Center: January 15–18, 2014
http://jointmathematicsmeetings.org/meetings/national/jmm2014/2160_intro
AMS-ASL Special Session on Logic and Probability
AMS Special Session on Computability in Geometry and Topology
Association for Symbolic Logic Winter Meeting: January 17–18, 2014
Tuesday, 1/14/2014, 6:00pm - 11:59pm
Speaker: Robin Koytcheff (University of Victoria)
A colored operad for string link infection
Tuesday, 1/14/2014, 6:00pm - 11:59pm
Speaker: Robin Koytcheff (University of Victoria)
Coauthors: John Burke
Title: A colored operad for string link infection
The open problem regarding the automorphisms of L*(Q_inf)
Rumen Dimitrov, Western Illinois University
Tuesday, 12/17/2013, 8:45pm - 11:59pm
Abstract: Guichard proved in 1984 that there are countably many automorphisms of the lattice L(Q_inf) of computably enumerable subspaces of Q_inf by proving that the automorphisms are generated by computable semilinear transformations. The question about the number of automorphisms of the factor-lattice L*(Q_inf) is still open. We will discuss Ash’s conjecture regarding this question and how some of our recent results corroborate this conjecture.
C.e. and co-c.e. structures and their isomorphism
Valentina Harizanov, GWU
Thursday, 11/21/2013, 9:49pm - 11:59pm
Abstract: Computable structures and their isomorphisms have been studied extensively in computable structure theory. Here, we investigate the complexity of isomorphisms of computably enumerable (c.e.) and co-computably enumerable (co-c.e.) structures with a single equivalence relation and structures with a single injective function. This is joint work with Doug Cenzer and Jeff Remmel.
Finite Difference Methods for Nonlinear Elliptic Equations with Application to Optimal Transport
Speaker: Brittney Froese, University of Texas, Austin.
Friday, 11/8/2013, 6:00pm - 11:59pm
Abstract: We describe the use of finite difference methods for solving nonlinear elliptic partial differential equations (PDEs). We show that simple techniques, which work for linear equations, may fail for nonlinear equations. We describe a framework for developing convergent finite difference methods for nonlinear degenerate elliptic equations.