Algebraic Modeling of Topological and Computational Structures and Applications, 1st ed. 2017
THALES, Athens, Greece, July 1-3, 2015
Springer Proceedings in Mathematics & Statistics Series, Vol. 219

This interdisciplinary book covers a wide range of subjects, from pure mathematics (knots, braids, homotopy theory, number theory) to more applied mathematics (cryptography, algebraic specification of algorithms, dynamical systems) and concrete applications (modeling of polymers and ionic liquids, video, music and medical imaging). The main mathematical focus throughout the book is on algebraic modeling with particular emphasis on braid groups.

The research methods include algebraic modeling using topological structures, such as knots, 3-manifolds, classical homotopy groups, and braid groups. The applications address the simulation of polymer chains and ionic liquids, as well as the modeling of natural phenomena via topological surgery. The treatment of computational structures, including finite fields and cryptography, focuses on the development of novel techniques. These techniques can be applied to the design of algebraic specifications for systems modeling and verification.

This book is the outcome of a workshop in connection with the research project Thales on Algebraic Modeling of Topological and Computational Structures and Applications, held at the National Technical University of Athens, Greece in July 2015. The reader will benefit from the innovative approaches to tackling difficult questions in topology, applications and interrelated research areas, which largely employ algebraic tools.

Elements of Khovanov Homology

University of Illinois at Chicago

Word problem for virtual braid groups

Univ. Bourgogne Franche-Comte, F-21000 Dijon, France

A new skein invariant for classical links from the Yokonuma-Hecke algebras

Sofiaa Lambropoulou

National Technical University of Athens

L. Poulain d'Andecy

Universite de Reims

Framization of the Temperley-Lieb algebra

Dimos Goundaroulis

National Technical University of Athens

Quotient algebras of mixed braid groups with two fixed strands

Dimitrios Kodokostas

National Technical University of Athens

Representation theory of framisations of knot algebras

M. Chlouveraki

Univers

