No Campus com Helder Coelho

Fazer a ciência devagar

Helder Coelho

No filme “The man who knew infinity” (sobre a colaboração de Ramanujan com Hardy em Cambridge, Reino Unido) aborda-se a resolução de problemas e a discussão do recurso à intuição. O terreno da Matemática é o escolhido, tal como no problema de Kadinson-Singer (sem resolução durante 50 anos), e onde se trata da reconciliação da Física Quântica com a Matemática (Marcus, Spielman e Srivastava, 2015).

No filme parece que tudo se resume ao recurso à prova, para confirmar a intuição, e o mesmo ocorre frequentemente na Física Social, onde se nota a desconfiança pelas equações que surgem como boias de salvação perante a avalanche dos dados (Big Data).

No caso do problema formulado por Richard Kadinson e pelo aluno Isadore Singer, no fim da década de 50, estamos perante um terreno interdisciplinar (Física/Matemática) onde se é aconselhado a viajar até às raízes e a caminhar com método.

A sugestão consiste em primeiro olhar para o problema de vários ângulos possíveis antes de se organizar o ataque. Em segundo lugar, deve-se recorrer a novas ferramentas ou a ter uma ideia brilhante. As tentativas anteriores, recorrer a matrizes (Heisenberg) ou aplicar a teoria dos grafos (von Neumann), não produziram resultados aceitáveis. O desenvolvimento de uma álgebra especializada (C*) levou os pioneiros da tentativa de quebrar agora o problema a terem esperança num êxito proximamente. Em terceiro lugar, a ideia (bastante explorada na interdisciplinaridade) de ver as ligações entre os ramos de uma disciplina é a aposta.

Reconciliar disciplinas impõe três direções possíveis de seguir: 1) usar conjeturas, 2) construir provas, ou 3) explorar experiências computacionais. Em todas estas vias, devemos prosseguir por estradas, abrir caminhos e dar passos decisivos. Parece fácil, mas não é!

Desenvolver um modelo de um mundo onde não é possível fazer medidas precisas (em simultâneo) de diferentes propriedades de um sistema físico, no nível microscópico, foi o exercício que fascinou a comunidade dos matemáticos. Duas vias foram indispensáveis: usar a álgebra funcional e enfrentar um terreno combinatório, ou seja juntar duas técnicas diferentes. Mesmo assim, as dificuldades continuaram, e só a observação de Pete Casazza de que existiam outros problemas parecidos como o de Kadison-Singer, por exemplo o de processamento de sinais. Foram necessários alguns anos mais para que Casazza se convencesse que invadindo outras áreas da Matemática surgiriam mais problemas (de processamento áudio, de protocolos da Internet sobre tolerância a erros) com outras semelhanças, ou seja o problema a resolver podia aparecer sob formas diferentes.

O encontro, na universidade de Yale (EUA), de Marcus, Spielman e Srivastava com o professor israelita Gil Kalai abriu um rasgo para a investigação continuada, em redor das matrizes capazes de descrever conexões entre os pontos de um grafo. O grupo de Yale desenvolvia então “sparsifiers”, técnicas para reduzir o número de ligações em grafos que são frequentemente usados para modelar redes, circuitos elétricos, e sistemas mecânicos. A “esparsificação” de grafos (as matrizes oferecem um modo de representar a informação em grafos) permite resolver problemas (sistemas de equações lineares), mas mais rapidamente, com algoritmos, embora perdendo alguma precisão.

Se bem que a dica fosse interessante, e parecesse um atalho para chegar logo à prova do problema, o grupo de Yale teve de esperar ainda mais cinco anos, fazendo experiências computacionais com o objetivo de encontrar contraexemplos para as conjeturas. O núcleo duro da prova final apoiou-se em propriedades de tipos especializados de polinómios, onde as funções matriciais (como os determinantes) forneceram os polinómios adequados.

Referência
Marcus, A., Spielman, D. e Srivastava, N. "Interlacing Polynomials II: Mixed characteristic polunomials and the Kadinson-Singer, Annals of Mathematics", Issue 1, 182, 2015

