English
Related papers

Related papers: $\alpha$-$\beta$-Factorization and the Binary Case…

200 papers

Furstenberg and Glasner proved that for an arbitrary k in N, any piecewise syndetic set contains k term arithmetic progression and such collection is also piecewise syndetic in Z. They used algebraic structure of beta N. The above result…

Combinatorics · Mathematics 2019-09-27 Sayan Goswami , Subhajit Jana

Simon's congruence, denoted \sim_n, relates words having the same subwords of length up to n. We show that, over a k-letter alphabet, the number of words modulo \sim_n is in 2^{\Theta(n^{k-1} log n)}.

Formal Languages and Automata Theory · Computer Science 2016-07-07 Prateek Karandikar , Manfred Kufleitner , Philippe Schnoebelen

A classical tool in the study of real closed fields are the fields $K((G))$ of generalised power series (i.e., formal sums with well-ordered support) with coefficients in a field $K$ of characteristic 0 and exponents in an ordered abelian…

Logic · Mathematics 2017-09-22 Sonia L'Innocente , Vincenzo Mantova

In this paper we introduce and study a family of complexity functions of infinite words indexed by $k \in \ints ^+ \cup {+\infty}.$ Let $k \in \ints ^+ \cup {+\infty}$ and $A$ be a finite non-empty set. Two finite words $u$ and $v$ in $A^*$…

Combinatorics · Mathematics 2013-01-23 Juhani Karhumaki , Aleksi Saarela , Luca Q. Zamboni

The Corona Factorization Property, originally invented to study extensions of C*-algebras, conveys essential information about the intrinsic structure of the C*-algebras. We show that the Corona Factorization Property of a \sigma-unital…

Operator Algebras · Mathematics 2013-01-24 Eduard Ortega , Francesc Perera , Mikael Rordam

We introduce categories of weak factorization algebras and factorization spaces, and prove that they are equivalent to the categories of ordinary factorization algebras and spaces, respectively. This allows us to define the pullback of a…

Algebraic Geometry · Mathematics 2019-11-06 Emily Cliff

A classical result of Littlewood gives a factorisation for the Schur function at a set of variables "twisted" by a primitive $t$-th root of unity, characterised by the core and quotient of the indexing partition. While somewhat neglected,…

Combinatorics · Mathematics 2024-02-15 Seamus P. Albion

Two words $w_1$ and $w_2$ are said to be $k$-binomial equivalent if every non-empty word $x$ of length at most $k$ over the alphabet of $w_1$ and $w_2$ appears as a scattered factor of $w_1$ exactly as many times as it appears as a…

Formal Languages and Automata Theory · Computer Science 2017-01-19 Dominik D. Freydenberger , Pawel Gawrychowski , Juhani Karhumäki , Florin Manea , Wojciech Rytter

Semantic matching of natural language sentences or identifying the relationship between two sentences is a core research problem underlying many natural language tasks. Depending on whether training data is available, prior research has…

Computation and Language · Computer Science 2018-03-02 Bang Liu , Ting Zhang , Fred X. Han , Di Niu , Kunfeng Lai , Yu Xu

We consider the problem of when one quandle homomorphism will factor through another, restricting our attention to the case where all quandles involved are connected. We provide a complete solution to the problem for surjective quandle…

Group Theory · Mathematics 2021-03-10 T. Braun , C. Crotwell , A. Liu , P. Weston , D. N. Yetter

In the first part of this survey, we present classical notions arising in combinatorics on words: growth function of a language, complexity function of an infinite word, pattern avoidance, periodicity and uniform recurrence. Our…

Formal Languages and Automata Theory · Computer Science 2016-02-11 Michel Rigo

In this paper we investigate local to global phenomena for a new family of complexity functions of infinite words indexed by $k \in \Ni \cup \{+\infty\}$ where $\Ni$ denotes the set of positive integers. Two finite words $u$ and $v$ in…

Combinatorics · Mathematics 2013-02-18 Juhani Karhumäki , Aleksi Saarela , Luca. Q. Zamboni

Applying the classical Serre-Swan theorem, as this is extended to topological (non-normed) algebras, one attains a classification of elementary particles via their spin-structure. In this context, our argument is virtually based on a…

Mathematical Physics · Physics 2007-05-23 Anastasios Mallios

Alladi and Gordon introduced the method of weighted words in 1993 to prove a refinement and generalisation of Schur's partition identity. Together with Andrews, they later used it to refine Capparelli's and G\"ollnitz' identities too. In…

Combinatorics · Mathematics 2017-02-24 Jehanne Dousse

The notion of a matrix factorization was introduced by Eisenbud in the commutative case in his study of bounded (periodic) free resolutions over complete intersections. In this work, we extend the notion of (homogeneous) matrix…

Rings and Algebras · Mathematics 2013-08-01 Thomas Cassidy , Andrew Conner , Ellen Kirkman , W. Frank Moore

Factorization of statistical language models is the task that we resolve the most discriminative model into factored models and determine a new model by combining them so as to provide better estimate. Most of previous works mainly focus on…

Computation and Language · Computer Science 2007-05-23 Wei Wang

Ramsey theory for words over a finite alphabet was unified in the work of Carlson and Furstenberg-Katznelson. Carlson, in the same work, outlined a method to extend the theory for words over an infinite alphabet, but subject to a fixed…

Combinatorics · Mathematics 2010-11-03 Vassiliki Farmaki , Andreas Koutsogiannis

The factor complexity of the infinite word $\ubeta$ canonically associated to a non-simple Parry number $\beta$ is studied. Our approach is based on the notion of special factors introduced by Berstel and Cassaigne. At first, we give a…

Combinatorics · Mathematics 2017-05-31 Karel Klouda , Edita Pelantová

We introduce a sequent calculus with a simple restriction of Lambek's product rules that precisely captures the classical Tamari order, i.e., the partial order on fully-bracketed words (equivalently, binary trees) induced by a…

Logic in Computer Science · Computer Science 2017-01-12 Noam Zeilberger

Given a string $s$ of length $n$ over a general alphabet and an integer $k$, the problem is to decide whether $s$ is a concatenation of $k$ nonempty palindromes. Two previously known solutions for this problem work in time $O(kn)$ and…

Data Structures and Algorithms · Computer Science 2020-07-07 Mikhail Rubinchik , Arseny M. Shur