sequence
6966 papers tagged with this keyword
A random approach to the multibonacci sequence
This paper presents a random approach to the multibonacci sequence. We generalise the model introduced by Benjamin, Levin, Mahlburg, and Quinn, which is based on a random tiling method using dominoes and squares that leads to the Fibonacci sequence, and which was extended to the tribonacci case in a previous work by the authors. Our approach employs tiling with linear $k$-ominoes, $k=1,\ldots,s$, combined with specific colouring, to generate a weighted multibonacci sequence. For a natural random variable~$X$ defined by this model, we establish the distribution of $X$ in terms of multibonacci numbers and compute $\mathbb{E}[X] = 2^{s+1}-3$.
Monotonicity of the rank functions for concave compositions
A (strongly) concave composition of an integer $n$ is a sequence of positive integers that is (strictly) decreasing to a point and then (strictly) increasing thereafter, such that the sum of the entries equals $n$. The value at the low point is called the center part. The difference between the number of entries before and after the low point of the sequence is referred to as the rank of the (strongly) concave composition. The rank functions $V_d(m,n)$ and $V(m,n)$ are defined as the number of concave compositions and strongly concave compositions, respectively, of $n$ with rank $m$. By constructing the difference systems that characterize the rank generating functions, we establish monotonicity properties for the rank functions of both strongly concave compositions and concave compositions for all positive integers $n$. Moreover, we also study the monotonicity properties for the rank functions of (strongly) concave compositions with fixed center parts.
On a hypergraph Turán problem of Balogh-Bohman-Bollobás-Zhao
Let $S$ and $T$ be disjoint sets with $|S|=i$ and $|T|=r-1$ for $2\le i\le r-1$, and let $B_i^{(r)}$ be the $r$-graph on $S\cup T$ whose edges are the $r$-subsets containing $S$ or $T$. We study the deficit $q_{r,i}:=1-π(B_i^{(r)})$ in its Turán density. Balogh, Bohman, Bollobás, and Zhao previously obtained bounds for these deficits with logarithmic gaps near both ends of the sequence $B_i^{(r)}$, namely, when $i=O(1)$ or $i=r-O(1)$. We close these gaps by showing that, as $r\to\infty$, for every fixed integer $a\ge1$, $q_{r,a+1}=Θ_a(r^{-a})$, and for every fixed integer $b\ge2$, $q_{r,r-b}=Θ_b(r^{-b}\log r)$.
On zero-sum polytopes: reciprocity, rigidity, and cyclic sieving
Let $G$ be a finite abelian group of order $n$, and let $\mathsf M(G,m)$ denote the set of zero-sum sequences over $G$ of length $m$. We introduce the zero-sum polytope $\mathcal P_G$, a rational polytope of dimension $n-1$, whose lattice points encode zero-sum sequences: \[
|\mathsf M(G,m)|=|m\mathcal P_G\cap \mathbb Z^n|. \] This naturally realizes the enumeration of zero-sum sequences as a problem in rational Ehrhart theory, which leads to a combinatorial reciprocity theorem identifying the negative evaluations of the corresponding counting quasipolynomial with zero-sum sequences of full support. Our main results establish a face-stratified rigidity for zero-sum polytopes: whenever two such polytopes have equal total lattice point counts at specific dilations, the dimension-wise open-face strata are equinumerous. Moreover, we study the natural $\operatorname{Aut}(G)$-action on $\mathcal P_G$, derive equivariant generating functions and reciprocity formulas, and obtain cyclic sieving phenomena for natural cyclic actions.
Proof of Conjecture 19 of Ballantine, Beck, Merca, and Sagan on Elementary Symmetric Partitions
Ballantine, Beck, Merca, and Sagan conjectured four identities, collectively Conjecture 19, relating the image of the map pre_k on integer partitions to four OEIS sequences. We prove parts (i) and (iii) unconditionally, prove part (iv) unconditionally using the injectivity of pre_2 on partitions of n (Conjecture 1 of the same paper, proved by Li in arXiv:2508.00971), and show that this injectivity is in fact equivalent to part (iv). For part (ii) we prove the partition-theoretic half unconditionally and reduce the remaining content to a 2006 conjecture of Dean Hickerson on the OEIS concerning Huffman coding. We also correct a sign error in the published statement of part (iii): the correct identity is chi(ImP_3(n)) = A213213(n) - 1, not 1 + A213213(n) as stated.
Tight Upper Bounds on Color Reversal by Local Inversions
A bicoloration of a graph $G=(V,E)$ is a map $β:V\to\{-1,1\}$. A local inversion at a vertex $v$ complements the subgraph induced by the neighbors of $v$ and simultaneously reverses the colors of all neighbors of $v$. Sabidussi (Discrete Mathematics, 1987) showed that every bicolored graph on $n$ vertices without isolated vertices admits a color reversal using at most $6n+3$ local inversions, and that any two bicolorings of such a graph can be transformed into each other using at most $9n$ local inversions. Recently, Porte, Sandeep, and Santra (CALDAM 2026) improved these bounds to $4n-3$ and $\lfloor(11n-3)/2\rfloor$, respectively. We prove the tight bound $3n$ by showing that, for every graph on $n$ vertices without isolated vertices, any bicoloring can be transformed into any other bicoloring using at most $3n$ local inversions. We also show that this bound is best possible: for complete graphs and stars on $n$ vertices, at least $3n$ local inversions are required to reverse the colors of all vertices. Moreover, the proof of the upper bound is constructive: given two bicolorings, it produces, in polynomial time, a sequence of at most $3n$ local inversions transforming one into the other.
Fixed-Parameter Tractability of $t$-Uniform Hypergraphicality
We study the $t$-uniform hypergraphicality problem under a compressed representation of the degree sequence. Instead of listing all vertex degrees explicitly, the input consists of pairs $$ (δ_1,n_1),\dots,(δ_k,n_k), $$ meaning that exactly $n_i$ vertices have degree $δ_i$. Thus the parameter $k$ denotes the number of distinct degrees.
Although deciding $t$-hypergraphicality is NP-complete for every fixed $t>2$, we prove that the problem is fixed-parameter tractable parameterized by $(k,t)$. Our result shows that tractability extends substantially beyond previously known bounded-range regimes: even degree sequences with large overall degree spread can be handled efficiently when the number of distinct degrees is bounded.
Our approach decomposes hyperedges according to their types with respect to the degree classes, yielding a bounded-dimension spectrum representation. Using balancing hinge-flips, we show that every feasible spectrum can be transformed into a realization of the prescribed degree sequence. This leads to an integer programming feasibility formulation with $$ \binom{t+k-1}{k-1} $$ variables. Applying Lenstra's theorem yields an FPT algorithm running in time $$ f(k,t)\cdot \mathrm{poly}(L), $$ where $L$ denotes the encoding length of the compressed input.
Stolarsky-Type Inequalities in a Max-Convolution Problem
For $m \in \mathbb{N}$, let $q_m := \frac{\log(2m+1)}{2\log(m+1)}$. The max-convolution inequality \begin{align*}
\sum_{k=0}^{2m}\left(\max_{i+j=k} x_i y_j \right)^{q_m} &\ge \left(\sum_{i=0}^{m} x_i\right)^{q_m} \left(\sum_{j=0}^{m} y_j\right)^{q_m} \end{align*}for arbitrary sequences $x_0 \ge x_1 \ge ... \ge x_m \ge 0, y_0 \ge y_1 \ge ... \ge y_m \ge 0$ implies an affirmative answer to a question of Bourgain, Dilworth, Ford, Konyagin, and Kutzarova \cite{BDFKK} on the sizes of sumsets in product sets. This inequality was proven for $m = 2$ by Becker, Ivanisvili, Krachun, and Madrid \cite{BIKM} by reducing the general case to the geometric block case via a max-tie analysis. We prove the geometric block case $x = (1, t, ..., t^{r}, 0, ..., 0)$ and $y = (1, t, ..., t^s, 0, ..., 0)$, $t \in [0, 1]$, for all $m \in \mathbb{N}$ via a comparison of Stolarsky means. Some perturbations are also verified. Finally, we prove the above inequality when one sequence has only two non-zero terms.
Polynomial reduction for $q$-holonomic sequences
This paper provides a (Laurent) polynomial reduction to $q$-holonomic sequences $F_k(q)$. We first characterize Laurent polynomials $\tilde{p}(x)$ such that the product $\tilde{p}(q^k)F_k(q)$ is summable. Then the reduction framework is given to decompose any given Laurent polynomial into a summable part and a remainder with lower degree. Finally, we introduce a power-partible reduction for $q$-holonomic sequences of which the recurrence relation satisfies a certain symmetry condition. The advantage is that it can not only simultaneously eliminate the highest-degree and lowest-degree terms of a Laurent polynomial satisfying a symmetry condition, but also guarantee the symmetry of the remainder. As applications, we apply the reduction to $q$-central-Delannoy numbers to derive new $q$-identities and $q$-congruences.
A Comparison of cluster algebra structures arising from $i$-boxes and Demazure weaves
We compare two cluster algebras related to a positive element $\mathtt{b}$ in the braid group of finite $ADE$ type. One is the localized bosonic extension ${\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})$ equipped with an initial seed arising from an admissible chain $\mathfrak{C}$ of $i$-boxes, which is deeply connected to monoidal categorification. The other is the coordinate ring $\mathbb{C}[X({\underlineΔ} {\boldsymbol{i}})]$ of the braid variety $X({\underlineΔ} {\boldsymbol{i}})$ equipped with an initial seed arising from a Demazure weave $\mathfrak{W}$, where ${\boldsymbol{i}}$ and ${\underlineΔ}$ are expression sequences of $\mathtt{b}$ and the half twist $Δ$, respectively. We explicitly construct a Demazure weave $\mathfrak{W}_{\underlineΔ}(\mathfrak{C})$ for each admissible chain $\mathfrak{C}$ associated with ${\boldsymbol{i}}$, and prove that there exists an algebra isomorphism $\varphi_{\boldsymbol{i}}\colon {\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})\to\mathfrak{C}[X({\underlineΔ} {\boldsymbol{i}})]$ which is compatible with the two seeds arising from $\mathfrak{C}$ and $\mathfrak{W}_{\underlineΔ}(\mathfrak{C})$. Moreover, the isomorphism $\varphi_{\boldsymbol{i}}$ sends the PBW vectors ${\overline{\mathsf{p}}}_{\boldsymbol{i},k} \in {\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})$ to the coordinates $z_k \in \mathfrak{C}[X({\underlineΔ} {\boldsymbol{i}})]$ indexed by the letters of ${\boldsymbol{i}}$. As applications, we investigate a connection between Demazure weaves and signed words via the $i$-boxes and interpret the isomorphism $\varphi_{\boldsymbol{i}}$ from the viewpoint of monoidal categorification using Hernandez--Leclerc categories.
Stacking and Clearing in Directed Graph Pebbling
Suppose that pebbles are distributed on the vertices of a directed graph D. A directed pebbling step u -> v along an arc u -> v removes two pebbles from u and places one pebble on v. We study the stacking number stack(D), the least integer t >= 2 such that every configuration with t pebbles can be transformed by a finite sequence of pebbling steps into a configuration with all pebbles on a single vertex, and the clearing number clear(D), defined analogously by requiring a final configuration with one pebble.
Our main result is the formula stack(C_n) = n(2^{n-1}-1)+1 for the directed n-cycle C_n, for n >= 2. We also prove that, for finite simple digraphs with at least two vertices, stack(D) is defined precisely for strongly connected digraphs, and clear(D) is defined precisely for strongly connected digraphs whose directed cycle lengths have greatest common divisor 1.
Combinatorial and analytic aspects of independence polynomials of zero divisor graphs
The independence polynomial of a graph encapsulates all independent sets of differing sizes, a task classified as NP-hard in theoretical computer science. This article examines the independence polynomial of zero divisor graphs in commutative rings. We demonstrate that the independent sets, represented as a sequence of coefficients of the independence polynomial, exhibit unimodality and log-concavity. Therefore, for the independence polynomial of some zero divisor graphs, the unimodal conjecture is true. Additionally, the characteristics of the zeros of the independence polynomial are delineated, along with their corresponding annular regions on the plane.
A problem of Andrews and Dhar on partitions
This paper is motivated by a broad question about AI-assisted mathematics: can an AI system help discover and certify an explicit bijection between two infinite sequences of complicated combinatorial sets already known to be equinumerous? The challenge is to find a reversible structure explaining that equality uniformly across the sequence. We give an affirmative test case in the setting of a partition problem. Andrews and Dhar introduced two partition families $\mathcal{C}_3(n)$ and $\mathcal{D}_3(n)$, and for "nonexceptional'' $n$, they asked for a bijective proof of their equality
\[
|\mathcal{C}_3(n)|=\frac{|\mathcal{D}_3(n)|}{3}.
\] We prove a residue-class equidistribution theorehm for $\mathcal{D}_3(n)$ that identifies a "canonical third'' subset $\mathcal{D}_3^{(0)}(n)\subseteq \mathcal{D}_3(n)$. Answering their question, we construct a bijection \[
ι_n:\mathcal{C}_3(n)\longrightarrow \mathcal{D}_3^{(0)}(n) \] as a highly structured composition of four maps. AxiomProver autonomously produced and Lean-verified the equidistribution theorem. The bijection was found through human--AxiomProver collaboration, and the theorem was autoformalized and verified by the system.
Reflective Numeration Systems I: a Global Standpoint
We present a framework to generalize the standard b-ary Gray code to get the k-bonacci ones obtained in [5] as well as many others by using theoretical tools that allow to make calculations on lists. We introduce the notion of Z-Gray product, from which we deduce sequences of lists of finite words avoiding a predefinite list Z of factors and which satisfy a power-associativity property as well a generalizations of the classical flipping digit property.
Finite palette endpoints and degree-square Turán problems
We study finite extremal problems for palettes, which arise from the palette framework for the uniform Turán densities of $3$-uniform hypergraphs. Recent work has developed reductions from palette colorability questions to extremal problems for digraphs. In this paper we prove an exact degree-square refinement of these reductions for a natural family of left and right tournament palettes.
For a tournament $T$, let $P_T^L$ and $P_T^R$ denote the left and right palettes generated by $T$. We prove that if $T$ is self-converse and has at least two vertices, then for every $m\ge 1$ the maximum number of admissible triples in an $m$-color palette avoiding both $P_T^L$ and $P_T^R$ is \[ \operatorname{ex}_2^+(m,T) = \max\left\{ \sum_{v\in V(D)} d_D^+(v)^2: |V(D)|=m,\; D\text{ is }T\text{-free} \right\}. \] The proof attaches two auxiliary digraphs to each palette and converts the palette optimization into a degree-square Turán problem.
We also prove a general majorization principle for convex out-degree moments in $F$-free digraphs. Whenever an ordinary Turán extremal construction has extremal initial segments, the same construction maximizes every nondecreasing convex function of the out-degree sequence. Applying this to the Brown--Harary and Zhou--Li extremal digraphs for directed cycles gives exact formulas for all convex out-degree moments in $\overrightarrow{C}_{\ell}$-free digraphs. In particular, $\operatorname{ex}_2^+(m,\overrightarrow{C}_{3}) =\frac{m(m^2-1)}{3}.$ Consequently, for $m$ color the sharp density avoiding the two cyclic-triangle palettes is $\frac13-\frac1{3m^2}.$ Combining this exact finite endpoint with the palette classification theorem, we obtain finite $3$-graphs $H_m$ satisfying \[ \frac13-\frac1{3m^2} \le π_{\mathrm u}(H_m) \le \frac13. \] Thus the densities of these finite hypergraphs converge to $\frac13$.
AHA! RSK
We give a spectral realization of the Robinson-Schensted-Knuth (RSK) correspondence in terms of the representation theory of the symmetric group $S_n$ and the degenerate affine Hecke algebra (AHA) $H_n$. We view RSK, which builds a pair of standard Young tableaux from a permutation, as a special case of rectification, also known as Jeu de Taquin, which turns skew tableaux into straight ones. In this framing, the initial permutation corresponds to a skew tableau of staircase shape. To interpret this in terms of representation theory, take permutations to label weight vectors in a generic $H_n$-module $V(a_1, \ldots , a_n)$, which is isomorphic to $\mathbb{C}[S_n]$ as an $S_n$-module. Writing permutations as staircases amounts to placing these weight vectors inside the regular representation of a larger symmetric group containing $S_n$; more geometrically, we push $S_n$ to the right toward infinity so its Jucys-Murphy (JM) elements have enough room to represent the external translations of $H_n$. Then, rectification corresponds to squeezing out this extra room from the left, leaving only $S_n$ and its regular JM elements as the limit of the external translations. By expressing slides via sequences of exchanges of consecutive values inside the tableau, we can model rectification by an operator acting on the regular representation. This lets us explicitly write down the change of basis between $H_n$-weight vectors and $S_n$-weight vectors, where the latter are eigenvectors of the JM elements in $S_n$ acting both on the left and on the right, and hence labeled by pairs of standard tableaux. The resulting correspondence between the labels of the weight vectors is exactly RSK.
Moments of partition statistics, Bell polynomials and Eisenstein-type series
We develop a systematic method to express generating functions for moments of combinatorial statistics in terms of partition traces. We employ an algebraic approach based on the complete Bell polynomials and their inversion formula, alongside an analytic approach via Faà di Bruno's formula. Our approach can be applied to a wide class of combinatorial statistics, such as the largest part of an integer partition, the partition crank and rank, and the unimodal sequence rank.
An Improved Lower Bound for the de Bruijn--Erdős Consecutive Gap Problem
Let $(x_n)_{n\geq 1}$ be a sequence of distinct points on the unit circle. After the first $n$ points are inserted, the circle is divided into $n$ intervals. For a fixed integer $r\geq 1$, let $M_n^{(r)}$ and $m_n^{(r)}$ denote respectively the largest and smallest total lengths of $r$ consecutive intervals. A theorem of de Bruijn and Erdős gives \[
\limsup_{n\to\infty}\frac{M_n^{(r)}}{m_n^{(r)}}\geq 1+\frac1r . \] The case $r=1$ is sharp and gives the classical factor $2$. The cases $r\geq 2$ remain much less understood. We prove the improved lower bound \[
\limsup_{n\to\infty}\frac{M_n^{(r)}}{m_n^{(r)}}
\geq
1+\frac{r}{r^2-1}
\qquad (r\geq 2). \] In particular, for two consecutive intervals the lower bound becomes $5/3$, improving the de Bruijn--Erdős bound $3/2$.
On certain combinatorial expressions of TASEP transition probabilities
We study combinatorial structures arising from finite-time transition probabilities of the Totally Asymmetric Simple Exclusion Process with open boundary conditions. While much of the existing combinatorial theory regarding the TASEP concerns the steady-state distribution, we focus instead on the transient dynamics. We first show that the enumeration of transition sequences between two configurations of the open TASEP is equivalent to the enumeration of standard Young tableaux of a family of non-classical shapes which have been of recent interest in the combinatorial literature. This extends to the open-boundary setting the correspondence between the TASEP with periodic boundaries and cylindric tableaux.
We then introduce a family of tableau-like objects associated with Young diagrams in which repetitions of cells are allowed, subject to the partial order induced by the diagram. For each diagram, we collect the numbers of these objects into an exponential generating function. We prove that the entries of the homogeneous open TASEP transition matrix can be expressed as signed sums of such generating functions over suitable families of diagrams. This gives a combinatorial and order-theoretic interpretation of finite-time transition probabilities for the open TASEP, analogous to the combinatorial mappings known for steady-state probabilities.
Subsequence Sums in Permutations
A sequence of positive integers $(a_1,a_2,\ldots,a_k)$ is called $\ell$-additive if $a_1+a_2+\cdots+a_k=\ell a_1$ or $\ell a_k$. In this paper, we prove that for all $k\geq3$, if $n$ is sufficiently large, then every permutation of $\{1,2,\ldots,n\}$ has a 2-additive subsequence of length $k$. We also provide polynomial bounds for the smallest $n$ such that every permutation of $\{1,2,\ldots,n\}$ has a 2-additive subsequence of length $k$. When only monotone subsequences are considered, we show that $18$ is the smallest $n$ such that every permutation of $\{1,2,\ldots,n\}$ has a monotone 2-additive subsequence of length three. Strong bounds are obtained for the minimum number of $\ell$-additive subsequences of any length, as well as monotone $2$-additive subsequences of length three. Using techniques in arithmetic Ramsey theory, we also show similar results for products and inverse sums.