4193 articoli
Il paper presenta una formalizzazione costruttiva dei sistemi di riscrittura astratti in Agda, eliminando la logica classica per affinare i criteri di terminazione e confluenza e dimostrandone l'applicabilità attraverso un esempio nel calcolo lambda.
Il documento dimostra che le equazioni di Eulero incompressibili tridimensionali nella classe assialsimmetrica senza rotazione ammettono una singolarità di tipo I in tempo finito per ogni regolarità iniziale con , confermando la soglia di regolarità globale per come limite netto e fornendo un meccanismo di collasso strutturale stabile basato su un nuovo approccio lagrangiano.
Il lavoro studia sistemi di reazione-diffusione con interazioni competitive -arie, dimostrando la regolarità Hölder uniforme delle soluzioni minime e la loro convergenza verso configurazioni parzialmente segregate che soddisfano vincoli di segregazione -aria nel regime di competizione forte.
Il paper dimostra che ogni grafo orientato su vertici con grado semiminimo almeno contiene un albero orientato di massimo grado , fornendo un limite asintoticamente ottimale per tale soglia.
Il documento determina l'energia di Laplaciana massima e caratterizza i digrafi estremali per la classe dei digrafi privi di cicli orientati di lunghezza , estendendo così i problemi di Turán al contesto spettrale.
Il paper sostiene che la dualità di Gelfand-Naimark tra spazi compatti di Hausdorff e algebre C*-commutative unitarie offre intuizioni fondamentali per lo studio degli spazi compatti, in particolare dei resti di Čech-Stone e dei loro auto-omomorfismi.
Questo studio presenta la prima stima di errore per un osservatore discreto applicato a un sistema iperbolico quasilineare, dimostrando la convergenza uniforme nel tempo di un osservatore di Luenberger basato su elementi finiti misti e integrazione implicita di Eulero per le equazioni di Eulero barotropiche in una dimensione, utilizzando solo misurazioni della velocità.
Il lavoro stabilisce stime della funzione massima non tangenziale per il gradiente delle soluzioni di un problema ai limiti misto (Dirichlet-Neumann) per operatori ellittici con coefficienti variabili, limitati e misurabili su domini lipschitziani, generalizzando risultati noti per il laplaciano e per problemi puri con dati al bordo in o .
Il lavoro stabilisce il tasso netto di propagazione del caos per equazioni di McKean-Vlasov con coefficienti non lineari nella misura, applicando questi risultati alla convergenza nei giochi e nel controllo di campo medio e alla dinamica di Langevin di campo medio, ottenendo stime uniformi nel tempo in regime convesso forte.
Questo studio analizza la dinamica globale e le biforcazioni di un modello chemostatico per due specie mutualistiche obbligate, dimostrando che l'inclusione della mortalità arricchisce il comportamento del sistema introducendo oscillazioni stabili, multi-stabilità e biforcazioni complesse che permettono la coesistenza in modi più realistici rispetto al caso senza mortalità.
Il lavoro esamina le -categorie come limite di -categorie quando , confrontando i risultati ottenuti tramite i funtori di "core" e di localizzazione e dimostrando che quest'ultimo è una localizzazione riflessiva del primo, mentre si studiano anche localizzazioni intermedie basate su nozioni di invertibilità emergenti solo a .
Il paper introduce il blocco sparso Tensor Train (BSTT), una proiezione casuale strutturata che unifica gli operatori di sketching esistenti per il formato Tensor Train garantendo proprietà di embedding e iniezione di sottospazi con complessità lineare rispetto all'ordine del tensore, superando così le limitazioni esponenziali delle costruzioni precedenti.
Il lavoro dimostra che, per superfici compatte lisce generiche, il flusso di curvatura media in sviluppa singolarità di tipo restringimento sferico o di collo non degenere al primo istante singolare, le quali risultano isolate nello spaziotempo.
Questo saggio offre un'introduzione alla simmetria conforme, illustrata attraverso l'operatore di Yamabe e le sue applicazioni nella geometria differenziale conforme e nella teoria delle rappresentazioni.
Il documento dimostra l'equivalenza di tre nozioni di rango per matrici di forme multilineari, generalizzando un risultato classico di Flanders, correggendo un errore in lavori precedenti e rispondendo a una domanda di Lampert.
Il paper dimostra che, per somme di variabili aleatorie intere indipendenti con massime probabilità di punto limitate, la concentrazione è asintoticamente massimizzata da variabili a varianza minima, fornendo un limite asintoticamente ottimale che si estende anche agli spazi di Hilbert separabili.
Il paper dimostra che la continuità della funzione limite del rapporto tra le somme parziali dell'eta di Dirichlet valutata in e $1-s$ nell'area sinistra della striscia critica è equivalente all'ipotesi di Riemann, collegando inoltre il comportamento asintotico dei resti alla congettura degli zeri semplici.
Il documento analizza la convergenza di un algoritmo di tipo prossimale per la minimizzazione di programmi DC, dimostrando che la direzione di discesa ottenuta può essere utilizzata in un metodo con ricerca lineare e applicando tale approccio alla selezione delle variabili nella regressione lineare sotto l'ipotesi della proprietà di Kurdyka-Łojasiewicz.
Questo articolo studia la distribuzione degli zeri di una specifica classe di polinomi e delle loro derivate, dimostrando una variante debole della congettura di Sendov nel caso in cui gli zeri siano reali e dello stesso segno.
Questo lavoro studia gli arrangiamenti triangolari nel piano proiettivo, dimostrando che ogni loro combinatoria è realizzata da un arrangiamento delle radici dell'unità, fornendo condizioni per la loro libertà e presentando due esempi con la stessa debole combinatoria ma con proprietà di libertà diverse.