Helder Coelho, professor do Departamento de Informática de Ciências
info.ciencias@ciencias.ulisboa.pt
ETAR de Gaia Litoral

A análise de mais de 200 amostras de águas residuais das cinco estações de tratamento de águas residuais (ETAR) monitorizadas no âmbito do projeto COVIDETECT comprova a presença de material genético nos afluentes que chegam às ETAR e evidencia a ausência de deteção do material genético do vírus SARS-CoV-2 nos efluentes tratados. As etapas do tratamento das ETAR são eficientes na remoção do genoma viral dos efluentes.

National Cancer Institute

Investigadores do LASIGE Ciências ULisboa, INESC TEC e Universidade do Minho apresentam uma nova técnica de deduplicação de dados baseado em semelhanças e padrões encontrados nos ficheiros de sequenciação de genomas humanos e uma codificação das alterações para a recuperação desses dados.

logotipo

Sétima rubrica Radar Tec Labs, dedicada às atividades do Centro de Inovação da Faculdade. A empresa em destaque é a Keep on Care.

Computador

“O período de confinamento pode ser encarado como um primeiro grande teste à integração de renováveis no sistema elétrico, prelúdio do que se prepara com a transição energética global em curso”, escreve o cientista Miguel Centeno Brito.

Conceção artística do telescópio espacial Athena (Advanced Telescope for High-Energy Astrophysics)

“Ciências ULisboa tem vindo a aumentar a sua capacidade e a sua intervenção no desenvolvimento científico e tecnológico de alguns dos projetos mais importantes para o avanço da Astrofísica, não só nos próximos anos, mas nas próximas décadas”, diz o cientista José Afonso.

post it

Cristina Luís, investigadora do Departamento de História e Filosofia das Ciências e do Centro Interuniversitário de História das Ciências e da Tecnologia (CIUHCT), é a responsável em Portugal pelo projeto “Citizen Science as the new paradigm for Science Communication (NEWSERA)”, coordenado por Rosa Arias, fundadora da Science for Change e que visa estudar como a ciência cidadã pode mudar o paradigma da comunicação da ciência.

janela

Entrevista com o cientista Carlos Cordeiro, que lidera o SAFE Coating, um projeto que tem a Biomimetx e o Hospital Curry Cabral como parceiros e que em seis meses procurará implementar uma tecnologia capaz de inativar o SARS-CoV-2 em superfícies, impedindo a sua viabilidade fora do hospedeiro humano e consequentemente, eliminando uma importante via de transmissão viral.

Lusovenator, a nova espécie pertence ao grupo dos carcharodontossáurios - dinossáurios carnívoros, alguns dos maiores predadores do planeta Terra. A sua descoberta mostra que estes dinossáurios estavam presentes no hemisfério norte 20 milhões de anos antes do que indicava o registo conhecido. O estudo foi liderado por Elisabete Malafaia, investigadora do IDL, polo da Ciências ULisboa.

O Roteiro Nacional de Infraestruturas de Investigação de Interesse Estratégico (RNIE) 2020 inclui 56 infraestruturas. Ciências ULisboa coordena a CoastNet, a PORTULAN CLARIN e a RNEM, integrando ainda outras sete infraestruturas.

A fase de implementação da Rede Portuguesa de Monitorização Costeira (CoastNet) terminou recentemente, segundo comunicado de imprensa emitido pela Faculdade recentemente. A apresentação pública da CoastNet coordenada por José Lino Costa, professor do Departamento de Biologia Animal da Ciências ULisboa, acontece a 7 de julho, num evento a decorrer por videoconferência.

O projeto MarCODE visa desenvolver uma ferramenta multidisciplinar para potenciar o rastreio e a rotulagem ecológica de espécies marinhas de interesse comercial, segundo comunicado de imprensa emitido pela Faculdade. O estudo iniciado este mês de julho deverá terminar daqui a três anos.

Sexta rubrica Radar Tec Labs, dedicada às atividades do Centro de Inovação da Faculdade. A empresa em destaque é a Nevaro.

