English
Related papers

Related papers: Dyck Words, Lattice Paths, and Abelian Borders

200 papers

Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occurs-check) and increased expressivity (cyclic terms can…

Programming Languages · Computer Science 2007-05-23 Roberto Bagnara , Roberta Gori , Patricia M. Hill , Enea Zaffanella

Tandem duplication in DNA is the process of inserting a copy of a segment of DNA adjacent to the original position. Motivated by applications that store data in living organisms, Jain {\em et al.} (2016) proposed the study of codes that…

Combinatorics · Mathematics 2017-11-20 Yeow Meng Chee , Johan Chrisnata , Han Mao Kiah , Tuan Thanh Nguyen

We introduce linear programs encoding regular expressions of finite languages. We show that, given a language, the optimum value of the associated linear program is a lower bound on the size of any regular expression of the language.…

Formal Languages and Automata Theory · Computer Science 2017-12-08 Hamoon Mousavi

We discuss the notion of privileged word, recently introduced by Peltomaki. A word w is privileged if it is of length <=1, or has a privileged border that occurs exactly twice in w. We prove the following results: (1) if w^k is privileged…

Formal Languages and Automata Theory · Computer Science 2013-12-02 Michael Forsyth , Amlesh Jayakumar , Jeffrey Shallit

We give a ranker-based description using finite-index congruences for the variety $\boldsymbol{\mathrm{DAb}}$ of finite monoids whose regular $\mathcal{D}$-classes form Abelian groups. This combinatorial description yields a normal form for…

Formal Languages and Automata Theory · Computer Science 2024-11-15 Jorge Almeida , Manfred Kufleitner , Jan Philipp Wächter

Zipf's law of abbreviation, namely the tendency of more frequent words to be shorter, has been viewed as a manifestation of compression, i.e. the minimization of the length of forms -- a universal principle of natural communication.…

Computation and Language · Computer Science 2026-03-31 Sonia Petrini , Antoni Casas-i-Muñoz , Jordi Cluet-i-Martinell , Mengxue Wang , Christian Bentz , Ramon Ferrer-i-Cancho

We present a method for the enumeration of restricted words over a finite alphabet. Restrictions are described through the inclusion or exclusion of suitable building blocks used to construct the words by concatenation. Our approach, which…

Combinatorics · Mathematics 2016-01-05 Daniel Birmajer , Juan B. Gil , Michael D. Weiner

In this article we prove lower and upper bounds for class numbers of algebraic curves defined over finite fields. These bounds turn out to be better than most of the previously known bounds obtained using combinatorics. The methods used in…

Number Theory · Mathematics 2014-12-09 Philippe Lebacque , Alexey Zykin

As suggested by Currie, we apply the probabilistic method to problems regarding pattern avoidance. Using techniques from analytic combinatorics, we calculate asymptotic pattern occurrence statistics and use them in conjunction with the…

Combinatorics · Mathematics 2014-06-03 Jim Tao

We consider two axioms of second-order arithmetic. These axioms assert, in two different ways, that infinite but narrow binary trees always have infinite paths. We show that both axioms are strictly weaker than Weak K\"onig's Lemma, and…

Logic · Mathematics 2014-08-14 Stephen Binns , Bjørn Kjos-Hanssen

One method to determine whether or not a system of partial differential equations is consistent is to attempt to construct a solution using merely the "algebraic data" associated to the system. In technical terms, this translates to the…

Commutative Algebra · Mathematics 2017-11-13 Richard Gustavson , Omar León Sánchez

This article deals with the enumeration of directed lattice walks on the integers with any finite set of steps, starting at a given altitude $j$ and ending at a given altitude $k$, with additional constraints such as, for example, to never…

In this paper, we establish Brezin-Li-Yau type lower bounds for averaged sums of Dirichlet eigenvalues of the Laplacian and poly-Laplacian on bounded domains in Euclidean spaces. By deriving expansions of two binary polynomials which may be…

Analysis of PDEs · Mathematics 2026-04-27 Zhengchao Ji , Yong Luo

In [CaballeroHooleyDelta], we associated a Dyck word $\langle\! \langle n \rangle\! \rangle_{\lambda}$ to any pair $(n, \lambda)$ consisting of an integer $n \geq 1$ and a real number $\lambda > 1$. The goal of the present paper is to show…

Number Theory · Mathematics 2023-05-03 José Manuel Rodríguez Caballero

$\textit{Partial words}$ are words that contain, in addition to letters, special symbols $\diamondsuit$ called $\textit{holes}$. Two partial words of $a=a_0 \dots a_n$ and $b=b_0 \dots b_n$ are $\textit{compatible}$ if for all $i$, $a_i =…

Combinatorics · Mathematics 2024-09-02 Aleksi Saarela , Aleksi Vanhatalo

We obtain an upper and lower bound for the number of reduced words for a permutation in terms of the number of braid classes and the number of commutation classes of the permutation. We classify the permutations that achieve each of these…

Combinatorics · Mathematics 2018-08-06 Susanna Fishel , Elizabeth Milićević , Rebecca Patrias , Bridget Eileen Tenner

We investigate certain word-construction games with variable turn orders. In these games, Alice and Bob take turns on choosing consecutive letters of a word of fixed length, with Alice winning if the result lies in a predetermined target…

Formal Languages and Automata Theory · Computer Science 2021-05-04 Pierre Marcus , Ilkka Törmä

We initiate the study of the enumerative combinatorics of the intervals in the Dyck pattern poset. More specifically, we find some closed formulas to express the size of some specific intervals, as well as the number of their covering…

Combinatorics · Mathematics 2019-10-02 Antonio Bernini , Matteo Cervetti , Luca Ferrari , Einar Steingrimsson

Let $A_q(n,d)$ be the maximum order (maximum number of codewords) of a $q$-ary code of length $n$ and Hamming distance at least $d$. And let $A(n,d,w)$ that of a binary code of constant weight $w$. Building on results from algebraic graph…

Information Theory · Computer Science 2008-07-01 Salim Y. El Rouayheb , C. N. Georghiades , E. Soljanin , A. Sprintson

A $p$-Laplacian elliptic problem in the presence of both strongly singular and $(p-1)$-superlinear nonlinearities is considered. We employ bifurcation theory, approximation techniques and sub-supersolution method to establish the existence…

Analysis of PDEs · Mathematics 2021-03-16 Carlos Alberto Santos , Jacques Giacomoni , Lais Santos