Robinson Splitting Theorem and Induction
Die Autoren zeigen, dass eine abgeschwächte Version des Robinson-Splitting-Theorems, bei der die Eigenschaft der Lowness durch Superlowness ersetzt wird, in Modellen von gilt.
🔢 Category
math
7469 Arbeiten
Non-Derivability Results in Polymorphic Dependent Type Theory
Diese Arbeit zeigt durch die Konstruktion spezifischer Gegenmodelle, dass in der reinen polymorphen abhängigen Typentheorie λP2 weder parametrische Quotiententypen mit Induktionsprinzip noch starke Koinduktionsprinzipien für koinduktive Typen ableitbar sind und dass Funktionaler Extensionalismus für die Beweisbarkeit von Induktionsprinzipien unverzichtbar ist.
Invariant measures and traces on groupoid -algebras
Der Artikel liefert hinreichende Bedingungen für die Existenz und Eindeutigkeit von Spuren auf den -Algebren étaler Gruppenoiden, die ein invariantes Maß auf der Einheitsmenge erweitern, und wendet diese Ergebnisse unter anderem auf gauge-invariante Algebren endlicher selbstähnlicher Gruppen an.
Explicit p-adic Hodge theory for elliptic curves and non-split Cartan images
Diese Arbeit klassifiziert die p-adischen Galoisbilder elliptischer Kurven über mit nicht-zerfallendem Cartan-Bild, entwickelt einen Algorithmus zur Bestimmung der zugehörigen filtrierten -Module im Fall potenziell supersingulärer Reduktion und leitet daraus globale Konsequenzen für elliptische Kurven über sowie verbesserte Schranken für adelic Bilder ab.
On the generalized circular projected Cauchy distribution
Diese Arbeit leitet die Beziehung zwischen der neu vorgeschlagenen verallgemeinerten kreisförmigen projizierten Cauchy-Verteilung und der umwickelten Cauchy-Verteilung her und schlägt einen Log-Likelihood-Quotiententest für die Gleichheit zweier Winkelmittelwerte vor, ohne die Gleichheit der Konzentrationsparameter vorauszusetzen, wobei Simulationsstudien die Leistung des Tests auch bei falscher Annahme einer umwickelten Cauchy-Verteilung demonstrieren.
Rapid stabilization of general linear systems with F-equivalence
Diese Arbeit stellt einfache hinreichende Bedingungen und eine explizite Rückkopplungsregel zur schnellen Stabilisierung allgemeiner linearer Systeme mit Riesz-Basis-Eigenvektoren vor, wobei eine F-Äquivalenz-Methode mittels Fredholm-Transformationen genutzt wird, um eine stärkere Äquivalenz zu einem beliebig schnell abklingenden System nachzuweisen und bestehende Ergebnisse für nicht-parabolische Operatoren zu verbessern.
A new ultrafilter proof of Van der Waerden's theorem
Dieser Artikel stellt einen neuen, kurzen Beweis für den Satz von Van der Waerden vor, der auf der Algebra des kompakten Raums der Ultrafilter basiert und dabei weder minimale noch idempotente Ultrafilter verwendet.
Differential Goppa Codes
Diese Arbeit liefert eine rigorose Behandlung von Differential-Goppa-Codes auf Kurven beliebigen Geschlechts, indem sie diese über -Jets und Hasse-Schmidt-Ableitungen definiert, deren Verhalten unter Datenvariationen analysiert, eine Dualitätstheorie etabliert und zeigt, dass jeder lineare Code auf als Differential-Goppa-Code dargestellt werden kann.
Localization operators on Bergman and Fock spaces
Die Arbeit führt Lokalisierungsoperatoren auf gewichteten Bergman- und Fock-Räumen ein und zeigt, dass unter natürlicher Skalierung der Symbole und Fensterfunktionen die Operatoren auf dem gewichteten Bergman-Raum für schwach gegen solche auf dem Fock-Raum konvergieren, woraus Anwendungen zu scharfen Normabschätzungen, Berezin-Transformierten und Szegő-artigen Sätzen folgen.
An Adaptive KKT-Based Indicator for Convergence Assessment in Multi-Objective Optimization
Diese Arbeit stellt einen robusten, quantilbasierten adaptiven KKT-Indikator vor, der die Konvergenz von Multi-Objective-Optimierungsalgorithmen ohne externe Referenzmengen bewertet und dabei die Empfindlichkeit gegenüber heterogenen Verteilungen der Stationaritätsresiduen reduziert.
A scalar auxiliary variable-based semi-implicit scheme for stochastic Cahn--Hilliard equation
Diese Arbeit stellt ein neuartiges halb-implizites numerisches Verfahren für die stochastische Cahn-Hilliard-Gleichung mit multiplikativem Rauschen vor, das durch die Einführung einer stochastischen skalaren Hilfsvariablen (SSAV) und die Berücksichtigung von Itô-Korrekturtermen eine optimale starke Konvergenzordnung von 1/2 sowie eine asymptotische Erhaltung des Energiegesetzes gewährleistet.
Signed graphs with exactly two main eigenvalues: The unicyclic case
Diese Arbeit erweitert die Charakterisierung signierter Graphen mit genau zwei Haupteigenwerten von multigraphbasierten Bäumen auf den Fall unizyklischer Grundgraphen und schlägt abschließend mehrere offene Probleme vor.
Online Order Fulfillment with Replenishment
Diese Arbeit untersucht, ob bei der Online-Bestellabwicklung unter Unsicherheit die Nachbestellpolitik oder der Echtzeit-Erfüllungsprozess einen größeren Einfluss auf den Gewinn hat, und zeigt theoretisch sowie durch numerische Experimente, dass je nach Kontext die Optimierung der einen Komponente entscheidender sein kann als die der anderen, wobei ein neu entwickelter vorausschauender Algorithmus myopische Ansätze übertrifft.
The Construction Principle and superstability of free objects in varieties of algebras
Der Artikel untersucht den Zusammenhang zwischen dem Konstruktionprinzip nach Eklof-Mekler-Shelah und der Superstabilität freier Objekte in Varietäten von Algebren und zeigt, dass die Erfüllung einer starken Form dieses Prinzips dazu führt, dass fast alle AEC-Überdeckungen dieser freien Objekte unsuperstabil sind.
Bilinear spherical maximal function on the Heisenberg group
Die Autoren führen bilineare Nevo-Thangavelu-Sphärenmittel auf der Heisenberg-Gruppe ein und beweisen scharfe -Abschätzungen für die zugehörigen einstufigen, vollen und lückenhaften bilinearen Maximaloperatoren mittels neu entwickelter Mittelwertabschätzungen, des Hopf'schen Ergodensatzes und einer an dieses Setting angepassten -Methode.
Limiting empirical spectral measure of the normalized Laplacian in preferential attachment graphs
Der Artikel beweist, dass die empirische Spektralverteilung des normierten Laplace-Operators in linearen Preferential-Attachment-Graphen im Barabási-Albert-Regime gegen ein deterministisches Maß auf dem Intervall [0, 2] konvergiert, das durch die lokale schwache Grenze (den Pólya-Punkt-Graphen) charakterisiert wird.
Riemannian Gradient Method with Momentum
Diese Arbeit stellt eine nichttriviale Erweiterung eines momentum-basierten Optimierungsverfahrens auf Riemannsche Mannigfaltigkeiten vor, für die eine Worst-Case-Komplexität von bewiesen wird und die in numerischen Experimenten eine überlegene Leistung im Vergleich zu bestehenden Solvern zeigt.
Unweighted Hardy Inequalities on the Heisenberg Group and in Step-Two Carnot Groups
Diese Arbeit etabliert ungewichtete Hardy-Ungleichungen auf zweistufigen Carnot-Gruppen mit eindimensionaler vertikaler Schicht, indem sie eine quantitative Integration-by-Parts-Methode verwendet, um nicht-horizontale Euler-Vektorfelder durch kontrollierte horizontale Vektorfelder zu ersetzen, und liefert dabei explizite untere Schranken für die optimalen Hardy-Konstanten, insbesondere für die Heisenberg-Gruppe und verallgemeinerte nicht-isotrope Strukturen.
Wasserstein Gradient Flows of semi-discret energies: evolution of urban areas anduniform quantization
Diese Arbeit untersucht die Wasserstein-Gradientenflüsse halb-diskreter Energien, die in der Stadtplanung auftreten, indem sie die Konvergenz des JKO-Schemas zu einem gekoppelten System aus einer parabolischen PDE mit singulärer Advektion und einer ODE nachweist sowie qualitative Eigenschaften und numerische Phänomene wie dynamische Kristallisation analysiert.
Lyapunov Stability of Stochastic Vector Optimization: Theory and Numerical Implementation
Diese Arbeit stellt eine theoretisch fundierte Lyapunov-Stabilitätsanalyse für stochastische Vektoroptimierung mittels Drift-Diffusionsmodellen bereit und implementiert den Ansatz als reproduzierbaren Algorithmus in Python, der sich als mathematisch handhabbare Alternative zu populationsbasierten Heuristiken insbesondere bei höheren Dimensionen und begrenzten Evaluierungsbudgets bewährt.