Cláudio Pina Fernandes, coordenador do GAPsi Ciências ULisboa, escreve sobre o Princípio da Incerteza e chama a atenção para alguns aspetos.

O mundo de hoje é completamente dominado pela necessidade imperiosa de saber recolher e analisar dados, escrevem os cientistas Tiago A. Marques e Soraia Pereira. Leia o artigo dedicado ao roteiro serológico nacional, uma iniciativa promovida pelo Instituto Gulbenkian de Ciência e que conta com a colaboração do Centro de Estatística e Aplicações da Universidade de Lisboa, da autoria destes investigadores.

Ciências ULisboa volta a participar com equipas de estudantes no Global Management Challenge (GMC). No passado dia 16 de junho começou a 1ª fase do GMC 2020, que conta com quatro equipas desta faculdade compostas por alunos dos mestrados integrados em Engenharia Biomédica e Biofísica, em Engenharia da Energia e do Ambiente e em Engenharia Física, assim como alunos das licenciaturas em Matemática Aplicada e Tecnologias de Informação.

teste

Cerca de 194 milhões de aves e 29 milhões de mamíferos podem ser atropelados por ano nas estradas europeias, de acordo com a estimativa de uma equipa internacional de investigadores liderada por Clara Grilo, investigadora do Centro de Estudos do Ambiente e do Mar (CESAM), polo da Ciências ULisboa, com sede na Universidade de Aveiro. Os resultados estão publicados na revista científica Frontiers in Ecology and Environment.

“A História do Pi em hipervídeo” está na Internet e pode ser consultada por todos e em toda a parte. O hipervídeo integra de forma estruturada e interativa vídeo e outros tipos de informação, nomeadamente, textos, imagens, áudio e animações. Saiba mais sobre este projeto lendo a entrevista com as professoras Suzana Nápoles e Teresa Chambel.

A dinâmica das epidemias é descrita por sistemas de equações diferenciais. Jorge Buescu, professor do Departamento de Matemática da Ciências ULisboa, apresenta neste artigo o modelo epidemiológico desenvolvido em 1927 por Kermack e McKendrick.

No próximo ano letivo, Ciências ULisboa irá utilizar novos modelos de ensino/aprendizagem, todos com horas de contacto entre docentes e alunos, mas que se diferenciam pela existência e forma da componente presencial, anunciou a Faculdade em comunicado de imprensa.

Um grupo de cientistas da Ciências ULisboa e da Faculdade de Engenharia da Universidade do Porto, membros do CENTRA - Centro de Astrofísica e Gravitação participa no desenvolvimento do METIS (Mid-infrared ELT Imager and Spectrograph), um poderoso instrumento que vai equipar o maior telescópio do mundo - o Extremely Large Telescope.

A equipa do projeto Lista Vermelha de Invertebrados Terrestres e Dulçaquícolas de Portugal Continental preparou a campanha de ciência cidadã - “Invertebrados da Lista Vermelha procuram-se” -, cujo lançamento ocorre esta sexta-feira, dia 5 de junho.

Duas pessoa dão as mãos

"A nossa necessidade de conexão e de afeto é singular, no sentido em que precisamos e procuramos o contacto com outros seres humanos", escreve Inês Ventura, psicóloga do GAPsi Ciências ULisboa.

Mulher sentada em banco junto ao rio Tejo

Um grupo multidisciplinar de cientistas propõe a criação de um roteiro nacional para a realização de testes serológicos em Portugal e defende que a avaliação rigorosa e concertada da prevalência da doença COVID-19 é a única forma de conhecer a real vulnerabilidade da população e monitorizar a dinâmica da epidemia.

Logotipo da rubrica Rardar

Quinta rubrica Radar Tec Labs dedicada às atividades do Centro de Inovação da Faculdade. A empresa em destaque é a THEREUS.

ETAR de Serzedelo

A primeira etapa do COVIDETECT já está concluída e com sucesso anunciou esta quarta-feira a AdP - Águas de Portugal. Ciências ULisboa assegura a coordenação científica do projeto, financiado através do programa Compete 2020.

Páginas