Sketching, Moment Estimation, and the Lévy-Khintchine Representation Theorem

Diese Arbeit stellt ein einfaches, generisches Schema zur Schätzung von ff-Momenten im Turnstile-Streaming-Modell vor, das durch das Hashen von Indizes auf Lévy-Prozesse und die Anwendung des Lévy-Khintchine-Repräsentationssatzes eine einheitliche Erklärung für bestehende Skizzen bietet und die Schätzbarkeit einer breiten Klasse von Funktionen, einschließlich mehrdimensionaler und heterogener Fälle, ermöglicht.

Seth Pettie, Dingyu WangWed, 11 Ma🔢 math

On the Online Weighted Non-Crossing Matching Problem

Die Arbeit untersucht das Online-Problem des gewichteten nicht-kreuzenden Matchings in der euklidischen Ebene und zeigt, dass zwar deterministische Algorithmen für allgemeine Gewichte keine nicht-triviale Wettbewerbsfähigkeit garantieren können, randomisierte Algorithmen jedoch eine konstante Wettbewerbsfähigkeit erreichen, während für Varianten mit revokierbaren Entscheidungen, kollinearen Punkten oder begrenzten Gewichten sowie für die Advice-Komplexität neue obere und untere Schranken hergeleitet werden.

Joan Boyar, Shahin Kamali, Kim S. Larsen, Ali Fata Lavasani, Yaqiao Li, Denis PankratovWed, 11 Ma💻 cs

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

Almost-Optimal Upper and Lower Bounds for Clustering in Low Dimensional Euclidean Spaces

Diese Arbeit verbessert den Laufzeitkomplexitätsfaktor für (1+ε)(1+\varepsilon)-Approximationsalgorithmen des kk-Median- und kk-Means-Clustering in niedrigdimensionalen euklidischen Räumen auf $2^{\tilde{O}(1/\varepsilon)^{d-1}} \cdot n \cdot \text{polylog}(n)$ und beweist unter der Gap-Exponential-Time-Hypothese, dass diese Laufzeit bis auf polylogarithmische Faktoren optimal ist.

Vincent Cohen-Addad, Karthik C. S., David Saulpic, Chris SchwiegelshohnWed, 11 Ma💻 cs

Optimizing Sparse SYK

Diese Arbeit zeigt, dass bei der sparsifizierten SYK-Modellierung für pΩ(logn/n)p \geq \Omega(\log n/n) eine beweisbare Trennung zwischen klassischen Algorithmen, die auf Gauß-Zuständen basieren, und effizienten Quantenalgorithmen besteht, da erstere nur eine Θ(1/n)\Theta(1/\sqrt{n})-Approximation der Grundzustandsenergie erreichen, während letztere eine konstante Faktor-Approximation liefern.

Matthew Ding, Robbie King, Bobak T. Kiani, Eric R. AnschuetzTue, 10 Ma⚛️ quant-ph

A Class of Unrooted Phylogenetic Networks Inspired by the Properties of Rooted Tree-Child Networks

Die Autoren stellen neue Klassen ungerichteter phylogenetischer Netzwerke namens qq-schnittbare Netzwerke vor, die sich durch polynomielle Erkennbarkeit auszeichnen und das NP-schwere Problem der Baum-Enthaltenseins für q3q \geq 3 effizient lösen, während sie zeigen, dass die verwandte Klasse der baumkind-orientierbaren Netzwerke selbst für binäre Fälle NP-schwer zu erkennen ist.

Leo van Iersel, Mark Jones, Simone Linz, Norbert ZehTue, 10 Ma🔢 math

Complexity Lower Bounds of Small Matrix Multiplication over Finite Fields via Backtracking and Substitution

Diese Arbeit stellt eine neue Methode zur Bestimmung unterer Schranken für die bilineare Komplexität der Matrixmultiplikation über endlichen Körpern vor, die durch eine Kombination aus Substitutionsmethode und systematischer Backtracking-Suche mit dynamischer Programmierung erstmals beweist, dass die Komplexität der Multiplikation von $3 \times 3Matrizenu¨ber-Matrizen über \mathbb{F}_2$ mindestens 20 beträgt.

Chengu WangTue, 10 Ma💻 cs

Approximating Tensor Network Contraction with Sketches

Die Arbeit stellt zwei neue Sketching-Methoden vor, von denen die erste erstmals die Approximation beliebiger Tensornetzwerke (einschließlich zyklischer) ermöglicht und die zweite für azyklische Netzwerke eine polynomielle Komplexität bezüglich der Anzahl der Kontraktionen bietet, während bestehende Verfahren auf azyklische Strukturen beschränkt sind und exponentiell skalieren.

Mike Heddes, Igor Nunes, Tony Givargis, Alex NicolauTue, 10 Ma💻 cs