Composable Uncertainty in Symmetric Monoidal Categories for Design Problems

Diese Arbeit integriert Unsicherheit in die kompositionelle Theorie offener Systeme, indem sie die Morphismen symmetrischer monoidaler Kategorien durch parametrisierte Abbildungen in Markov-Kategorien ersetzt, was eine einheitliche Behandlung von Optimierungs- und Entscheidungsproblemen unter Unsicherheit ermöglicht.

Marius Furter (University of Zurich), Yujun Huang (Massachusetts Institute of Technology), Gioele Zardini (Massachusetts Institute of Technology)Wed, 11 Ma🔢 math

A Critical Pair Enumeration Algorithm for String Diagram Rewriting

Diese Arbeit stellt einen Algorithmus zur automatisierten Enumeration aller kritischen Paare in linkverbundenen String-Diagramm-Umschreibesystemen vor, der auf Hypergraphen-Manipulation basiert und für symmetrische monoidale Kategorien ohne Frobenius-Struktur auf Korrektheit und Vollständigkeit bewiesen wird.

Anna Matsui (Johns Hopkins University, USA), Innocent Obi (University of Washington, USA), Guillaume Sabbagh (University of Technology of Compiègne, France), Leo Torres (Universidad Nacional de Còrdoba, Argentina), Diana Kessler (Tallinn University of Technology, Estonia), Juan F. Meleiro (University of São Paulo, Brazil), Koko Muroya (National Institute of Informatics, Japan,Ochanomizu University, Japan)Wed, 11 Ma🔢 math

Spectral rigidity among ellipses, Bialy's conjecture and local extrema of Mather's beta function

In diesem Werk wird Bialys Vermutung bewiesen, wonach zwei Ellipsen bereits dann identisch sind, wenn ihre Mather-Beta-Funktionen an zwei nichtverschwindenden Rotationszahlen übereinstimmen, wobei diese Aussage unter der zusätzlichen Bedingung gleicher Umfangslänge sogar für eine einzige Rotationszahl gilt, und es werden daraus Folgerungen für lokale Extremalstellen der Beta-Funktion gezogen.

Corentin FierobeWed, 11 Ma🔢 math

Exponential Convergence of hphp-FEM for the Integral Fractional Laplacian on cuboids

Der Artikel beweist für den Dirichlet-integralen fraktionalen Laplace-Operator auf dem Einheitswürfel bei analytischer Quellfunktion die Wurzel-exponentielle Konvergenz von Tensorprodukt-hphp-FEM-Approximationen mit geometrischer Verfeinerung an den Rändern, wobei der Fehler in der Energienorm durch exp(bN6)\lesssim \exp(-b\sqrt[6]{N}) beschränkt ist.

Björn Bahr, Markus Faustmann, Carlo Marcati, Jens Markus Melenk, Christoph SchwabWed, 11 Ma🔢 math

Rigidity of the dynamics of Aut(Fn){{\rm Aut}}({\mathsf{F}}_n) on representations into a compact group

Der Artikel beschreibt die Dynamik der Automorphismengruppe einer freien Gruppe auf dem Raum der Darstellungen in eine kompakte Lie-Gruppe und zeigt, dass sich für hinreichend große Rangzahlen die Orbitabschlüsse und invarianten Wahrscheinlichkeitsmaße algebraisch verhalten, analog zu den Sätzen von Ratner.

Serge Cantat (IRMAR), Christophe Dupont (IRMAR), Florestan Martin-Baillon (MPI-MiS)Wed, 11 Ma🔢 math

Nonlinear Lebesgue spaces: Curves and geometry

Dieser zweite Teil einer Serie formalisiert die punktweise Beschreibung geometrischer Eigenschaften nichtlinearer Lebesgue-Räume, indem ein nichtlineares Analogon des Fubini-Lebesgue-Theorems bewiesen wird, das eine Identifikation von LpL^p-Kurven mit Abbildungen in den Raum der LpL^p-Kurven ermöglicht und somit die Definition von Geschwindigkeiten sowie die Analyse von Alexandrov-Krümmung und Längenstruktur trotz fehlender Differentialstruktur erlaubt.

