3723 Arbeiten
Die Studie zeigt, dass ein leichtgewichtiger, automatisierter KI-Pipeline, der fortschrittliche Sprachmodelle mit zitationsbasierten Verifikationsmethoden kombiniert, in der Lage ist, komplexe mathematische Forschungsprobleme zu lösen und deren Lösungen erfolgreich zu verifizieren.
Dieser Artikel untersucht die Lösbarkeit von G-SVIEs unter Zeit-abhängigen Lipschitz-Bedingungen sowie Integral-Lipschitz-Bedingungen, wobei mittels der Picard-Iteration die Existenz und Eindeutigkeit von Lösungen nachgewiesen sowie die Stetigkeit der Lösung bezüglich Parameter in parametrisierten G-SVIEs bewiesen wird.
Dieser Artikel stellt drei Familien modularer Nahm-Summen für symmetrisierbare Matrzen der Indizes und mit beliebigem Rang vor und konstruiert daraus zwei vektorwertige automorphe Formen, von denen eine bei ungeradem eine vektorwertige Modulfunktion ist.
Dieses Paper stellt ein unfoldingsfreies Majorization-Minimization-Verfahren für nichtnegative CP- und Tucker-Tensorzerlegungen unter -Divergenzen vor, das durch die Nutzung von Tensor-Kontraktionen und einer gemeinsamen Majorisierungsstrategie sowohl mathematische Konvergenzgarantien als auch erhebliche Geschwindigkeitsvorteile gegenüber herkömmlichen Methoden bietet.
Die Arbeit präsentiert einen Polynomzeit-Algorithmus zum Isomorphietest für Erweiterungen abelscher Gruppen durch -erzeugte Gruppen, der insbesondere abelsch-zyklische und abelsch-einfache Erweiterungen umfasst und dabei auf einem neuen Verfahren zur Berechnung der Einheitengruppe endlicher Ringe basiert.
Der Artikel klassifiziert freie Graphen-Braid-Gruppen mittels kubischer Strukturen und untersucht die große Skalen-Geometrie von Graphen-2-Braid-Gruppen, indem er nachweist, dass die Vereinigung maximaler Produkt-Teilkomplexe wesentliche Quasi-Isometrie-Informationen liefert und unendlich viele Beispiele für Gruppen liefert, die entweder oder nicht zu rechts-winkligen Artin-Gruppen quasi-isometrisch sind.
Dieser Übersichtsartikel beleuchtet die zunehmende Bedeutung von Potenzmonoiden und deren ungewöhnlichen arithmetischen Eigenschaften, die neue Perspektiven in der Faktorisierungstheorie für nicht-kancellative und nicht-kommutative Settings eröffnet haben.
Der Artikel untersucht die binomische Summe für verschiedene Folgen, leitet explizite Darstellungen für spezielle Fälle wie Fibonacci-Zahlen und Polynome her sowie Beziehungen, probabilistische Interpretationen und erzeugende Funktionen zwischen und her.
Dieser Artikel leitet explizite geschlossene Formeln für die in einer vorherigen Arbeit eingeführten rationalen Polynome und her, die die Verhältnisse und beschreiben, und untersucht deren strukturelle Eigenschaften im Hinblick auf die arithmetische Natur dieser Konstanten.
Die Arbeit untersucht homotopische Zerlegungen der klassifizierenden Räume kompakter zusammenhängender Lie-Gruppen mittels einer Faser-Kofaser-Konstruktion, leitet kohomologische Bedingungen für deren Schärfe und formale Eigenschaften über den rationalen Zahlen her und liefert explizite Beispiele sowie Berechnungen für Kohomologie und K-Theorie, einschließlich einer appendixweisen Erweiterung des klassischen Ganea-Theorems in die ∞-Kategorientheorie.
Die Autoren beweisen die quantitative Stabilität von Kantorovich-Potenzialen auf metrischen Maßräumen mit unterer Ricci-Krümmungsschranke, was eine Vermutung von Kitagawa, Letrouit und Mérigot bestätigt und ohne lineare Struktur oder Schranken für die Schnittkrümmung auskommt.
Diese Arbeit zerlegt die Varianz des durch Permutationen induzierten Schätzers für die Prozessstandardabweichung in MR-Regelkarten mittels des Gesetzes der totalen Varianz in eine wertbasierte und eine adjazenzbasierte Komponente und zeigt, dass der bekannte asymptotische Effizienzverlust gegenüber dem Standardabweichungsschätzer fast ausschließlich auf den durch die Reihenfolge bedingten Adjazenz-Effekt zurückzuführen ist.
Dieses Paper stellt eine allgemeine deterministische Formel für die Verteilung überlebender Teilchen bei koaleszierenden Zufallsbewegungen vor, die auf einem neu eingeführten Koeffizienten basiert und bekannte Ergebnisse wie die Rayleigh-Abstandsdichte sowie die gemeinsame Verteilung von Lücken für beliebige Nachbarn-Zufallsbewegungen und deren Brownsche Grenzwerte einheitlich herleitet.
Diese Arbeit verallgemeinert den positiven Massensatz der Raumzeit auf mehrere Zeitdimensionen, indem sie zeigt, dass die Energie durch die Spur-Norm der linearen Impulse nach unten beschränkt ist, wobei die Gleichheit eine Blätterung durch flache Untermannigfaltigkeiten impliziert und unter einer zusätzlichen Umbilikalitätsbedingung eine isometrische Einbettung in eine verallgemeinerte pp-Welle ermöglicht.
Die Arbeit stellt einen skalierbaren, multitask-fähigen Gauß-Prozess mit funktionalen Kovariaten vor, der durch eine voll separierbare Kernel-Struktur und Kronecker-Strukturen effiziente Unsicherheitsquantifizierung für komplexe mechanische Systeme ermöglicht und dabei in Tests an einer genieteten Baugruppe deutlich bessere Ergebnisse als Single-Task-Modelle bei geringerem Rechenaufwand liefert.
Die Arbeit beweist die globale Wohlgestelltheit der halben Wellen-Gleichung auf dem Torus im kritischen Energie-Raum und die fast-periodische Zeitentwicklung ihrer Lösungen, indem sie eine allgemeine Stabilitätsprinzip für explizite Formeln aus der Lax-Paar-Struktur auf Hardy-Räumen nutzt, das auch auf matrixwertige Verallgemeinerungen und den Fall der reellen Linie übertragbar ist.
Unter der Voraussetzung von Zywinas effektiver Version der Serre-Uniformitätsvermutung zeigt die Arbeit, dass sich rationale Punkte auf allen Modulkurven durch rationale Punkte auf endlich vielen Modulkurven parametrisieren lassen und damit die Philosophie von Mazur und Ogg bestätigen.
Dieser Artikel untersucht die Umkehrung des bekannten Satzes über die Injektion rationaler Torsionspunkte in die Reduktion modulo großer Primzahlen für Abelsche Varietäten vom -Typ und stellt eine vermutete Liste möglicher Torsionsordnungen für modulare Abelsche Varietäten über mit Dimension bis zu 5 auf.
Diese Arbeit untersucht die asymptotischen Beziehungen zwischen dem Albertson-, Sombor- und Sigma-Index für Bäume und zeigt, dass der Sombor-Index als intermediärer Deskriptor fungiert, der globale Gradstreuung und lokale Kantenirregularität erfasst.
Der Artikel stellt ein neues, algorithmisch überprüfbares Kriterium vor, das sicherstellt, dass ein quasifiniter, flacher Morphismus mit lokal konstanten geometrischen Fasern zwischen reellen algebraischen Varietäten eine Überlagerung der reellen Punkte in der euklidischen Topologie induziert.