Sostenes Luiz Soares Lins

Pesquisador Senior 1A do CNPq a partir de 2015. Breve histórico: Bacharel (1972, aos 20 anos, Laureado) e Mestre (1974) em Matemática pela UFPE. Ph.D. em Combinatorics and Optimization - Univ. Waterloo (1980). Foi (1974-2011) professor do DMat/UFPE, Prof. Titular desde 1989 (aos 37 anos). Foi 1o. colocado no Concurso para Prof. Titular CIN/UFPE (2011). Substancial experiência de pesquisa em Matemática Pura e Aplicações, com ênfase em Topologia e Otimização Combinatória. As principais contribuições científicas estão publicadas no Annals of Mathematical Studies (Orange Series de Princeton, vol. 134 - com 463 citações na World Scientific Press, em Discrete Mathematics, no Journal of Combinatorial Theory, em Advances in Mathematics. A partir de 1984, desenvolveu softwares aplicados à Indústria. O principal deles, o CONJUG-O, é utilizado ainda hoje pela Klabin. Membro titular da Academia Brasileira de Ciências, 2001. A partir de 2006, volta a trabalhar em problemas básicos de topologia computacional, na fronteira entre combinatória, geometria e variedades tridimensionais. Com a colaboração de seu filho, Lauro Lins (ATT, New York), produziu o 1o. censo de 3-variedades apresentáveis por framed links (ou blinks, grafos planos com uma bicoloração nas arestas) com até 9 cruzamentos (disponível em arXiv:math/0702057). Neste, a menos de 2 incertezas, obtemos a classificação por homeomorfismos. Estas incertezas foram resolvidas, depois que postou um Desafio aos Topólogos, em http://arxiv.org/pdf/1304.5964.pdf, 30/04/2013. Usando o plano hiperbólico produziu (2008) um O(n^2)-algoritmo para, por homotopias livres, chegar ao menor número possível de cruzamentos entre curvas fechadas numa superfície. Surpreendente, uma vez que Alex Schrijver reporta apenas algoritmo finito. Este trabalho permanece não publicado: continua pesquisando que problemas de decisão são a ele redutíveis. No período 2008-2010, provou que MAX-CUT era um tal problema. Isto implicaria P=NP. Escreveu 52 versões da prova do resultado até descobrir, um erro (até aqui intransponível) em 10/01/2010. Em 2012, juntamente com seu aluno R. Machado resolveu problema que se ocupou nos últimos 21 anos: como obter por algoritmo polinomial um "framed link presentation" de 3-variedade dada por 3-gem resolúvel. O trabalho foi dividido em 3 partes e postadas no arXiv. Desde 2013 elabora estudos mostrando que existe uma partição de grafos planos (blinks) onde cada membro da partição tem correspondência 1-1 com as classes de homeomorphismos de 3-variedades. Concluiu o censo de blinks de até 9 arestas: arXiv:1305.5590v6. Antevê simbiose entre Gems e o Teorema da Geometrização, simplificando as 3-variedades. Em época de ciência descartável (focada em número de publicações dissociadas do conteúdo), orgulha-se de não transigir e tentar descobrir algo perene e importante. Ver seus trabalhos, em "The Google Scholar Citations of Sóstenes Lins" em http://scholar.google.com.br/citations?user=7s-Ax68AAAAJ&hl=pt-BR. Desde Setembro 2013 deslanchou o Projeto GemBlinks/UNIVs que tem grande sucesso em divulgar a Topologia e Matemática. Entre 14-20/9/2014, o Shopping Center RioMar abriu suas portas para Exposição sobre UNIVs (esculturas em aço de grande beleza artística induzidos por 3-variedades que descobriu em 2013). Ver fotos em https://www.facebook.com/media/set/?set=a.811123928908425.1073741865.763273210360164&type=3. Novos UNIVs foram construídos e estão exibidos no Centro de Informática, na Engenharia de Produção, na Reitoria da UFPE e na entrada do prédio da Biblioteca Central. Com seu aluno Diogo Henriques publicou (em 2018) no JKTR onde se mostra que 3-variedades são classes combinatórias de grafos planos. Co-autor de artigo publicado em revista 1A da Quimica (2018), trabalho motivado pelos UNIVs. Em 2018-2019 voltou a investir em reformulacões para MaxCut e em 2019 fez progresso implicando que existe alta probabilidade de P=NP. Este é o tópico fundamental de sua pesquisa atual. (Fonte: Currículo Lattes)