arXiv++ Combinatorics

The associative spectrum of a groupoid (i.e., a set with a binary operation) measures its nonassociativity while the associative-commutative spectrum measures both nonassociativity and noncommutativity of the groupoid. The two spectra are also the coefficients of the Hilbert series of certain operads. We establish upper bounds for the two spectra of various varieties of groupoids defined by different sets of identities and provide examples (often groupoids with three elements) for which the upper bounds are achieved. Our results have connections to many interesting combinatorial objects and integer sequences and naturally lead to some questions for future studies.

Generating series are crucial in enumerative combinatorics, analytic combinatorics, and combinatorics on words. Though it might seem at first view that generating Dirichlet series are less used in these fields than ordinary and exponential generating series, there are many notable papers where they play a fundamental role, as can be seen in particular in the work of Flajolet and several of his co-authors. In this paper, we study Dirichlet series of integers with missing digits or blocks of digits in some integer base $b$; i.e., where the summation ranges over the integers whose expansions form some language strictly included in the set of all words over the alphabet $\{0, 1, \dots, b-1\}$ that do not begin with a $0$. We show how to unify and extend results proved by Nathanson in 2021 and by Köhler and Spilker in 2009. En route, we encounter several sequences from Sloane's On-Line Encyclopedia of Integer Sequences, as well as some famous $b$-automatic sequences or $b$-regular sequences. We also consider a specific sequence that is not $b$-regular.

We recall the main types of lattice paths, which are sequences in the lattice of integer coordinates points in the plane. We start with the fundamental central lattice paths and Dyck paths and proceed in elementary terms through recently introduced lattice paths. For every type, we consider the respective generating function. In fact, through our approach (via Riordan arrays), various entries of the On-Line Encyclopedia of Integer Sequences are unified, clarified, and simplified.

We discuss an interesting sequence defined recursively; namely, sequence A105774 from the On-Line Encyclopedia of Integer Sequences, and study some of its properties. Our main tools are Fibonacci representation, finite automata, and the Walnut theorem-prover. We also prove two new results about synchronized sequences.

Given any finite set of nonnegative integers, there exists a closed convex set whose facial dimension signature coincides with this set of integers, that is, the dimensions of its nonempty faces comprise exactly this set of integers. In this work, we show that such sets can be realised as solution sets of systems of finitely many convex quadratic inequalities, and hence are representable via second-order cone programming problems, and are, in particular, spectrahedral. It also follows that these sets are facially exposed, in contrast to earlier constructions. We obtain a lower bound on the minimum number of convex quadratic inequalities needed to represent a closed convex set with prescribed facial dimension signature, and show that our bound is tight for some special cases. Finally, we relate the question of finding efficient representations with indecomposability of integer sequences and other topics, and discuss a substantial number of open questions.

For a positive integer sequence $\boldsymbol{a}=(a_1, \dots, a_{N+1})$, Sylvester's denumerant $E(\boldsymbol{a}; t)$ counts the number of nonnegative integer solutions to $\sum_{i=1}^{N+1} a_i x_i = t$ for a nonnegative integer $t$. It has been extensively studied and a well-known result asserts that $E(\boldsymbol{a}; t)$ is a quasi-polynomial in $t$ of degree $N$. A milestone is Baldoni et al.'s polynomial algorithm in 2015 for computing the top $k$ coefficients when $k$ is fixed. Their development uses heavily lattice point counting theory in computational geometry. In this paper, we explain their work in the context of algebraic combinatorics and simplify their computation. Our work is based on constant term method, Barvinok's unimodular cone decomposition, and recent results on fast computation of generalized Todd polynomials. We develop the algorithm \texttt{CT-Knapsack}, together with an implementation in \texttt{Maple}. Our algorithm avoids plenty of repeated computations and is hence faster.

Constraint programming (CP) is a powerful tool for modeling mathematical concepts and objects and finding both solutions or counter examples. One of the major strengths of CP is that problems can easily be combined or expanded. In this paper, we illustrate that this versatility makes CP an ideal tool for exploring problems in permutation patterns. We declaratively define permutation properties, permutation pattern avoidance and containment constraints using CP and show how this allows us to solve a wide range of problems. We show how this approach enables the arbitrary composition of these conditions, and also allows the easy addition of extra conditions. We demonstrate the effectiveness of our techniques by modelling the containment and avoidance of six permutation patterns, eight permutation properties and measuring five statistics on the resulting permutations. In addition to calculating properties and statistics for the generated permutations, we show that arbitrary additional constraints can also be easily and efficiently added. This approach enables mathematicians to investigate permutation pattern problems in a quick and efficient manner. We demonstrate the utility of constraint programming for permutation patterns by showing how we can easily and efficiently extend the known permutation counts for a conjecture involving the class of $1324$ avoiding permutations. For this problem, we expand the enumeration of $1324$-avoiding permutations with a fixed number of inversions to permutations of length 16 and show for the first time that in the enumeration there is a pattern occurring which follows a unique sequence on the Online Encyclopedia of Integer Sequences.