The HOMFLYPT skein module of the lens spaces L(p

Institute of Mathematics, University of Gdansk

The isomorphism function from S₃(L(p,1)) to the free module

Bostjan Gabrovsek (joint work with Maciej Mroczkowski)

FME, University of Ljubljana

The Homflypt skein module of L(p,1) via braids

Ioannis Diamantis and Sofiaa Lambropoulou

National Technical University of Athens

Infinite loop spaces, Steenrod, Dyer-Lashof and Dickson algebras

Nondas Kechagias

Department of Mathematics, University of Ioannina

2: Algebraic Modeling of Applications

Christos Tzoumanekas, Stefanos D. Anogiannakis, Georgios G. Vogiatzis, and Doros N. Theodorou

School of Chemical Engineering, National Technic

Models of Knotting and Linking in P

K

A study of the entanglement in systems of curves with Periodic Boundary Conditions

E Panagiotou

University of California, Santa Barbara

Threading of ring poly(ethylene oxide) molecules by linear chains or other rings in the melt: molecular dynamics simulations followed by a geometric analysis

Dimitrios Tsalikis, Vlasis Mavrantzas

University of Patras

Chain Size and Shape Dependence of the Tendency for Entanglement in Linear Polymer Melts

Christos Tzoumanekas, Stefanos D. Anogiannakis and Doros N. Theodorou

School of Chemical Engineering, National Technical University of Athens

Extending Topological Surgery to Natural Processes

Sofia Lambropoulou and Stathis Antoniou

National Technical University of Gr

Molecular Simulation of Ion

¹National Center for Scientific Research Demokritos, Institute of Nanoscience and Nanotechnology, Molecular Thermodynamics and Modelling of Materials Laboratory and ²Texas A&M University at Qatar, Chemical Engineering Program, Education City, PO Box 23874, Doha, Qatar

On (p-)almost direct products and residual properties of pure braid groups of surfaces

P. Bellingeri

Laboratoire Nicolas Oresme ESPE de Basse Normandie Universit de Caen

3: Algebraic Modeling of Computational Structures

On Algebraic Modeling of Computational Structures

Petros Stefaneas

Chemlambda, universality and self-multipli

Louis H. K

Univer

Towards the integration of Athena with CafeOBJ using tool support

¹Bloomberg R & D, U.S.A., ²National Technical University of Athens, Greece

Cafe2JML: Integrating Behavioral Algebraic Speci_cations with Design by Contract

Nikolaos Triantafyllou and Petros Stefaneas

Towards Formal Open Standards: the Case of RSS

Konstantinos Barlas¹ and Eleni Berki² Petros Stefaneas¹ and George Koletsos¹

¹National Technical University of Athens and ²University of Tampere

Fixed Point Logics as Institutions

Kiouvrekis Yiannis, Stefaneas P

National T

Syntax, Se

Nicola Angius¹, Maria Dimarogona² and Petros Stefaneas²

¹University of Sassari, Italy

²National Technical University of Athens

Composition of Specification Modules: recent developments

Razvan Diaconescu

Simion Stoilow Institute of Mathematics of the Romanian Academy, Romania

On Operators at Classes of Structures

S. V. Sudoplatov

Sobolev Institute of Mathematics.

An algebraic approach to pictures

S. Bozapalides

Aristotle University of Thessaloniki

Thoughts on IT Investment Analysis

A. Alencar

The Tércio Pacitti Institute Federal University of Rio de Janeiro

J. Bezi

Co

Arist

Department

A Categorical Model for the Virtual Braid Group

L. H. Kauffman¹, S. Lambropoulou²

¹University of Illinois at Chicago, ²National Technical University of Athens

N. Gugumcu¹, L. H. Kauffman², S. Lambropoulou¹

¹National Technical University of Athens, ²University of Illinois at Chicago

p-adic framed braids

J. Juyumaya¹, S. Lambropoulou²

^{1Universidad de Valparaiso, 2National Technical University of Athens}

The Juyumaya-Lambropoulou classical link invariants from the Yokonuma-Hecke algebras

M. Chlouveraki¹

¹Universite de Versai

Markov trace on the bt-algebra and tied links

F. Aicardi¹, J. Juyumaya²

¹International School for Advanced Studies, ²Universidad de Valparaiso

Framization of the Temperley-Lieb algebra

D. Goundaroulis

National Technical University of Athens

Braid equivalences in 3-manifolds with rational surgery description

I. Diamantis, S. Lambropoulou

National Technical University of Athens

A new basis for the Homypt skein module of the solid torus

I. Diamantis, S. Lambropoulou

National Technical University of Athens

The Isomorphism Conjecture for Subgrou

V.

University of the Aegean

Loop spaces, Steenrod, Dyer-Lashof, Dickson algebras

N. Kechagias

University of Ioannina

Constructing Class Invariants

A. Kontogeorgis

University of Athens

The linking number in systems with Periodic Boundary Conditions

E. Panagiotou¹, S. Lambropoulou², C. Tzoumanekas², D. N. Theodorou²

¹University of California, Santa Barbara, ²National Technical University of Athens

Extending Topological Surgery to Natural Processes

S. Lambropoulou, S. Antoniou

National Technical University of Athens

An Algebraic Framework for the Verification of Context-aware Adaptive Systems

K. Ksystr

National Techn

Towards Formal Open Standards: the Case of RSS v2.0

K. Barlas^{1, E. Berki2, P. Stefaneas1, G. Koletsos1}

¹National Technical University of Athens, ²University of Tampere

Towards formal representation and comparison of video content using algebraic semiotics

N. Triantafyllou¹, K. Ksystra^{1, P. Stefaneas1, A. Kalampakas2}

¹National Technical University of Athens, ²American University of the Middle East

Applications to medical imaging

E. Karali

Includes supplementary material: sn.pub/extras