O campo da Matemática Física explora as estruturas matemáticas que sustentam as leis fundamentais do nosso universo, servindo como a ponte essencial entre a teoria abstrata e a realidade observável. Aqui, pesquisadores utilizam ferramentas rigorosas para modelar desde o comportamento das partículas subatômicas até a dinâmica complexa dos buracos negros, traduzindo conceitos físicos profundos em equações precisas e elegantes.

No Gist.Science, processamos sistematicamente cada novo pré-publicação nesta área enviada ao arXiv, garantindo que o conhecimento mais recente se torne acessível a todos. Oferecemos para cada artigo tanto uma explicação em linguagem simples, ideal para quem busca compreender a essência das descobertas, quanto um resumo técnico detalhado para especialistas. Abaixo, você encontrará as últimas contribuições em Matemática Física que acabaram de chegar ao nosso banco de dados.

🤖 AI

A Formalization of the Mean-Field Derivation of the Vlasov Equation: AI-Assisted Lean Formalization as a Strategy Game

Este artigo apresenta um estudo de caso no qual um matemático direciona um sistema de IA para formalizar a derivação de campo médio da equação de Vlasov em Lean 4, enquadrando o processo como um "jogo de estratégia" que produziu com sucesso uma prova completa e livre de axiomas e uma biblioteca de transporte ótimo reutilizável em aproximadamente um mês.

Joseph K. Miller2026-07-13
🌀 nonlinear sciences

Paths to synchronization in the Kuramoto model with inertia

Este estudo investiga o modelo de Kuramoto inercial para revelar que distribuições de frequências intrínsecas ditam caminhos de sincronização distintos, onde distribuições gaussianas unimodais levam ao arrastamento de agrupamentos hierárquico e suave, enquanto distribuições uniformes multimodais produzem uma sincronização discreta, semelhante à escada do Diabo, via fusões sucessivas de agrupamentos periféricos.

Cook Hyun Kim, Yeomoon Kim, Stefano Boccaletti, B. Kahng2026-07-13
🔢 mathematics

Nonlinear stability of Einstein-de Sitter universes

Este artigo estabelece a estabilidade não linear do universo de Einstein-de Sitter ao provar que conjuntos de dados iniciais com métricas quase planas e densidade de energia de fluido positiva em T3\mathbb{T}^3 convergem para uma métrica plana sob o fluxo de Einstein-Euler com uma equação de estado politrópica, confirmando assim que o modelo pode ser estável para uma descrição de matéria apropriada, apesar de sua conhecida instabilidade linear sob condições sem pressão.

Louie Bernhardt, David Fajman, Zoe Wyatt2026-07-13
🔢 mathematics

Entanglement entropy of ground states of the Landau Hamiltonian on the half-plane

Este artigo demonstra que, apesar de o Hamiltoniano de Landau no semiplano possuir um espectro puramente absolutamente contínuo (ao contrário do espectro puramente pontual do plano total), seus estados fundamentais ainda obedecem a uma lei de área estrita para a entropia de emaranhamento, provocando uma investigação sobre as condições espectrais específicas necessárias para produzir uma lei de área logaritmicamente aumentada.

Paul Pfeiffer, Wolfgang Spitzer2026-07-13
🔢 mathematics

A certified refinement and asymptotic analysis of the Kuznetsov-Sahinidis diameter bound for Lennard-Jones clusters

Este artigo apresenta um refinamento certificado e uma análise assintótica do limite de diâmetro de Kuznetsov-Sahinidis para aglomerados de Lennard-Jones, oferecendo um aperto rigoroso do limite para 5N2005 \le N \le 200 e resolvendo seu comportamento assintótico como NΘ(N)N - \Theta(\sqrt{N}), observando que a melhoria serve primariamente como um avanço teórico em vez de um impulso prático imediato para os solucionadores determinísticos atuais.

Guillaume Lecomte2026-07-13
🔢 mathematics

A Cloud-Accessible Open-Source Framework for the Electromagnetic Modelling of Applied Superconductors

Este artigo apresenta o H-cloud, um framework de elementos finitos de código aberto e acessível via nuvem, construído sobre o Firedrake, que permite a modelagem eletromagnética rigorosa, reprodutível e portátil de supercondutores aplicados com precisão comparável à de softwares comerciais, enquanto suporta simulação direta, diferenciação adjunta e otimização tanto em ambientes locais quanto baseados em navegador.

Yusen Guo, Alberto Paganini, Harold S. Ruiz2026-07-13
🔢 mathematics

Sharp and Endpoint Two-Weight Fractional Integral Estimates for Schr"odinger Operators with Inverse-Square Potentials

Este artigo estabelece estimativas de integrais fracionárias de dois pesos aguçadas e de extremidade para operadores de Schrödinger com potenciais de inverso ao quadrado, demonstrando que, embora as estimativas fortes e ponderadas LpLq,L^p \to L^{q,\infty} falhem em fronteiras críticas na origem, a estimativa no espaço de Lorentz Lp,1Lq,L^{p,1} \to L^{q,\infty} permanece válida, juntamente com as consequências de Sobolev ponderadas derivadas para o caso de Friedrichs crítico de Hardy.

Haochen Liu, Qinghao Yu, Hongyan Zhou2026-07-13
🔢 mathematics

A complete ultrametric on von Neumann's incomplete tensor products

Este artigo introduz uma estrutura ultramétrica completa sobre o conjunto de produtos tensoriais incompletos de von Neumann para quantificar rigorosamente a distinção operacional de ramos quânticos, demonstrando como unitárias de produto deslocam esses estados e interpretando a métrica como um expoente de decoerência que mede a taxa na qual os ramos de estados universais tornam-se distinguíveis.

Andrew Lesniewski2026-07-13