Modal Fragments

Dieser Übersichtsartikel untersucht systematische Ansätze für basisbeschränkte Fragmente der Aussagen- und Modallogik, indem er die etablierte Post'sche Gitterstruktur auf den Aussagenfall anwendet und zwei historische Forschungsstränge zur Modallogik – einen allgemeinen Rahmen basierend auf beliebigen Modalformeln sowie einen handhabbareren Ansatz mit Booleschen Funktionen und ausgewählten Modaloperatoren – zusammenführt, um Zusammenhänge zwischen Ausdrucksstärke, Komplexität und Lernbarkeit aufzuzeigen und offene Probleme zu identifizieren.

Nick Bezhanishvili, Balder ten Cate, Arunavo Ganguly + 1 more2026-03-06🔢 math

Boundary stabilization of flows in networks of open channels modeled by Saint-Venant equations

Diese Arbeit stellt eine neue, explizite Lyapunov-Funktion vor, die es ermöglicht, Netzwerke von offenen Kanälen, die durch die Saint-Venant-Gleichungen mit Reibungstermen beschrieben werden, durch eine optimale Anzahl von Steuerungen ausschließlich an den Endknoten zu stabilisieren und dabei gleichzeitig die bestehenden Stabilitätsbedingungen für einzelne Kanäle verbessert.

Amaury Hayat, Yating Hu, Peipei Shang2026-03-06🔢 math

Quantitative Error Estimates for Learning Macroscopic Mobilities from Microscopic Fluctuations

Diese Arbeit entwickelt quantitative Fehlerabschätzungen, die mikroskopische Fluktuationen von Teilchensystemen mit den makroskopischen Mobilitäten ihrer hydrodynamischen Grenzwerte verknüpfen und dabei explizite Bounds für die Diskrepanz zwischen quadratischer Variation und Mobilität sowie asymptotische Verhaltensweisen für stochastische partielle Differentialgleichungen mit irregulären Koeffizienten liefern.

Nicolas Dirr, Zhengyan Wu, Johannes Zimmer2026-03-06🔢 math

Dispersion for the Schr{ö}dinger equation on the line with short-range array of delta potentials

Die Arbeit etabliert unter geeigneten Abklingbedingungen an die Kopplungskonstanten und ohne Nullenergie-Resonanz eine L1(R)L(R)L^1(\mathbb{R}) \to L^\infty(\mathbb{R})-Dispersionsabschätzung mit der Zerfallsrate t1/2|t|^{-1/2} für die Schrödinger-Gruppe auf der Linie, die durch eine kurze Reihe von Delta-Potentialen gestört wird, wobei der Beweis auf dem Prinzip der limitierenden Absorption, expliziten Darstellungen des Resolventenkerns und einer Born-Reihenentwicklung beruht.

Romain Duboscq, Élio Durand-Simonnet, Stefan Le Coz2026-03-06🔢 math

Solution of a bilevel optimistic scheduling problem on parallel machines

Der Artikel untersucht ein optimistisches Bilevel-Scheduling-Problem auf parallelen Maschinen mit zwei Geschwindigkeitsoptionen, beweist dessen starke NP-Härte und stellt sowohl einen dynamischen Programmieralgorithmus als auch eine MIP-basierte Branch-and-Bound-Lösung mit Spaltengenerierung vor, die für Instanzen mit bis zu 80 Aufträgen und 4 Maschinen wirksam ist.

Quentin Schau, Olivier Ploton, Vincent T'kindt + 3 more2026-03-06🔢 math

Asymptotic Separability of Diffusion and Jump Components in High-Frequency CIR and CKLS Models

Diese Arbeit entwickelt einen robusten parametrischen Rahmen auf Basis des Minimum Density Power Divergence Estimators (MDPDE), der unter Hochfrequenz-Asymptotik eine konsistente Unterscheidung zwischen Diffusions- und Sprungkomponenten in CKLS-Modellen ermöglicht, indem sie die asymptotische Skalenseparation ausnutzt und eine auf der Gumbel-Verteilung beruhende Detektionsschwelle für eine zuverlässige Sprungidentifikation etabliert.

Sourojyoti Barick2026-03-06🔢 math

The Complexity of the Constructive Master Modality

Die Autoren führen die konstruktiven Meistermodi-Logiken CK\sf CK^* und WK\sf WK^* ein, zeigen deren EXPTIME-Vollständigkeit und endliche Modell-Eigenschaft, bestätigen damit eine Vermutung von Afshari et al. für den diamantfreien Fragment und ermöglichen durch Einbettung von CS4\sf CS4 und WS4\sf WS4 den Nachweis, dass deren Gültigkeitsprobleme in EXPTIME liegen.

Sofía Santiago-Fernández, David Fernández-Duque, Joost J. Joosten2026-03-06🔢 math

Complete Nevanlinna-Pick property of K\mathbb K-Invariant Reproducing Kernels

Diese Arbeit charakterisiert die vollständige Nevanlinna-Pick-Eigenschaft von K\mathbb K-invarianten reproduzierenden Kernen auf Cartan-Domänen durch die Verallgemeinerung des Kaluza-Lemmas, die Konstruktion einer charakteristischen Funktion für 1K\frac{1}{K}-Kontraktionen und deren Anwendung zur notwendigen und hinreichenden Bedingung für diese Eigenschaft.

Miroslav Engliš, Somnath Hazra, Paramita Pramanick2026-03-06🔢 math