6448 articoli
Il documento presenta una variante stabile e scalabile del metodo PCG a s-passi che combina una base di Krylov stabilizzata con polinomi di Chebyshev e un approccio Gauss-Seidel per la risoluzione dei sistemi Gram ridotti, dimostrando su architetture GPU prestazioni di convergenza paragonabili al CG classico con una significativa riduzione dei costi di sincronizzazione.
Il paper introduce le nuove configurazioni generalizzate Jflower e Jposy per unificare la caratterizzazione dei grafi Sterboul-Deming, dimostrando che gli insiemi di vertici coperti da queste strutture coincidono con quelli delle configurazioni classiche di Edmonds, Sterboul e Deming.
Questo articolo presenta diverse caratterizzazioni dei grafi Sterboul-Deming, ovvero grafi privi di vertici non coperti da un matching perfetto (KE(G)=∅), fornendo un algoritmo costruttivo per la loro decomposizione e dimostrando che la classe include tutti i grafi dotati di un fattore , stabilendo così nuove connessioni tra i teoremi di decomposizione classici e la struttura interna dei grafi non-König-Egerváry.
Questo lavoro generalizza la teoria dei grafi quasi bipartiti non-Kőnig-Egerváry introducendo la famiglia dei grafi R-disgiunti, dimostrando che essi conservano le proprietà fondamentali di tali grafi e verificando una recente congettura di Levit e Mandrescu attraverso una formula che estende la relazione tra corona, core e numero di cicli dispari.
Questo articolo caratterizza le condizioni in cui lo sviluppo a nastro di un prismatico annidato è privo di sovrapposizioni, dimostrando che il noto controesempio è sostanzialmente l'unico caso possibile e fornendo strumenti utili per affrontare il problema generale dell'apertura non sovrapposta dei prismatoidi.
Il documento analizza un sistema accoppiato a cascata di equazioni del calore e delle onde in una dimensione, dimostrando la sua ben-postezza, il controllo simultaneo esatto e approssimato, e la stabilizzazione polinomiale sfruttando la struttura a cascata all'interno di un quadro teorico lineare tempo-invariante.
Questo articolo introduce un quadro teorico di rate-distortion a blocco finito per campi aleatori eterogenei su reticoli finiti, stabilendo limiti non asintotici e un'espansione del secondo ordine che quantificano l'impatto di correlazione spaziale, eterogeneità e vincoli di tassellazione sulle prestazioni di compressione lossy in ambito scientifico.
Questo studio analizza problemi di ottimizzazione riguardanti il primo autovalore e la rigidità torsionale associati a energie variazionali anisotrope, focalizzandosi sulla massimizzazione e minimizzazione di funzionali che combinano queste due grandezze rispetto alla scelta della seminorma che definisce l'energia.
Il documento dimostra che, per problemi di sloshing definiti in domini lisci e limitati con condizioni al contorno miste, tutti gli autovalori risultanti sono semplici sotto piccole perturbazioni del dominio.
Questo articolo fornisce una prova rigorosa della congettura del dinamo veloce su un toro tridimensionale, dimostrando che un campo di velocità periodico e caotico genera un'instabilità magnetica che persiste anche in presenza di una piccola diffusività resistiva.
Questo articolo dimostra che l'aggiunta di disuguaglianze lineari sparse che approssimano il cono semidefinito positivo permette di ottenere un rilassamento LP con lo stesso limite del rilassamento SDP, accelerando così i metodi branch-and-bound per la risoluzione globale di problemi di ottimizzazione non convessa.
Questo articolo propone un modello algebrico per il problema dell'equivalenza dei codici lineari basato sulle coordinate di Plücker e sulla teoria degli invarianti, che, sebbene non porti a un attacco pratico a causa dell'elevata complessità computazionale, rappresenta il primo tentativo teorico di applicare la geometria algebrica alla critanalisi di tale problema.
Il lavoro dimostra l'esistenza di soluzioni a energia finita per le equazioni di Lichnerowicz accoppiate con un campo scalare su varietà Riemanniane complete, utilizzando tecniche variazionali e stime di Harnack, e stabilisce la necessità di condizioni di integrabilità globale per i coefficienti singolari.
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.