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

Cet article propose un schéma générique pour l'estimation des moments dans le modèle de flux tournant en utilisant un hachage vers des processus de Lévy, unifié par le théorème de représentation de Lévy-Khintchine, qui explique et généralise de nombreuses constructions existantes tout en étendant la tractabilité à des fonctions presque périodiques et à des cas multidimensionnels.

Seth Pettie, Dingyu WangWed, 11 Ma🔢 math

Stochastic and incremental subgradient methods for convex optimization on Hadamard spaces

Cet article introduit un nouveau type de sous-gradient basé sur les fonctions de Busemann pour les espaces de Hadamard, permettant d'étendre les méthodes de sous-gradient stochastiques et incrémentales avec des garanties de complexité à des problèmes d'optimisation non linéaires tels que le calcul de médianes dans l'espace des arbres BHV.

Ariel Goodwin, Adrian S. Lewis, Genaro López-Acedo, Adriana NicolaeWed, 11 Ma🔢 math

Unit Interval Selection in Random Order Streams

Cet article présente un algorithme de streaming à un passage pour le problème de sélection d'intervalles unitaires dans un ordre aléatoire, atteignant un facteur d'approximation attendu de 0,7401 avec un espace linéaire par rapport à la solution optimale, tout en établissant des limites inférieures démontrant que toute amélioration significative nécessite un espace linéaire par rapport à la taille de l'entrée.

Cezar-Mihail Alexandru, Adithya Diddapur, Magnús M. Halldórsson, Christian Konrad, Kheeran K. NaiduWed, 11 Ma💻 cs

On the Online Weighted Non-Crossing Matching Problem

Cet article étudie le problème de couplage non croisé pondéré en ligne dans le plan euclidien, démontrant l'impossibilité d'un rapport de compétitivité non trivial pour les algorithmes déterministes tout en établissant l'existence d'un rapport constant grâce à la randomisation, et en fournissant des bornes pour diverses variantes ainsi qu'une amélioration de la complexité en conseils nécessaire pour l'optimalité.

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

Cet article présente et prouve la correction d'un algorithme automatisé qui énumère exhaustivement les paires critiques pour les systèmes de réécriture de diagrammes de chaînes dans les catégories monoïdales symétriques sans structure de Frobenius, en utilisant la manipulation concrète d'hypergraphes.

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

Exploration Space Theory: Formal Foundations for Prerequisite-Aware Location-Based Recommendation

Cet article présente la Théorie de l'Espace d'Exploration (EST), un cadre formel fondé sur la théorie des espaces de connaissances qui modélise les dépendances prérequis entre lieux d'intérêt via des treillis distributifs, permettant ainsi de concevoir un système de recommandation géolocalisée garantissant mathématiquement la validité structurelle de chaque étape d'exploration.

Madjid SadallahTue, 10 Ma🤖 cs.LG

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

Cet article propose et étudie les réseaux phylogénétiques non enracinés qq-découpables, une nouvelle classe reconnaissable en temps polynomial et permettant de résoudre efficacement le problème de la contenance d'arbre, comblant ainsi le vide laissé par les réseaux orientables en arbre-enfant dont la reconnaissance est NP-difficile.

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