中文
相关论文

相关论文: Random Operator Approach for Word Enumeration in B…

200 篇论文

We study the representations of the commutator subgroup K_{n} of the braid group B_{n} into a finite group . This is done through a symbolic dynamical system. Some experimental results enable us to compute the number of subgroups of K_{n}…

动力系统 · 数学 2007-05-23 Abdelouahab Arouche

Stochastic memoization is a higher-order construct of probabilistic programming languages that is key in Bayesian nonparametrics, a modular approach that allows us to extend models beyond their parametric limitations and compose them in an…

编程语言 · 计算机科学 2024-02-14 Younesse Kaddar , Sam Staton

Based on a preconditioned version of the randomized block-coordinate forward-backward algorithm recently proposed in [Combettes,Pesquet,2014], several variants of block-coordinate primal-dual algorithms are designed in order to solve a wide…

最优化与控制 · 数学 2014-10-28 Jean-Christophe Pesquet , Audrey Repetti

We consider a group of computation units trying to cooperatively solve a distributed optimization problem with shared linear equality and inequality constraints. Assuming that the computation units are communicating over a network whose…

最优化与控制 · 数学 2019-06-06 Simon Michalowsky , Bahman Gharesifard , Christian Ebenbauer

We study the dynamic membership problem for regular languages: fix a language L, read a word w, build in time O(|w|) a data structure indicating if w is in L, and maintain this structure efficiently under letter substitutions on w. We…

形式语言与自动机理论 · 计算机科学 2021-06-07 Antoine Amarilli , Louis Jachiet , Charles Paperman

A new method for deriving universal \v{R} matrices from braid group representation is discussed. In this case, universal \v{R} operators can be defined and expressed in terms of products of braid group generators. The advantage of this…

q-alg · 数学 2016-09-08 Feng Pan , Lianrong Dai

The $n$th term of an automatic sequence is the output of a deterministic finite automaton fed with the representation of $n$ in a suitable numeration system. In this paper, instead of considering automatic sequences built on a numeration…

形式语言与自动机理论 · 计算机科学 2023-06-22 Michel Rigo , Manon Stipulanti

Infinite words over infinite alphabets serve as models of the temporal development of the allocation and (re-)use of resources over linear time. We approach omega-languages over infinite alphabets in the setting of nominal sets, and study…

形式语言与自动机理论 · 计算机科学 2021-07-13 Henning Urbat , Daniel Hausmann , Stefan Milius , Lutz Schröder

In operator algebra, the linearization trick is a technique that reduces the study of a non-commutative polynomial evaluated at elements of an algebra A to the study of a polynomial of degree one, evaluated on the enlarged algebra A x M r…

概率论 · 数学 2022-02-03 Charles Bordenave , Bastien Dubail

We study 4 problems in string matching, namely, regular expression matching, approximate regular expression matching, string edit distance, and subsequence indexing, on a standard word RAM model of computation that allows logarithmic-sized…

数据结构与算法 · 计算机科学 2008-09-22 Philip Bille , Martin Farach-Colton

We find polynomial-time solutions to the word problem for free-by-cyclic groups, the word problem for automorphism groups of free groups, and the membership problem for the handlebody subgroup of the mapping class group. All of these…

群论 · 数学 2007-05-23 Saul Schleimer

As more of topology's tools become popular in analyzing high dimensional data sets, the goal of understanding the underlying probabilistic properties of these tools becomes even more important. While much attention has been given to…

代数拓扑 · 数学 2018-08-07 Matthew Zabka

We investigate questions related to the presence of primitive words and Lyndon words in automatic and linearly recurrent sequences. We show that the Lyndon factorization of a k-automatic sequence is itself k-automatic. We also show that the…

形式语言与自动机理论 · 计算机科学 2012-11-08 Daniel Goc , Kalle Saari , Jeffrey Shallit

In this paper, we consider robust control using randomized algorithms. We extend the existing order statistics distribution theory to the general case in which the distribution of population is not assumed to be continuous and the order…

最优化与控制 · 数学 2008-05-13 Xinjia Chen , Kemin Zhou

The study of Reynolds algebras has its origin in the well-known work of O. Reynolds on fluid dynamics in 1895 and has since found broad applications. It also has close relationship with important linear operators such as algebra…

环与代数 · 数学 2021-07-01 Tianjie Zhang , Xing Gao , Li Guo

In this paper, we explore applications of combinatorics on words across various domains, including data compression, error detection, cryptographic protocols, and pseudorandom number generation. The examination of the theoretical…

组合数学 · 数学 2025-06-17 Duaa Abdullah , Jasmem Hamoud

We study random nilpotent groups in the well-established style of random groups, by choosing relators uniformly among freely reduced words of (nearly) equal length and letting the length tend to infinity. Whereas random groups are quotients…

群论 · 数学 2017-03-29 Matthew Cordes , Moon Duchin , Yen Duong , Meng-Che Ho , Andrew P. Sánchez

Classification of sequence data is the topic of interest for dynamic Bayesian models and Recurrent Neural Networks (RNNs). While the former can explicitly model the temporal dependencies between class variables, the latter have a capability…

机器学习 · 计算机科学 2018-03-12 Son N. Tran , Srikanth Cherla , Artur Garcez , Tillman Weyde

We give an algorithm to enumerate the results on trees of monadic second-order (MSO) queries represented by nondeterministic tree automata. After linear time preprocessing (in the input tree), we can enumerate answers with linear delay (in…

数据库 · 计算机科学 2019-08-28 Antoine Amarilli , Pierre Bourhis , Stefan Mengel , Matthias Niewerth

We propose and study a novel stochastic inertial primal-dual approach to solve composite optimization problems. These latter problems arise naturally when learning with penalized regularization schemes. Our analysis provide convergence…

最优化与控制 · 数学 2015-07-06 Lorenzo Rosasco , Silvia Villa , Bang Cong Vu