The lonely singles sequence represents the number of noncrossing partitions of the finite set {1,. .. , n} in which no pair of singletons {i} and {j} can be merged into the pair {i, j} so that the partition stays noncrossing. The marriageable singles sequence represents the number of all the other noncrossing partitions and is the difference between the Catalan numbers sequence and the lonely singles sequence. The 14 first terms of these sequences are given, as well as some of their properties. These sequences appear when one wants to count the number of ways to cross simultaneously certain road intersections.

Consider a subset [1,2,...,n]x[1,2,...,n] of the plane integer lattice. Take any non self-intersecting n^2-gon built on it (straight angles are allowed). The square of a side length is a positive integer. It is thus natural to ask how large the sum of square lengths of such an n^2-gon can be. This maximal value is a new integer sequence, labeled by A358212 in OEIS. In this note we give the lower bound and conjecture that this in fact is the correct answer. We further investigate proper n^2-gons (straight angles are not allowed) and present analogous results. Both sequences (conjecturally) have a different growth size.

This article investigates integer sequences that partition the sequence into blocks of various lengths - irregular arrays. The main result of the article is explicit formulas for numbering of irregular arrays. A generalization of Cantor diagonal method is proposed. We also define and describe intra-block permutations of natural numbers. Generalizations of reluctant sequences are introduced, namely generalized reluctant sequences and generalized reverse reluctant sequences. Explicit formulas are presented for these sequences. The article provides numerous examples to illustrate all statements.

In 2014, R.H. Hardin contributed a family of sequences about king-moves on an array to the On-Line Encyclopedia of Integer Sequences (OEIS). The sequences were recently noticed in an automated search of the OEIS by Kauers and Koutschan, who conjectured a recurrence for one of them. We prove their conjecture as well as some older conjectures stated in the OEIS entries. We also have some new conjectures for the asymptotics of Hardin's sequences.

Vacillating tableaux are sequences of integer partitions that satisfy specific conditions. The concept of vacillating tableaux stems from the representation theory of the partition algebra and the combinatorial theory of crossings and nestings of matchings and set partitions. In this paper, we further investigate the enumeration of vacillating tableaux and derive multiple combinatorial identities and integer sequences relating to the number of vacillating tableaux, simplified vacillating tableaux, and limiting vacillating tableaux.

Venkatachala on the one hand, and Avdispahić & Zejnulahi on the other, both studiied integer sequences with an unusual sum property defined in a greedy way, and proved many results about them. However, their proofs were rather lengthy and required numerous cases. In this paper, I provide a different approach, via finite automata, that can prove the same results (and more) in a simple, unified way. Instead of case analysis, we use a decision procedure implemented in the free software Walnut. Using these ideas, we can prove a conjecture of Quet and find connections between Quet's sequence and the "married" functions of Hofstadter.

Inspired by Episode 3 of the Japanese manga "Seisu-tan" by Doom Kobayashi and Shin-ichiro Seki, we investigate the $k$-Göbel sequence $(g_{k,n})_n$ named after Fritz Göbel. Although the sequence is generally defined as rational, quite a few initial terms behave like an integer sequence. This article addresses a question raised in Seisu-tan and shows that $g_{k,n}$ is always an integer for any $k \geq 2$ and $0 \leq n \leq 18$.

In this article, we introduce and study a new integer sequence referred to as the higher order Mersenne sequence. The proposed sequence is analogous to the higher order Fibonacci numbers and closely associated with the Mersenne numbers. Here, we discuss various algebraic properties such as Binet's formula, Catalan's identity, d'Ocagne's identity, generating functions, finite and binomial sums, etc. of this new sequence, and some inter-relations with Mersenne and Jacobsthal numbers. Moreover, we study the sequence generated from the binomial transforms of the higher order Mersenne numbers and present the recurrence relation and algebraic properties of them. Lastly, we give matrix generators and tridiagonal matrix representation for higher order Mersenne numbers.

