1300 artigos
A matemática que alimenta a tecnologia, conhecida como "Math — It", é o motor invisível por trás dos avanços digitais que moldam nosso dia a dia. Nesta área, os pesquisadores exploram algoritmos, criptografia e teoria da informação, traduzindo ideias abstratas em soluções que tornam a computação possível e segura. É onde a lógica pura encontra a aplicação prática, criando a base para tudo, desde redes de comunicação até inteligência artificial.
No Gist.Science, acompanhamos de perto a vanguarda dessas descobertas processando cada novo pré-impulso publicado no arXiv nesta categoria. Nossa equipe transforma esses documentos técnicos complexos em resumos claros e acessíveis, oferecendo tanto uma explicação simples para quem está começando quanto uma análise detalhada para especialistas. Assim, garantimos que o conhecimento mais recente seja compreensível para todos, sem barreiras linguísticas ou acadêmicas.
Abaixo, você encontrará a lista atualizada dos artigos mais recentes nesta área, prontos para serem lidos e entendidos.
Este artigo faz um levantamento e estende o estado da arte sobre a informação mútua de Sibson ao introduzir representações variacionais que permitem a derivação de novas desigualdades generalizadas de Custo de Transporte e do tipo Fano em diversos contextos, tais como aprendizagem estatística, teste de hipóteses e predição universal.
Este artigo estabelece limites teóricos exatos e estratégias de cacheamento ideais para recuperar consultas de forma confiável de caches semanticamente transparentes sob apagamentos de premissas, demonstrando que, embora a recuperação de consulta única se reduza à interceptação de caminho ponderado, a otimização de carga de trabalho compartilhada é geralmente NP-completa, mas alcançável através de módulos semânticos que superam benchmarks codificados em regimes específicos.
Este artigo fornece uma visão geral acessível do compromisso entre taxa, distorção e percepção na compressão com perda e revela suas profundas conexões teóricas com a coordenação distribuída sob comunicação com taxa limitada, demonstrando que ambos os problemas compartilham caracterizações informacionais, dependência de aleatoriedade comum e ferramentas analíticas idênticas, ao mesmo tempo em que propõe transferir os paradigmas emergentes de realismo para o domínio da coordenação.
Este artigo demonstra que, embora os teoremas de composição de estilo clássico falhem para a privacidade diferencial quântica geral devido a implementações conjuntas correlacionadas, garantias de composição significativas podem ser restauradas para canais de produto tensorial em entradas de produto através da introdução de um contador de momentos quânticos baseado em perda de privacidade com valores de operador e funções geradoras de momentos matriciais.
Este artigo apresenta um estimador ótimo para a fidelidade de Uhlmann entre um estado quântico geral e um estado puro que opera sem conhecimento prévio de qual estado é puro, alcançado ao especializar uma transformada de Uhlmann algorítmica refinada para computar e maximizar duas estimativas de amplitude complementares.
Este artigo introduz o conceito de capacidade de computação para computação de funções booleanas sobre canais de comunicação, fornecendo uma caracterização completa da função de taxa assintótica e estabelecendo limites superiores e inferiores estritos para a capacidade de uma ampla classe de funções.
Este artigo estabelece a equivalência entre os códigos quânticos localmente recuperáveis (qLRCs) de CSS e seus homólogos clássicos subjacentes, utilizando então matrizes de inclusão de subconjuntos para construir LRCs clássicos binários de contendo o dual que geram qLRCs de alta taxa com distâncias mínimas não triviais, enquanto também deriva limites fundamentais de dimensão e distância para esses códigos.
Este artigo estabelece um arcabouço não-estabilizador para códigos quânticos localmente recuperáveis puramente disjuntos ao introduzir enumeradores de peso por bloco para derivar um limite do tipo Singleton fortalecido e um limite superior de programação linear sobre a dimensão do código sem assumir uma estrutura de estabilizador.
Este artigo apresenta reduções eficientes de busca para decisão para os problemas de Equivalência de Códigos Linear e Geral ao recuperar o componente de permutação via um oráculo de decisão e determinar os componentes de diagonal e de automorfismo de corpo em tempo polinomial determinístico usando o algoritmo de Engel-Schneider.
Este artigo introduz um framework unificado baseado na técnica de duplicação para construir códigos quânticos de cor e -ortogonais que suportam portas de rotação arbitrárias transversais, permitindo protocolos de troca de código tolerantes a falhas eficientes para computação quântica universal com overhead reduzido e viabilidade demonstrada em códigos de superfície rotacionados.