Limit Filters and Dependent Choice in Countable-Support Symmetric Iterations

Este artigo desenvolve uma construção de filtros de limite para iterações simétricas com suporte contável que garantem a preservação do Axioma da Dependência (DC) e do ZF, permitindo a criação de modelos onde o Axioma da Escolha falha especificamente para famílias de pares de números reais, ao demonstrar que filtros de limite ω1\omega_1-completos são estruturalmente necessários para evitar o colapso do DC em estágios limite de cofinalidade ω\omega.

Frank Gilson2026-03-10🔢 math

A Proof of the Continued Fraction Identity π/4=Kn=1((n1)2/(2n1))-\pi/4 = {\rm K}_{n=1}^{\infty}\bigl((n-1)^2\,/\,{-(2n-1)}\bigr)

O artigo apresenta uma prova analítica autossuficiente da identidade de fração contínua que iguala π/4-\pi/4 a uma fração contínua específica, derivando-a da fração contínua clássica de Gauss para a função arco-tangente em z=1z=-1 e demonstrando, através de uma transformação de equivalência explícita, que essa representação converge superexponencialmente mais rápido que a série de Gregory-Leibniz.

Chao Wang2026-03-10🔢 math

On the characteristic function of the asymmetric Student's tt-distribution and an integral involving the sine function

Este artigo apresenta uma nova fórmula de forma fechada para a função característica da distribuição tt de Student assimétrica, derivada por meio da obtenção de uma expressão analítica para uma integral envolvendo a função seno e a função integral exponencial, o que também permite deduzir uma fórmula para um limite específico envolvendo funções de Bessel modificadas e de Struve.

Robert E. Gaunt2026-03-10🔢 math

Hematopoiesis as a continuum: from stochastic compartmental model to hydrodynamic limit

Este artigo estabelece um limite hidrodinâmico para um modelo estocástico de compartimentos que descreve a hematopoiese como um contínuo, provando a convergência das populações de células-tronco e maduras, bem como das medidas empíricas das células imaturas, para um sistema determinístico de equações diferenciais parciais acopladas com dinâmica de fronteira.

Vincent Bansaye (CMAP, MERGE), Ana Fernández Baranda (CMAP, MERGE), Stéphane Giraudier (AP-HP), Sylvie Méléard (MERGE, CMAP)2026-03-10🔢 math

Structured sunflowers and canonical Ramsey properties

Este artigo demonstra que a propriedade de girassol infinito é equivalente à propriedade de Ramsey pontual canônica infinita para estruturas relacionais ultrahomogêneas com amalgamação forte, estabelece que um reforço da propriedade de Ramsey pontual canônica finita implica a propriedade de girassol finita, e prova que classes de amigação livre com um único tipo de isomorfismo de vértice, bem como diversas classes de espaços métricos finitos, possuem a propriedade de girassol finita.

Rob Sullivan, Jeroen Winkel2026-03-10🔢 math

Semantic Search over 9 Million Mathematical Theorems

Este trabalho apresenta e avalia um sistema de busca semântica em escala para 9,2 milhões de teoremas matemáticos extraídos de fontes como o arXiv, demonstrando que a recuperação específica de teoremas, e não apenas de artigos inteiros, é viável e eficaz ao utilizar descrições em linguagem natural e modelos de linguagem avançados.

Luke Alexander, Eric Leonen, Sophie Szeto, Artemii Remizov, Ignacio Tejeda, Jarod Alper, Giovanni Inchiostro, Vasily Ilin2026-03-10🔢 math