2549 Arbeiten
Diese Arbeit untersucht Adjungierte von Morphismen kombinatorischer neuronaler Codes, indem sie diese als Galois-Verbindungen darstellt, um die Faktorisierung boolescher Matrizen zu charakterisieren, eine partielle Ordnung auf Codes zu definieren und das neue Konzept des „Defekts" als Werkzeug zur Analyse dieser Struktur einzuführen.
Die Arbeit präsentiert neue, verbesserte Obergrenzen für die klassischen Ramsey-Zahlen , und , die die bisher besten bekannten Schranken übertreffen.
Dieser Artikel analysiert die Euler-Maruyama-Simulation von leaky-integrate-and-fire-Netzwerken, indem er für feedforward-Strukturen starke und schwache Konvergenzschranken herleitet, die durch eine spezielle Pruning-and-Balance-Strategie für die Fehler bei Spike-Zeitpunkten und eine angepasste Backward-Kolmogorov-Analyse für die Beobachtungsfehler charakterisiert sind.
Die Arbeit etabliert die globale Wohlgestelltheit und konstruiert selbstähnliche Lösungen für eine semilineare elliptische Gleichung mit nichtlinearer dynamischer Randbedingung im Halbraum, indem sie einen neuen Rahmen aus Morrey-Räumen nutzt, der ein breiteres Spektrum an rauen Anfangsdaten zulässt und qualitative Eigenschaften wie Positivität und asymptotische Stabilität untersucht.
Die Autoren stellen eine physik-informierte neuronale Partikelmethode vor, die die räumlich homogene Landau-Gleichung durch eine Lagrange-Formulierung und neuronale Netze löst, wodurch Zeitdiskretisierungsfehler vermieden, eine strenge Stabilitätsanalyse ermöglicht und eine hohe Genauigkeit mit wenigen Partikeln erreicht wird.
Die Autoren widerlegen die Perälä–Virtanen-Vermutung, indem sie zeigen, dass für radiale Toeplitz-Operatoren auf Bergman- und Fock-Räumen ein positiver unterer Grenzwert der Berezin-Transformation nicht ausreicht, um die essentielle Positivität zu garantieren, da oszillierende Symbole zu unterschiedlichen asymptotischen Mittelwerten für Eigenwerte und die Berezin-Transformation führen.
Die Arbeit beweist die Monotonie von simplizialem Volumen und Dilatation unter Ribbon-Konkordanz von gefaserten Knoten, zeigt, dass jeder gefaserte Knoten nur endlich viele Vorgänger in der Ribbon-Konkordanz-Ordnung besitzt, und stellt einen Algorithmus zur Enumeration minimaler Kompressionen von Flächenhomöomorphismen vor, der zur Identifizierung aller stark homotopie-ribbon-konkordanten Knoten führt.
Der vorliegende Artikel beweist, dass der Chow-Motiv einer bestimmten glatten Kompaktifizierung des Lagrange-Faserbündels zu einer allgemeinen kubischen Hyperfläche ein direkter Summand des (verdrehten) Motivs von ist und somit von abelschem Typ ist, wobei für eine 10-dimensionale Familie von Kubiken die Eindeutigkeit und Glattheit dieser Kompaktifizierung sichergestellt wird.
Der Artikel liefert einen einfachen Beweis für die FKG-Ungleichung und diskutiert verschiedene 0-1-Gesetze für nicht-lokale Ereignisse im Modell der zufälligen Verflechtungen auf transienten gewichteten Graphen, wobei insbesondere ein 0-1-Gesetz für bestimmte wachsende nicht-lokale Ereignisse ohne zusätzliche Annahmen gezeigt wird.
Diese Arbeit analysiert das boolesch-wertige Zufallsforcing aus der Perspektive der mengentheoretischen Forcing-Theorie, zeigt unter bestimmten Voraussetzungen die Isomorphie zur Wahrscheinlichkeitsalgebra über $2^{\omega_1}$ und untersucht die Beziehung zwischen einem nicht-standarden Modell der Arithmetik und seinen Zufalls-erweiterten Modellen, um eine mengentheoretische Alternative zu axiomatischen Ansätzen in der beschränkten Arithmetik zu bieten.
Diese Arbeit führt den Begriff der F-Konvexität als Verallgemeinerung der Potenzkonvexität ein und charakterisiert diejenigen F-Konvexitäten, die unter dem Wärmefluss im euklidischen Raum sowie unter dem Dirichlet-Wärmefluss in konvexen Gebieten erhalten bleiben, wobei auch die stärksten und schwächsten dieser Eigenschaften identifiziert werden.
Diese Arbeit untersucht die Langzeitdynamik eines konvektiven Bulk-Oberflächen-Cahn-Hilliard-Systems, indem sie die Existenz eines minimalen Pullback-Attraktors nachweist und unter geeigneten Abklingannahmen an die Geschwindigkeitsfelder die Konvergenz jeder Lösung gegen einen einzigen stationären Zustand mittels der Łojasiewicz--Simon-Ungleichung beweist.
Der Artikel beweist erstmals seit der Arbeit von Cooke und Zygmund optimale -Schranken für Eigenfunktionen des Laplace-Operators auf dem Torus für große -Werte, indem er die diskrete Restriktionsvermutung für und ohne Verlust bestätigt und damit frühere Ergebnisse von Bourgain und Demeter verbessert.
Dieses Papier stellt eine konstruktive Formalisierung von Abstrakten Umformungssystemen in Agda vor, die klassische Logik eliminiert, Terminierteits- und Konfluenzbeziehungen untersucht und die Anwendbarkeit durch eine Lambda-Kalkül-Formalisierung demonstriert.
Diese Arbeit beweist, dass die dreidimensionalen inkompressiblen Euler-Gleichungen in der achsensymmetrischen Klasse ohne Rotation für jeden Regularitätsparameter eine endliche Zeit-Typ-I-Blowup-Singularität aufweisen, womit der Schwellenwert für die globale Regularität bei scharf charakterisiert wird.
Diese Arbeit untersucht ein System von Reaktions-Diffusions-Gleichungen mit starker Konkurrenz und -weisen Wechselwirkungen, indem sie gleichmäßige Hölder-Schranken für Minimierer beweist und deren Konvergenz gegen teilweise segregierte Grenzkonfigurationen sowie deren Regularitätseigenschaften analysiert.
Die Arbeit zeigt, dass jeder orientierte Graph mit hinreichend großen Knoten und einem Mindest-Semigrad von mindestens jede orientierte Baumstruktur mit Knoten und einem maximalen Grad von höchstens enthält, wobei dieser Schwellenwert asymptotisch optimal ist.
Diese Arbeit bestimmt die maximale Laplace-Energie und charakterisiert die extremalen Digraphen für -freie Digraphen, wodurch Turán-Probleme auf spektrale Fragen in Digraphen erweitert werden.
Der Autor argumentiert, dass die Gelfand-Naimark-Dualität zwischen kompakten Hausdorff-Räumen und unitalen kommutativen C*-Algebren tiefe Einsichten in diese Räume sowie insbesondere in Čech-Stone-Reste und deren Autohomeomorphismen liefert.
Diese Arbeit leitet erstmals einen zeitunabhängigen Fehlerabschätzung für einen diskreten Luenberger-Beobachter zur Datenassimilation der barotropen Euler-Gleichungen in einer Dimension ab, der unter Verwendung einer modifizierten relativen Energie-Methode eine gleichmäßige Genauigkeit über lange Zeiträume garantiert.