2549 articoli
Questo articolo fornisce una descrizione completa del reticolo delle sottovarietà della varietà dei semilattice di De Morgan, identificando per ciascuna sottovarietà un insieme finito di generatori, una caratterizzazione delle rappresentazioni di De Morgan-Płonka e una descrizione sintattica delle identità valide.
Il lavoro stabilisce limiti polinomialmente migliorati per le autofunzioni dei laplaciani magnetici su superfici iperboliche nel regime energetico critico e dimostra che, al di sotto di tale soglia, il limite di Hörmander è saturato da stati espliciti denominati "stati zonali magnetici", che assomigliano agli armonici zonali sulla sfera e si distribuiscono uniformemente su tori lagrangiani nello spazio delle fasi.
Questo lavoro dimostra che il supremo della soluzione di una classe di equazioni alle derivate parziali stocastiche non lineari unidimensionali ammette una densità rispetto alla misura di Lebesgue, utilizzando il calcolo di Malliavin e il criterio di Bouleau-Hirsch per i massimi, pur affrontando le sfide legate all'analisi dell'insieme dei punti di massimo e alla non degenerazione della derivata di Malliavin.
Il paper stabilisce un criterio di normalità per una famiglia di funzioni meromorfe in un dominio, dimostrando che la famiglia è normale se ogni funzione non si annulla, il suo polinomio differenziale omogeneo non si annulla e gli zeri della differenza tra tale polinomio e la potenza -esima di una funzione olomorfa hanno molteplicità almeno pari a .
Questo lavoro propone un quadro iterativo unificato per problemi di contatto meccanico senza attrito che, combinando strategie di splitting spostamento-forza con un'accelerazione a secante incrociata, garantisce una convergenza rapida e indipendente dai parametri numerici utilizzando esclusivamente sistemi di rigidezza standard.
Questo articolo sviluppa una teoria generale per i metodi di discesa del primo ordine in spazi di Banach riflessivi, introducendo una condizione geometrica basata su insiemi normanti che garantisce la convergenza e permette di derivare tassi di convergenza quantitativi, inclusi tassi algebrici migliorati, polinomiali arbitrariamente alti ed esponenziali, per problemi variazionali convessi e approssimazione ad alta dimensionalità utilizzando dizionari restrittivi.
Questo articolo estende la ricerca sulle proprietà dei "gemelli malvagi" nelle somme di fiori selvatici e mutanti, dimostrando che un ampio insieme chiuso di tali giochi possiede questa proprietà, generalizzando parzialmente la teoria del genere misère di Conway ai giochi partiziani e provando che il calcolo della classe di esito per i fiori mutanti è NP-difficile.
Questo articolo presenta il framework HyGAMP, un algoritmo ibrido che combina approssimazioni di message passing basate sul teorema del limite centrale per interazioni deboli con aggiornamenti standard per interazioni forti, offrendo un compromesso tra complessità computazionale e prestazioni nell'inferenza statistica su modelli grafici generali.
Questo studio analizza il limite a rumore nullo di processi diffusivi ad alta dimensione con deriva misurabile, dimostrando che la distribuzione limite è singolare rispetto alla misura di Lebesgue e il suo supporto è determinato esclusivamente dalle soluzioni di Filippov a fuga istantanea, unificando così teoria probabilistica, geometria metrica e teoria delle equazioni differenziali non uniche.
Questo articolo introduce e analizza la classe delle matrici bilanciate, evidenziando come, nel caso di matrici $2\times 2$, esista una relazione diretta tra l'elemento principale, la traccia e i determinanti che permette di prevedere le forme quadratiche basandosi esclusivamente sullo spettro, senza conoscere gli elementi della matrice.
Questo articolo introduce il metodo di "spanning" per analizzare le equazioni della forma e ne dimostra l'applicazione al problema di Lehmer, fornendo una stima inferiore per il numero di interi tali che per qualche .
Questo articolo introduce una successione spettrale che converge alla coomologia operadica di un'algebra, utilizzando filtrazioni basate su torri di cofibrazioni per generalizzare tecniche computazionali esistenti e fornire nuove descrizioni algebriche della successione spettrale di Serre e dei gruppi di omotopia razionale relativi alle equivalenze di omotopia delle fibre.
Questo articolo introduce il concetto di magnetizzazione di curve chiuse semplici e ne dimostra l'applicazione al problema del camminatore disperso nella foresta di Bellman, ipotizzando specifiche condizioni geometriche tra il camminatore e il confine della foresta.
Il documento fornisce una dimostrazione della formula di molteplicità congetturata da Lusztig per i moduli non ristretti sull'algebra quantizzata di De Concini-Kac a una radice -esima dell'unità, dove è una potenza di un numero primo dispari che soddisfa determinate condizioni ragionevoli.
Questo articolo costruisce la prima funzione L p-adica per rappresentazioni automorfe cuspidali algebriche regolari di "tipo generale" su GL(3), dimostrando le congetture di Coates-Perrin-Riou e Panchishkin attraverso l'impiego della teoria delle varietà sferiche per generare un sistema di Euler di Betti.
Questo articolo studia la distribuzione dell'indice di profondità sulle corrispondenze perfette, fornendo una descrizione combinatoria aggiuntiva e dimostrando che tale indice è equidistribuito rispetto alla funzione di rango dell'ordine di Bruhat.
Il paper dimostra che il quoziente di un dominio omogeneo limitato per un gruppo discreto unipotente di automorfismi è olomorficamente separabile e fornisce una condizione necessaria, in alcuni casi anche sufficiente, affinché tale quoziente sia Stein.
Il paper fornisce stime sulla dimensione di Kodaira per fibrazioni su varietà abeliane, offrendo applicazioni che rafforzano la sottoadditività della dimensione di Kodaira in questo contesto.
Il paper stabilisce una dicotomia sulla realizzabilità degli attrattori dei sistemi di funzioni iterate diretti da grafi (GD-IFS) come attrattori di sistemi IFS standard, dimostrando che se un circuito diretto non passa per un vertice, esistono condizioni algebriche che garantiscono che l'attrattore associato a tale vertice non possa essere rappresentato come attrattore di alcun IFS standard, rendendo questa situazione "quasi universale" per i GD-IFS che soddisfano la condizione di insieme aperto convesso.
Questo lavoro sviluppa una teoria delle specifiche GSOS astratte per i linguaggi di ordine superiore, trasferendo i principi del quadro di Turi e Plotkin a tale contesto mediante trasformazioni dinaturali chiamate leggi GSOS di ordine superiore puntate, al fine di garantire risultati generali di composizionalità che si applicano, tra gli altri, al calcolo SKI e al -calcolo.