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.)

LOGIC--TOPOLOGY SEMINAR

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

Knots in Washington XXXVII

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

Logic in Baltimore

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

Topology Seminar

Tuesday, 1/14/2014, 6:00pm - 11:59pm

Speaker: Robin Koytcheff (University of Victoria)

Topology Seminar

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.