We say that a pair of nonnegative integer sequences $(\{a_k\}_{k\geq 0},\{b_k\}_{k\geq 0})$ is Whitney-realizable if there exists a poset $P$ for which (the absolute values) of the Whitney numbers of the first and second kind are given by the numbers $a_k$ and $b_k$ respectively. The pair is said to be Whitney-dualizable if, in addition, there exists another poset $Q$ for which their Whitney numbers of the first and second kind are instead given by $b_k$ and $a_k$ respectively. In this case, we say that $P$ and $Q$ are Whitney duals. We use results on Whitney duality, recently developed by the first two authors, to exhibit a family of sequences which allows for multiple realizations and Whitney-dual realizations. More precisely, we study edge labelings for the families of posets of pointed partitions $Π_n^{\bullet}$ and weighted partitions $Π_n^{w}$ which are associated to the operads $\mathcal{P}erm$ and $\mathcal{C}om^2$ respectively. The first author and Wachs proved that these two families of posets share the same pair of Whitney numbers. We find EW-labelings for $Π_n^{\bullet}$ and $Π_n^{w}$ and use them to show that they also share multiple nonisomorphic Whitney dual posets. In addition to EW-labelings, we also find two new EL-labelings for $Π_n^\bullet$ answering a question of Chapoton and Vallette. Using these EL-labelings of $Π_n^\bullet$, and an EL-labeling of $Π_n^w$ introduced by the first author and Wachs, we give combinatorial descriptions of bases for the operads $\mathcal{P}re\mathcal{L}ie, \mathcal{P}erm,$ and $\mathcal{C}om^2$. We also show that the bases for $\mathcal{P}erm$ and $\mathcal{C}om^2$ are PBW bases.

Consider the set $\{1,2,\ldots,3n\}$. We are interested in the number of partitions of this set into subsets of three elements each, where the sum of two of them equals the third. We give some criteria such a partition has to fulfill, which can be used for efficient pruning in the search for these partitions. In particular, we enumerate all such partitions for $n=16$ and $n=17$ adding new terms to the series A108235 in the Online Encyclopedia of Integer Sequences.

We introduce a subfamily of skew Dyck paths called box paths and show that they are in bijection with pairs of ternary trees, confirming an observation stated previously on the On-Line Encyclopedia of Integer Sequences. More generally, we define $k$-box paths, which are in bijection with $(k+1)$-tuples of $(k+2)$-ary trees. A bijection is given between $k$-box paths and a subfamily of $k_{t}$-Dyck paths, as well as a bijection with a subfamily of $(k,\ell)$-threshold sequences. We also study the refined enumeration of $k$-box paths by the number of returns and the number of long ascents. Notably, the distribution of long ascents over $k$-box paths generalizes the Narayana distribution on Dyck paths, and we find that $(k-3)$-box paths with exactly two long ascents provide a combinatorial model for the second $k$-gonal numbers.

Graphical parking functions, or $G$-parking functions, are a generalization of classical parking functions which depend on a connected multigraph $G$ having a distinguished root vertex. Gaydarov and Hopkins characterized the relationship between $G$-parking functions and another vector-dependent generalization of parking functions, the $\boldsymbol{u}$-parking functions. The crucial component of their result was their classification of all graphs $G$ whose $G$-parking functions are invariant under action by the symmetric group $\mathfrak{S}_n$, where $n+1$ is the order of $G$. In this work, we present a 2-dimensional analogue of Gaydarov and Hopkins' results by characterizing the overlap between $G$-parking functions and 2-dimensional $\boldsymbol{U}$-parking functions, i.e., pairs of integer sequences whose order statistics are bounded by certain weights along lattice paths in the plane. Our key result is a total classification of all $G$ whose set of $G$-parking functions is $(\mathfrak{S}_p \times \mathfrak{S}_q)$-invariant, where $p+q+1$ is the order of $G$.

Let $β>1$ be fixed. We consider the $(\frak{b, d})$ numeration system, where the base ${\frak b}=(b_k)_{k\geq 0}$ is a sequence of positive real numbers satisfying $\lim_{k\rightarrow \infty}b_{k+1}/b_k=β$, and the set of digits ${\frak d}\ni 0$ is a finite set of nonnegative real numbers with at least two elements. Let $r_{\frak{b, d}}(λ)$ denote the number of representations of a given $λ\in\mathbb{R}$ by sums $\sum_{k\ge 0}δ_kb_k$ with $δ_k$ in ${\frak d}$. We establish upper bounds and asymptotic formulas for $r_{\frak{b,d}}(λ)$ and its arbitrary moments, respectively. We prove that the associated zeta function $ζ_{\frak{b, d}}(s):=\sum_{λ>0}r_{\frak{b, d}}(λ)λ^{-s}$ can be meromorphically continued to the entire complex plane when $b_k=β^{k}$, and to the half-plane $\Re(s)>\log_β|\frak{d}|-γ$ when $b_k=β^{k}+O(β^{(1-γ)k})$, with any fixed $γ\in(0,1]$, respectively. We also determine the possible poles, compute the residues at the poles, and locate the trivial zeros of $ζ_{\frak{b, d}}(s)$ in the regions where it can be extended. As an application, we answer some problems posed by Chow and Slattery on partitions into distinct terms of certain integer sequences.