Guillaume Sérieys (MAP5)Wed, 11 Ma🔢 math

Mollified Christoffel-Darboux Kernels and Density Recovery on Varieties

Diese Arbeit führt mollifizierte Christoffel-Darboux-Kerne auf algebraischen Varietäten ein, um durch eine systematische Regularisierung eine verbesserte Trennung von Träger und Komplement zu erreichen und eine konsistente, quantitativ kontrollierte Dichtewiederherstellung aus Momentendaten ohne Kenntnis des Gleichgewichtsmasses zu ermöglichen.

Leandro Bentancur (CMAT, IFUMI), Didier Henrion (LAAS-POP, IFUMI), Mauricio Velasco (CMAT, IFUMI)Wed, 11 Ma🔢 math

Some polynomial classes for the acyclic orientation with parity constraint problem

Dieser Artikel identifiziert und charakterisiert drei notwendige Bedingungen sowie neue Graphklassen, für die diese Bedingungen hinreichend sind, um in polynomieller Zeit eine azyklische Orientierung mit vorgegebener Ingrad-Parität zu konstruieren, und untersucht dabei insbesondere die Inklusionsbeziehungen zwischen diesen Klassen sowie die Lösbarkeit bei kartesischen Produkten von Pfaden und Kreisen.

Sylvain Gravier (IF, SFR MAM), Matthieu Petiteau (IF, SFR MAM), Isabelle Sivignon (GIPSA-GAIA, SFR MAM)Wed, 11 Ma🔢 math

Uniform Concentration for α\alpha-subexponential Random Operators

Diese Arbeit erweitert die Theorie zufälliger Matrizen über den subgauschen Rahmen hinaus, indem sie Konzentrationsungleichungen für Operatoren mit α\alpha-subexponentiellen Schwänzen herleitet, die geometrische Verzerrungen durch Talagrand-Funktionale beschreiben und robuste Anwendungen in der Dimensionsreduktion sowie bei nicht-gaußschen Messungen ermöglichen.

Tiankun Diao, Xuanang Hu, Vladimir V. Ulyanov, Hanchao WangWed, 11 Ma🔢 math

The homotopy type of the moment-angle complex associated to the complex of injective words

Diese Arbeit bestimmt den Homotopietyp des Momentwinkelkomplexes über dem Flächenposet des Komplexes injektiver Wörter, indem sie eine enge Verbindung zwischen Homotopie und Kombinatorik herstellt, wonach dieser Typ durch den hh-Vektor bestimmt wird, und gleichzeitig eine verallgemeinerte Homotopiefaserung für polyedrische Produkte über geordnete simpliziale Komplexe konstruiert.

Pedro ConceiçãoWed, 11 Ma🔢 math

Dirichlet control problems with energy regularization governed by non-coercive elliptic equations

Diese Studie untersucht ein linear-quadratisches Dirichlet-Steuerungsproblem, das durch eine nicht-koerzive elliptische Gleichung auf einem möglicherweise nicht-konvexen Polygonalgebiet gesteuert wird, und analysiert die Regularität der Lösungen in gewichteten Sobolev-Räumen sowie die optimale Konvergenzrate der Finite-Elemente-Diskretisierung unter Verwendung von Energie-Regularisierung, gestaffelten Gittern und einer diskreten Projektion im Sinne von H1/2(Γ)H^{1/2}(\Gamma).

Thomas Apel, Mariano Mateos, Arnd RöschWed, 11 Ma🔢 math

Backward problem for a degenerate viscous Hamilton-Jacobi equation: stability and numerical identification

Diese Arbeit analysiert das rückwärtige Problem für eine entartete viskose Hamilton-Jacobi-Gleichung, indem sie unter Verwendung von Carleman-Abschätzungen die bedingte Stabilität nachweist und numerische Identifikationsverfahren mittels adjungierter Zustandsmethode sowie Van-Cittert-Iteration entwickelt und testet.

S. E. Chorfi, A. Habbal, M. Jahid, L. Maniar, A. RatnaniWed, 11 Ma🔢 math