2380 papers
Dit artikel introduceert een meersortige uitbreiding van abelse rooster-geordende groepen die equivalent is met het toekennen van een spectrale deelruimte aan het -spectrum, en bewijst dat deze uitbreiding een modelcompanion toelaat die volledig is en kwantoreneliminatie bezit.
Dit artikel introduceert een categorische benadering voor convex optimalisatie door optimalisatieproblemen als objecten te definiëren, waarmee bestaande resultaten zoals een minimax-stelling en de eigenschap dat de Legendre-dualiteit van een convex functie tot zichzelf leidt, opnieuw worden afgeleid.
Dit paper introduceert een constructie op basis van verrijkte categorieën die onzekerheid in open systemen binnen symmetrisch monoidale categorieën modelleert door morfismen te vervangen door parametrische kaarten in Markov-categorieën, waardoor de compositie van ontwerpproblemen kan worden uitgebreid naar toepassingen zoals optimalisatie en Bayesiaanse leer.
Dit paper introduceert een correct en exhaustief algoritme voor het automatisch enumereren van kritieke paren in stringdiagram-rewriting-systemen binnen symmetrische monoidale categorieën zonder Frobenius-structuur, door middel van concrete manipulatie van hypergrafieken.
Dit artikel vat de herdenkingssessie voor de overleden Dr. Vladimir Sidorenko tijdens de FFCS-conferentie samen, waarin zijn wetenschappelijke bijdragen aan coderingstheorie en cryptografie en zijn persoonlijke kwaliteiten als mentor en vriend worden geëerd.
In dit artikel bewijzen de auteurs Bialy's conjectuur dat twee ellipsen met dezelfde Mather-betafunctiewaarden bij twee niet-nul rotatietallen identiek zijn, en tonen ze aan dat deze conclusie ook geldt bij één rotatietal indien de ellipsen dezelfde omtrek hebben, met gevolgen voor lokale extremen van de Mather-betafunctie.
In dit artikel bewijzen de auteurs dat elke Drinfeld-module van rang twee met een -structuur isomorf is aan zijn Taguchi-dual, wat leidt tot een nieuwe vorm van de Kodaira-Spencer-isomorfie voor de Hodge-bundel op de bijbehorende Drinfeld-modulaire kromme.
Dit artikel bewijst dat complexe Hénon-afbeeldingen van een gegeven graad, en meer algemeen composities daarvan met vaste multi-graden en multi-Jacobians, tot op een eindig aantal keuzes worden bepaald door hun multipliaterspectra, een rigideititsresultaat dat voortvloeit uit de afwezigheid van stabiele algebraïsche families en nauwkeurige asymptotische schattingen van Lyapunov-exponenten.
Dit paper introduceert een snellere stochastische ADMM-methode voor niet-gladde samengestelde convex optimalisatieproblemen in Hilbertruimte, bewijst sterke convergentie en snellere niet-ergodische convergentiesnelheden, en demonstreert de toepassing op PDE-problemen met willekeurige coëfficiënten.
Dit artikel bewijst en numeriek valideert dat tensor-product -eindige-elementbenaderingen voor de Dirichlet-integraal-fractionele Laplaciaan op een kubus met analytische brontermen wortel-exponentiële convergentie vertonen in de energienorm, met een foutgrens van .
Dit artikel beschrijft de dynamica van de automorfismegroep van de vrije groep op de representaties naar een compacte Lie-groep, waarbij wordt aangetoond dat voor voldoende grote rang de orbit-sluitingen en invariantie maatstaven algebraïsch zijn, analoog aan de stellingen van Ratner.
Dit artikel, het tweede in een reeks over niet-lineaire Lebesgue-ruimten, formaliseert de puntsgewijze beschrijving van hun meetkundige eigenschappen door eerst een niet-lineair equivalent van de Fubini-Lebesgue-stelling te bewijzen, wat leidt tot een identificatie van krommen die de definitie van snelheid en kromming mogelijk maakt ondanks het ontbreken van differentieerbare structuur.
Deze paper introduceert gemoduleerde Christoffel-Darboux-kernen op variëteiten als een systematische regularisatie die een uniforme begrenzing binnen de steun en exponentiële groei daarbuiten garandeert, waardoor dichte herstelbaarheid uit momentgegevens mogelijk wordt met expliciete convergentiesnelheden zonder kennis van het evenwichtsmeting.
Dit artikel introduceert en karakteriseert drie polynomiale grafklassen waarvoor een acyclische oriëntatie met pariteitsbeperkingen bestaat, levert constructieve bewijzen voor de solvabiliteit binnen deze klassen en bestudeert de hiërarchie en specifieke gevallen zoals cartesisch producten van paden en cycli.
Inspiratie putend uit Mukai's werk op K3-oppervlakken, introduceert dit artikel het concept van semi-rigiditeit voor stabiele schoven op gladde gepolariseerde variëteiten, bewijst een criterium gebaseerd op het ontbreken van decomposeerbare elementen in de kern van de Yoneda-pairing, en past dit toe op lijnbundels en op Lagrangiaanse deelvariëteiten in hyper-Kähler-variëteiten.
Dit artikel presenteert een integer lineair programmeringsmodel om de regels van het Nikoli-puzzeltype Evolomino te formaliseren en introduceert een algoritme voor het genereren van unieke puzzelvoorbeelden, waarbij experimenten aantonen dat moderne CP-SAT-oplossers effectief kunnen omgaan met exemplaren tot 18×18.
Dit artikel breidt de theorie van toevallige matrices uit door uniforme concentratie-ongelijkheden te bewijzen voor matrices met -subexponentiële staarten, wat robuuste resultaten oplevert voor dimensiereductie en inferentie buiten het subgaussische regime.
Dit artikel berekent de homotopietype van de moment-angle-complex geassocieerd met het complex van injectieve woorden, waarbij wordt aangetoond dat dit type wordt bepaald door het h-vector van deze complexe en een geassocieerde homotopiefibratie wordt geconstrueerd die de theorie voor polyhedrische producten uitbreidt.
Dit artikel onderzoekt lineair-kwadratische Dirichlet-besturingsproblemen die worden beheerst door niet-coercieve elliptische vergelijkingen op mogelijk niet-convexe polygonale domeinen, waarbij energie-regularisatie wordt toegepast en optimale convergentie wordt bewezen door het gebruik van gegradueerde meshes en een discrete projectie in de zin van .
Dit artikel analyseert de stabiliteit van het terugwaartse probleem voor een gedegenereerde viskeuze Hamilton-Jacobi-vergelijking met behulp van Carleman-schattingen en linearisatie, en presenteert numerieke identificatiemethoden voor zowel lineaire als niet-lineaire gevallen.