English
Related papers

Related papers: On shortest products for nonnegative matrix mortal…

200 papers

The low-rank matrix completion problem asks whether a given real matrix with missing values can be completed so that the resulting matrix has low rank or is close to a low-rank matrix. The completed matrix is often required to satisfy…

Computational Complexity · Computer Science 2025-06-24 Dror Chawin , Ishay Haviv

Superpermutations are words over a finite alphabet containing every permutation as a factor. Finding the minimal length of a superpermutation is still an open problem. In this article, we introduce superpermutations matrices. We establish a…

Combinatorics · Mathematics 2019-08-14 Guillaume Dumas

We construct a probabilistic finite automaton (PFA) with 7 states and an input alphabet of 5 symbols for which the PFA Emptiness Problem is undecidable. The only input for the decision problem is the starting distribution. For the proof, we…

Formal Languages and Automata Theory · Computer Science 2024-12-09 Günter Rote

In the non-negative matrix factorization (NMF) problem, the input is an $m\times n$ matrix $M$ with non-negative entries and the goal is to factorize it as $M\approx AW$. The $m\times k$ matrix $A$ and the $k\times n$ matrix $W$ are both…

Data Structures and Algorithms · Computer Science 2021-03-09 Moses Charikar , Lunjia Hu

In this paper we consider the following problems: how many different subsets of Sigma^n can occur as set of all length-n factors of a finite word? If a subset is representable, how long a word do we need to represent it? How many such…

Formal Languages and Automata Theory · Computer Science 2013-04-15 Shuo Tan , Jeffrey Shallit

A word $w$ of letters on edges of underlying graph $\Gamma$ of deterministic finite automaton (DFA) is called synchronizing if $w$ sends all states of the automaton to a unique state. J. \v{C}erny discovered in 1964 a sequence of $n$-state…

Formal Languages and Automata Theory · Computer Science 2019-11-12 A. N. Trahtman

For a stationary stochastic process $\{X_n\}$ with values in some set $A$, a finite word $w \in A^K$ is called a memory word if the conditional probability of $X_0$ given the past is constant on the cylinder set defined by $X_{-K}^{-1}=w$.…

Information Theory · Computer Science 2008-08-22 Gusztav Morvai , Benjamin Weiss

A zero-one matrix is a matrix with entries from $\{0, 1\}$. We study monoids containing only such matrices. A finite set of zero-one matrices generating such a monoid can be seen as the matrix representation of an unambiguous finite…

Formal Languages and Automata Theory · Computer Science 2025-11-14 Stefan Kiefer , Andrew Ryzhikov

An index for a finite automaton is a powerful data structure that supports locating paths labeled with a query pattern, thus solving pattern matching on the underlying regular language. In this paper, we solve the long-standing problem of…

Data Structures and Algorithms · Computer Science 2020-07-16 Nicola Cotumaccio , Nicola Prezza

Let $NFA_b(q)$ denote the set of languages accepted by nondeterministic finite automata with $q$ states over an alphabet with $b$ letters. Let $B_n$ denote the set of words of length $n$. We give a quadratic lower bound on the VC dimension…

Formal Languages and Automata Theory · Computer Science 2021-08-06 Bjørn Kjos-Hanssen , Clyde James Felix , Sun Young Kim , Ethan Lamb , Davin Takahashi

Nonnegative matrix factorization (NMF) is a popular method used to reduce dimensionality in data sets whose elements are nonnegative. It does so by decomposing the data set of interest, $\mathbf{X}$, into two lower rank nonnegative matrices…

Methodology · Statistics 2021-07-05 Phillip Shreeves , Jeffrey L. Andrews , Xinchen Deng , Ramie Ali-Adeeb , Andrew Jirasek

The problem of k-minimisation for a DFA M is the computation of a smallest DFA N (where the size |M| of a DFA M is the size of the domain of the transition function) such that their recognized languages differ only on words of length less…

Formal Languages and Automata Theory · Computer Science 2011-03-01 Paweł Gawrychowski , Artur Jeż , Andreas Maletti

Given an infinite linear group with a finite set of generators, we show that the shortest word length of an element of infinite order has an upper bound that depends only on the number of generators and the degree. This provides a…

Group Theory · Mathematics 2023-09-11 Junho Peter Whang

The ambiguity of a nondeterministic finite automaton (NFA) N for input size n is the maximal number of accepting computations of N for an input of size n. For all k, r 2 N we construct languages Lr,k which can be recognized by NFA's with…

Formal Languages and Automata Theory · Computer Science 2009-03-02 Juraj Hromkovic , Georg Schnitger

We investigate the least number of palindromic factors in an infinite word. We first consider general alphabets, and give answers to this problem for periodic and non-periodic words, closed or not under reversal of factors. We then…

Discrete Mathematics · Computer Science 2014-07-15 Gabriele Fici , Luca Q. Zamboni

The problems that we consider in this paper are as follows. Let A and B be 2x2 matrices (over reals). Let w(A, B) be a word of length n. After evaluating w(A, B) as a product of matrices, we get a 2x2 matrix, call it W. What is the largest…

Group Theory · Mathematics 2025-08-11 Vladimir Shpilrain

The complexity function of an infinite word $w$ on a finite alphabet $A$ is the sequence counting, for each non-negative $n$, the number of words of length $n$ on the alphabet $A$ that are factors of the infinite word $w$. The goal of this…

Dynamical Systems · Mathematics 2018-02-26 Carlos Gustavo Moreira , Christian Mauduit

We extend the theory of minimal absent words to (rooted and unrooted) trees, having edges labeled by letters from an alphabet $\Sigma$ of cardinality $\sigma$. We show that the set $\text{MAW}(T)$ of minimal absent words of a rooted (resp.…

Data Structures and Algorithms · Computer Science 2019-10-31 Gabriele Fici , Paweł Gawrychowski

It was conjectured by \v{C}ern\'y in 1964 that a synchronizing DFA on $n$ states always has a shortest synchronizing word of length at most $(n-1)^2$, and he gave a sequence of DFAs for which this bound is reached. In this paper, we…

Formal Languages and Automata Theory · Computer Science 2017-12-15 Michiel de Bondt , Henk Don , Hans Zantema

Let $M_n(\mathbb{F})$ be the algebra of $n \times n$ matrices and let $\mathcal S$ be a generating set of $M_n(\mathbb{F})$ as an $\mathbb{F}$-algebra. The length of a finite generating set $\mathcal S$ of $M_n(\mathbb{F})$ is the smallest…

Rings and Algebras · Mathematics 2015-01-26 Thomas Laffey , Olga Markova , Helena Šmigoc