2618 articoli
Il documento presenta un quadro generale per generalizzare lo schema di firma SQIsign mediante l'uso di strutture di livello, fornendo una nuova corrispondenza esplicita di Deuring per curve ellittiche supersingolari con tali strutture e risolvendo nuove equazioni di norma vincolate.
Questo articolo propone una prospettiva proof-theoretic sul secondo teorema di incompletezza di Gödel, distinguendo tra derivabilità e una nozione semantica di conseguenza basata sul supporto, e dimostra che, sebbene teorie aritmetiche come Q e PA non possano dimostrare la propria consistenza, essa è comunque supportata dalla loro struttura inferenziale, ridefinendo così l'incompletezza come una divergenza interna tra due nozioni di conseguenza piuttosto che come un divario tra sintassi e verità esterna.
Il documento dimostra che i concetti omotopici fondamentali si estendono alle -categorie attraverso l'introduzione dei poset omotopici, che formano una torre di Postnikov convergente per le -categorie e permettono di caratterizzare le -categorie complete come limite delle categorie -dimensionali.
Utilizzando metodi di analisi spettrale locale, questo articolo stabilisce condizioni necessarie e sufficienti, espresse in termini dei polinomi caratteristici di certi elementi dell'algebra generata dalle matrici, per determinare la validità della congettura di Kippenhahn.
Questo articolo stabilisce il teorema di Reshetnyak per valori quasiregolari mappati da una generalizzata n-varietà con geometria controllata nello spazio euclideo , generalizzando un precedente risultato di Kangasniemi e Onninen.
Questo studio propone un metodo di precondizionamento per problemi di diffusione ellittica con coefficienti eterogenei e difetti casuali, basato su una decomposizione in sottospazi che utilizza un approccio offline-online per ridurre i costi computazionali nelle simulazioni di incertezza come quelle Monte-Carlo.
Il paper presenta un metodo di approssimazione in due fasi che risolve le singolarità nei problemi di Dirichlet armonici tridimensionali, combinando una fase singolare basata sulla funzione di Green con una fase regolare di correzione liscia.
Questo studio analizza la dinamica qualitativa delle transizioni tra onde rarefattive e compressive nei flussi di Eulero isentropici radialmente simmetrici, stabilendo condizioni per la formazione di singolarità e convalidando i risultati teorici attraverso simulazioni numeriche.
Questo articolo presenta un framework agnostico rispetto al modello che trasforma l'estrapolazione in un problema di proiezione su insiemi ammissibili definiti da funzioni ancillari, garantendo matematicamente la riduzione dell'errore al di fuori del dominio di campionamento e fornendo nuovi limiti di stabilità quantitativi.
Il documento dimostra che la sequenza auto-generante di Hofstadter, definita come la somma minima di almeno due termini consecutivi precedenti, omette infiniti interi positivi, risolvendo così una congettura dell'OEIS e fornendo stime asintotiche per il suo comportamento.
Il documento presenta un metodo universale per risolvere il problema del centro di Poincaré, dimostrando che ogni centro analitico ammette un fattore integrante inverso di Laurent e fornendo una procedura teorica per identificare i vincoli parametrici che caratterizzano i centri nei campi vettoriali polinomiali.
Questo articolo studia la ben-postezza di un'equazione di Schrödinger non lineare cubica con coefficienti irregolari nel caso , dimostrando l'esistenza e l'unicità di soluzioni "molto deboli" compatibili con quelle classiche e presentando esperimenti numerici che ne evidenziano il comportamento.
Assumendo la falsità dell'ipotesi di Riemann, il paper stabilisce una relazione asintotica tra i residui di una serie specifica e una funzione continua, valida per numeri razionali , che offre nuove implicazioni per la verifica dell'ipotesi stessa.
Questo studio analizza la geometria del Crivello di Eratosthenes introducendo i concetti di Focali ed Estremi per rivelare una simmetria nella distribuzione dei primi e fornire una formula per il massimo resto che restituisce lo stesso quoziente.
Il documento dimostra che l'indice locale semintero di un punto umbilico isolato su una superficie convessa liscia in uno spazio euclideo tridimensionale è strettamente inferiore a due, utilizzando una tecnica di "totally real blow-up" per collegare il risultato locale a un teorema globale e suggerendo l'esistenza di punti umbilici "esotici" di indice 3/2.
Questo lavoro estende a una classe di groupoidi étale chiamati "inner amenable" l'equivalenza di sei diverse nozioni di esattezza, studiando le loro implicazioni sulla coincidenza tra le algebre C* piena e ridotta e fornendo nuovi esempi e questioni aperte nel contesto dei groupoidi localmente compatti.
Questo articolo introduce una funzione chiamata "misura di intelligenza" per valutare la qualità di un'approssimazione di un numero reale in un dato modello, dimostrando che tale approccio è coerente con la teoria classica dell'approssimazione diofantea razionale.
Questo articolo presenta una dimostrazione della congettura dei primi gemelli, affermando che la somma dei primi tali che anche sia primo diverge all'infinito secondo una specifica stima asintotica.
Il presente articolo introduce i concetti di universo, comunità indotte e cellule con i relativi punti per dimostrare la congettura degli insiemi chiusi rispetto all'unione, affermando che in ogni universo finito esiste almeno un punto la cui densità è maggiore o uguale a 1/2.
Questo articolo propone un problema polinomiale bivariato per matrici reali di ordine finito, stabilendo condizioni sufficienti per l'isomorfismo tra spazi vettoriali di matrici e sottospazi polinomiali, dimostrando l'esistenza e l'unicità della soluzione attraverso una connessione con problemi di interpolazione di Lagrange e fornendo formule costruttive e esempi numerici.