2549 Arbeiten
Diese Arbeit liefert eine vollständige Beschreibung des Untervarietätenverbandes der De-Morgan-Halbverbände, indem sie für jede Untervarietät endliche Erzeuger, eine Charakterisierung der De-Morgan-Płonka-Darstellungen und eine syntaktische Beschreibung der gültigen Identitäten bereitstellt.
Die Arbeit etabliert polynomiell verbesserte -Schranken für Eigenfunktionen magnetischer Laplace-Operatoren auf hyperbolischen Flächen im kritischen Energiebereich und zeigt, dass unterhalb dieser Schwelle die Hörmander-Schranke durch explizite „magnetische zonale Zustände" gesättigt wird, die Lagrange-Tori im Phasenraum gleichverteilen.
In diesem Beitrag wird mittels Malliavin-Kalkül bewiesen, dass das Supremum der Lösung einer nichtlinearen stochastischen partiellen Differentialgleichung auf einem beschränkten räumlichen Gebiet eine Dichte bezüglich des Lebesgue-Maßes besitzt, wobei die Analyse der Nichtentartung der Malliavin-Ableitung auf der Menge der Maximalstellen eine zentrale Rolle spielt.
Die Arbeit beweist ein Normalitätskriterium für eine Familie meromorpher Funktionen, indem sie zeigt, dass die Familie unter bestimmten Bedingungen, einschließlich der Nichtexistenz von Nullstellen für und sowie einer Mindestvielfachheit der Nullstellen von , normal ist.
Die Arbeit stellt ein einheitliches iteratives Rahmenwerk für reibungsfreie Kontaktprobleme vor, das durch eine Kreuz-Sekanten-Beschleunigung die Konvergenzgeschwindigkeit erhöht und die Abhängigkeit von engen Parameterbereichen bei der Verwendung von Lagrange-Multiplikatoren oder Straffunktionen eliminiert, sodass ausschließlich standardmäßige Steifigkeitsmatrizen gelöst werden müssen.
Diese Arbeit entwickelt eine allgemeine Theorie für First-Order-Descent-Verfahren in reflexiven Banach-Räumen, die Suchrichtungen auf ein vorgegebenes Wörterbuch beschränken, und leitet unter Verwendung geometrischer Normierungsbedingungen explizite quantitative Abstiegsabschätzungen sowie scharfe Konvergenzraten für eine breite Klasse von Optimierungsproblemen ab.
Diese Arbeit untersucht die „böse Zwillingseigenschaft" bei Summen von Wildblumen und Mutantenblumen in der kombinatorischen Spieltheorie, erweitert bestehende Ergebnisse, verallgemeinert Teile der Misere-Genustheorie auf partizipative Spiele und beweist, dass die Berechnung des Spielverlaufs für bestimmte Summen von Mutantenblumen NP-schwer ist.
Dieses Papier stellt HyGAMP vor, einen hybriden Algorithmus, der durch die Aufteilung von Abhängigkeiten in starke und schwache Kanten in allgemeinen grafischen Modellen eine effiziente Kombination aus approximativer Nachrichtenaustausch-Methodik und Standard-Message-Passing ermöglicht, um die Komplexität von Inferenzproblemen bei gleichzeitig anpassbarem Leistungs-Niveau zu reduzieren.
Diese Arbeit untersucht den Grenzwert hochdimensionaler stochastischer Differentialgleichungen mit messbarem Drift, indem sie zeigt, dass die schwache Grenzzustandsverteilung singulär ist und ausschließlich durch Filippov-Lösungen mit sofortigem Entkommen aus Nicht-Eindeutigkeitsbereichen getragen wird, während verzögerte Lösungen geometrisch vernachlässigbar sind.
Die Arbeit führt den Begriff balancierter Matrizen ein und untersucht deren Eigenschaften, insbesondere den direkten Zusammenhang zwischen Hauptdiagonalelementen, Spur, Determinante und Eigenwerten bei $2\times 2$-Matrizen, der es ermöglicht, quadratische Formen allein anhand des Spektrums vorherzusagen.
Diese Arbeit führt das Konzept der „Spannung" von ganzen Zahlen entlang von Funktionen ein und wendet es auf das Lehmer-Totienten-Problem an, um eine untere Schranke für die Anzahl der Lösungen der Gleichung zu beweisen.
Dieser Artikel stellt eine Spektralsequenz vor, die zur Berechnung der operadischen Tangentialkohomologie von Algebren dient und durch die Anwendung auf rationale Adams-Hilton-Konstruktionen sowie relative Sullivan-de-Rham-Modelle sowohl eine neue algebraische Beschreibung der Serre-Spektralsequenz als auch eine Konvergenz zu den rationalen Homotopiegruppen von Faser-Homotopieäquivalenzen liefert.
In diesem Paper wird das Konzept der Magnetisierung einfacher geschlossener Kurven eingeführt und auf das Problem des im Wald verlorenen Wanderers von Bellman angewendet, wobei spezielle geometrische Bedingungen zwischen dem Wanderer und dem Waldrand angenommen werden.
Der Artikel liefert einen Beweis für Lusztigs vermutete Multiplizitätsformel für nicht-eingeschränkte Moduln über der De-Concini-Kac-Quantengruppe bei einer ungeraden Primzahlpotenz als Einheitswurzel.
Die Autoren konstruieren für reguläre algebraische cuspidale automorphe Darstellungen von , die -fast-ordinär sind, eine -adische -Funktion, die die kritischen Werte interpoliert und damit Vermutungen von Coates-Perrin-Riou und Panchishkin für automorphe Darstellungen vom allgemeinen Typ beweist.
Diese Arbeit untersucht die Verteilung des Tiefenindex auf perfekten Matchings, liefert eine zusätzliche kombinatorische Beschreibung sowie ein erzeugendes Polynom und zeigt, dass dieser Index bezüglich der Bruhat-Ordnung gleichverteilt mit der Rangfunktion ist.
Die Arbeit zeigt, dass der Quotient eines beschränkten homogenen Gebiets nach einer unipotenten diskreten Automorphismengruppe holomorph separabel ist, und leitet eine notwendige sowie in bestimmten Fällen hinreichende Bedingung für die Steinsche Eigenschaft dieses Quotienten her.
Der Artikel liefert Abschätzungen für die Kodaira-Dimension von Faserungen über abelschen Varietäten und stellt Anwendungen vor, wobei eines der Ergebnisse die Subadditivität der Kodaira-Dimension in diesem Kontext verschärft.
Diese Arbeit zeigt, dass für einen stark zusammenhängenden gerichteten Graphen, bei dem ein gerichteter Kreis einen bestimmten Knoten nicht durchläuft, fast alle graphgerichteten IFS-Attraktoren, die diesem Knoten zugeordnet sind, nicht als Attraktoren eines standardmäßigen IFS realisiert werden können.
Dieser Artikel entwickelt eine Theorie abstrakter GSOS-Spezifikationen für höherstufige Sprachen, die das Bialgebra-Framework von Turi und Plotkin auf diesen Bereich überträgt und durch die Einführung von „pointed higher-order GSOS laws" allgemeine Kompositionalitätsresultate für Systeme wie den SKI-Kalkül und den λ-Kalkül liefert.