sequence
6845 papers tagged with this keyword
Special restricted partition functions for the stable sheaf cohomology on flag varieties
Let $\mathbf a:=(a_1,\ldots,a_r)$ be a sequence of positive integers, $d\geq 2$ and $j\geq 1$, some integers. We study the functions $p_{\mathbf a,d}(n):=$ the number of integer solutions $(x_1,\dots,x_r)$ of $\sum_{i=1}^r a_ix_i=n$, with $x_i\geq 0$ and $x_i \equiv 0,1(\bmod\;d)$, for all $1\leq i\leq r$, and $p_{\mathbf a,d}(n;j):=$ the number of $(x_1,\ldots,x_r)$ as above which satisfy also the condition $\sum_{i=1}^r \left(x_i-(d-2)\left\lfloor \frac{x_i}{d} \right\rfloor\right) =j$.
We give formulas for $p_{\mathbf a,d}(n)$ and its polynomial part $P_{\mathbf a,d}(n)$, and also for $p_{\mathbf a,d}(n;j)$. As an application, we compute the dimensions of the stable cohomology groups for certain line bundles associated to flag varieties, defined over an algebraically closed field of positive characteristic.
Asymptotic structure. V. The coarse Menger conjecture in bounded path-width
Menger's theorem tells us that if $S,T$ are sets of vertices in a graph $G$, then (for $k\ge0$) either there are $k+1$ vertex-disjoint paths between $S$ and $T$, or there is a set of $k$ vertices separating $S$ and $T$. But what if we want the paths to be far apart, say at distance at least $c$? One might hope that we can find either $k+1$ paths pairwise far apart, or $k$ sets of bounded radius that separate $S$ and $T$, where the bound on the radius is some $\ell$ that depends only on $k,c$ (the ``coarse Menger conjecture''). We showed in an earlier paper that this is false for all $k\ge 2$ and $c\ge3$. To do so we gave a sequence of finite graphs, counterexamples for larger and larger values of $\ell$ with $k=2$, $c=3$. Our counterexamples contained subdivisions of uniform binary trees with arbitrarily large depth as subgraphs.
Here we show that for any binary tree $T$, the coarse Menger conjecture is true for all graphs that contain no subdivision of $T$ as a subgraph, that is, it is true for graphs with bounded path-width (and, further, for graphs with bounded coarse path-width). This is perhaps surprising, since it is false for bounded tree-width.
Oriented matroids and type $\mathbb{A}$ cluster categories
For any cluster-tilting object $\mathsf{T}$ in the cluster category $\mathscr{C}_{n}$ of type $\mathbb{A}_{n}$, we construct a rank-four oriented matroid $\mathcal{M}_{\mathsf{T}}$ such that stackable triangulations of $\mathcal{M}_{\mathsf{T}}$ are in bijection with equivalence classes of maximal green sequences with initial cluster $\mathsf{T}$. This generalises the result that equivalence classes of maximal green sequences of linearly oriented $\mathbb{A}_{n}$ are in bijection with triangulations of a three-dimensional cyclic polytope. The definition of the oriented matroid $\mathcal{M}_{\mathsf{T}}$ arises from the extriangulated structure on $\mathscr{C}_{n}$ which makes $\mathsf{T}$ projective.
On the recognition problem for limits of entropy functions
We prove that there is no algorithm to decide whether a given integer vector is in the closure of the entropic cone $\overline{Γ_{n}^{*}}$. Equivalently, there is no decision procedure to determine whether a given integer-valued function $h:\mathcal{P}(\{1,\ldots,n\})\rightarrow\mathbb{Z}_{\ge 0}$ is a pointwise limit of joint entropy functions. In other words, given such an $h$, it is undecidable whether for all $\varepsilon > 0$ there exists a finite probability space $(Ω,P)$ with random variables $X_{1},\ldots,X_{n}$ such that their joint entropy $H$ satisfies $\max_{I\subseteq\{1,\ldots,n\}}\left|H\left(X_{I}\right)-h\left(I\right)\right|<\varepsilon$. This settles the last open case in a sequence of related undecidability results proved by L. Kühne and the author, with applications in algorithmic information theory. The main new tool is a Desargues'-type theorem for almost entropic polymatroids.
The slice decomposition of planar hypermaps
The slice decomposition is a bijective method for enumerating planar maps (graphs embedded in the sphere) with control over face degrees. In this paper, we extend the slice decomposition to the richer setting of hypermaps, naturally interpreted as properly face-bicolored maps, where the degrees of faces of each color can be controlled separately. This setting is closely related with the two-matrix model and the Ising model on random maps, which have been intensively studied in theoretical physics, leading to several enumerative formulas for hypermaps that were still awaiting bijective proofs.
Generally speaking, the slice decomposition consists in cutting along geodesics. A key feature of hypermaps is that the geodesics along which we cut are directed, following the canonical orientation of edges imposed by the coloring. This orientation requires us to introduce an adapted notion of slices, which admit a recursive decomposition that we describe.
Using these slices as fundamental building blocks, we obtain new bijective decompositions of several families of hypermaps: disks (pointed or not) with a monochromatic boundary, cylinders with monochromatic boundaries (starting with trumpets or cornets having one geodesic boundary), and disks with a "Dobrushin" boundary condition. In each case, the decomposition ultimately expresses these objects as sequences of slices whose increments correspond to downward-skip free (Lukasiewicz-type) walks subject to natural constraints.
Our approach yields bijective proofs of several explicit expressions for hypermap generating functions. In particular, we provide a combinatorial explanation of the algebraicity and of the existence of rational parametrizations for these generating functions when face degrees are bounded.
The limit of repetition thresholds of rich sequences
The repetition threshold of a class of sequences is the smallest number $r$ such that a sequence from the class contains no repetition with exponent $> r$. We focus on the class $\mathcal{C}_d$ of $d$-ary sequences rich in palindromes. In 2020, Currie, Mol, and Rampersad determined the repetition threshold for $\mathcal{C}_2$. In 2024, Currie, Mol and Peltomäki found the repetition threshold for $\mathcal{C}_3$ and conjectured that the repetition threshold for $\mathcal{C}_d$ tends to 2 with $d$ growing to infinity. Here we verify their conjecture.
Frequencies of letters in infinite $k$-balanced sequences
Frequency of letters in a symbolic sequence ${\bf u}$ over a finite alphabet is one of the basic characteristics of ${\bf u}$. The notion of $k$-balancedness captures the property that the number of any letter occurring in two arbitrary factors of ${\bf u}$ of equal length differs at most by $k$. For a fixed integer $k$ and alphabet size $d\in \mathbb N$, we discuss possible frequencies of letters in $k$-balanced $d$-ary sequences. For the size $d$ of the alphabet, we introduce the notion of balancedness threshold $BT(d)$ and give an upper bound on it, where $BT(d)$ is the minimum $k$ such that there exists a $k$-balanced sequence over a $d$-letter alphabet for all possible letter frequencies.
Golden Ratio Growth and Phase Transitions in Chromatic Counts of Circular Chord Graphs
We study generalized circular chord graphs $\mathcal C^{(k)}_n$, formed from a cycle $C_n$ by adding fixed-offset chords of length $k$ and, for even $n$, diameters. Using transfer matrix methods, we derive exact formulas for 3-colorings when $k=3$: for odd $n$, we obtain \[ P(\mathcal{C}_n^{(3)},3) = L_n + 2\cos\left(\frac{2πn}{3}\right) + 2s_n + 2 \] where $L_n$ is the Lucas sequence and $(s_n)$ satisfies $s_{n+3} = -s_{n+2} - s_n$, yielding golden-ratio asymptotic growth $\varphi^n + O(ρ^n)$ along odd indices. For even $n$, we construct a paired-window transfer matrix that exactly enumerates $P(\mathcal{C}_{2m}^{(3)},3)$ while capturing diameter constraints. The chromatic counts exhibit pronounced modular patterns across residue classes without universal vanishing rules (see OEIS A383733). We provide efficient algorithms for exact enumeration and demonstrate applications to cyclic scheduling problems where these results serve as feasibility engines for airline gate assignment, wireless sensor networks, and multiprocessor task coordination.
Linear Recurrences from Counting Schreier-Type Multisets
A nonempty set $F$ is Schreier if $\min F\ge |F|$. Bird observed that counting Schreier sets in a certain way produces the Fibonacci sequence. Since then, various connections between variants of Schreier sets and well-known sequences have been discovered. Building on these works, we prove a linear recurrence for the sequence that counts multisets $F$ with $\min F\ge p|F|$. In particular, if we let $$\mathcal{A}^{(s)}_{p, n}\ :=\ \{F\subset \{\underbrace{1, \ldots, 1}_{s}, \ldots, \underbrace{n-1, \ldots, n-1}_{s}, n\}\,:\,n\in F\mbox{ and }\min F\ge p|F|\},$$ then $$|\mathcal{A}^{(s)}_{p, n}| = \sum_{i=0}^s|\mathcal{A}^{(s)}_{p, n-1-ip}|.$$ If we color $s$ copies of the same integer by different colors from $1$ to $s$, i.e., $\mathcal{B}^{(s)}_{p, n}:= $ $$\{F\subset \{1_{1}, \ldots, 1_{s}, \ldots, (n-1)_1, \ldots, (n-1)_{s}, n\}\,:\,n\in F\mbox{ and }\min F\ge p|F|\},$$ then $$|\mathcal{B}^{(s)}_{p, n}| = \sum_{i=0}^s \binom{s}{i}| \mathcal{B}^{(s)}_{p, n-1-ip}|.$$ Lastly, we count Schreier sets that do not admit multiples of a given integer $u\ge 2$ and witness linear recurrences whose coefficients are drawn from the $u$th row of the Pascal triangle and have alternating signs, except possibly the last one.
Regular Structures in Kronecker Permutations
Kronecker sequences $(k α\mod 1)_{k=1}^{\infty}$ for some irrational $α> 0$ have played an important role in many areas of mathematics. It is possible to associate to each finite segment $(k α\mod 1)_{k=1}^{n}$ a permutation $π\in S_n$ associated with the canonical lifting to two dimensions. We show that these permutations induced by Kronecker sequences based on irrational $α$ are extremely regular for specific choices of $n$ and $α$. In particular, all quadratic irrationals have an infinite number of choices of $n$ that lead to permutations where no cycle has length more than 4.
Colored base-3 partitions, sequences of polynomials, and perfect numbers
Motivated by the observation that the counting function of a certain base-3 colored partition contains the even perfect numbers as a subsequence, we begin by defining a sequence of polynomials in four variables and discuss their properties and combinatorial interpretations. We then concentrate on certain subsequences that are related to the Chebyshev polynomials of both kinds. Finally, we consider several sequences of single-variable polynomials that have meaningful combinatorial interpretations as well as interesting zero distributions.
The ratio monotonicity of Eulerian-type polynomials
This paper is motivated by determining the location of modes of some unimodal Eulerian-type polynomials. The notion of ratio monotonicity was introduced by Chen-Xia when they investigated the $q$-derangement numbers. Let $(f_n(x))_{n\geqslant 0}$ be a sequence of real polynomials satisfying the Eulerian-type recurrence relation $$f_{n+1}(x)=(anx+bx+c)f_n(x)+ax(1-x)\frac{\mathrm{d}}{\mathrm{d}x}f_n(x),~f_0(x)=1,$$ where $a,b$ and $c$ are nonnegative integers. Assume that $deg f_n(x)=n$. Setting $g_n(x)=x^nf_n\left(\frac{1}{x}\right)$, we have $$g_{n+1}(x)=(anx+b+cx)g_n(x)+ax(1-x)\frac{\mathrm{d}}{\mathrm{d}x}g_n(x),$$ We find that if $a+c\geqslant b\geqslant c>0$, then $f_n(x)$ is bi-gamma-positive and $g_n(x)$ is ratio monotone. As applications, we discover the ratio monotonicity of several Eulerian-type polynomials, including the $(exc,cyc)$ $q$-Eulerian polynomials, the $1/k$-Eulerian polynomials, a kind of generalized Eulerian polynomials studied by Carlitz-Scoville, the $(des_B,neg)$ $q$-Eulerian polynomials over the hyperoctahedral group and the $r$-colored Eulerian polynomials. In particular, let $A_n(x,q)$ be the $(exc,cyc)$ $q$-Eulerian polynomials, we find that the polynomials $x^{n-1}A_n(1/x,q)$ are ratio monotone when $0<q\leqslant 1$, while $A_n(x,q)$ are ratio monotone when $1\leqslant q\leqslant 2$.
On circular external difference families
A $(v,m,\ell,1)$-Circular External Difference Family (CEDF) is an $m$-sequence $(A_1, \ldots, A_m)$ of $\ell$-subsets of an additive group $G$ of order $v$ such that $G\setminus\{0\}$ equals the multiset of all differences $a-a'$, with $(a,a')\in A_i\times A_{i+1 \pmod{m}}$ for some $i$. CEDFs are a variation of External Difference Families, and have been recently introduced as a tool to construct non-malleable threshold schemes.
The existence of a $(v,m,\ell,1)$-CEDF over the cyclic group is known only when the number of parts $m$ is even, while there cannot exist a cyclic CEDF for $m$ and $\ell$ both odd.
In this work, we study the existence of cyclic CEDFs when $m$ is odd and $\ell$ is even: we construct cyclic $(v,m,\ell,1)$-CEDFs for any odd $m>1$ when $\ell=2$, and for any even $\ell \ge 2$ when $m=3$.
Sequence Characterization of Multiple Almost-Riordan Arrays and Their Compressions
This is the second paper of the paper series on multiple Riordan arrays. In this paper, based on the study of multiple Riordan arrays and the multiple Riordan group, we define multiple almost-Riordan arrays and find that the set of all multiple almost-Riordan arrays forms a group, called the multiple almost-Riordan group. We also obtain the sequence characteristics of multiple almost-Riordan arrays and give the production matrices for multiple almost-Riordan arrays. We define the compression of multiple almost-Riordan arrays and provide their sequence characterization.
A Study of Fibonacci Cordial Labeling in Structured Graph Families
A \emph{Fibonacci cordial labeling} of a graph \( G \) is an injective function \( f: V(G) \rightarrow \{F_0, F_1, \dots, F_n\} \), where \( F_i \) denotes the \( i^{\text{th}} \) Fibonacci number, such that the induced edge labeling \( f^*: E(G) \rightarrow \{0,1\} \), given by \( f^*(uv) = (f(u) + f(v)) \) $(\bmod\ 2)$, satisfies the balance condition \( |e_f(0) - e_f(1)| \le 1 \). Here, \( e_f(0) \) and \( e_f(1) \) represent the number of edges labeled 0 and 1, respectively. A graph that admits such a labeling is termed a \emph{Fibonacci cordial graph}. In this paper, we investigate the existence and construction of Fibonacci cordial labelings for several families of graphs, including \emph{Generalized Petersen graphs}, \emph{open and closed helm graphs}, \emph{joint sum graphs}, and \emph{circulant graphs of small order}. New results and examples are presented, contributing to the growing body of knowledge on graph labelings inspired by numerical sequences.
On Alon-Tarsi orientations of sparse graphs
Assume $G$ is a graph, $(v_1,\ldots,v_k)$ is a sequence of distinct vertices of $G$, and $(a_1,\ldots,a_k)$ is an integer sequence with $a_i \in \{1,2\}$. We say $G$ is \emph{$(a_1,\ldots,a_k)$-list extendable} (respectively, \emph{$(a_1,\ldots,a_k)$-AT extendable}) with respect to $(v_1,\ldots,v_k)$ if $G$ is $f$-choosable (respectively, $f$-AT), where $f(v_i)=a_i $ for $i \in \{1,\ldots, k\}$, and $f(v)=3$ for $v \in V(G) \setminus \{v_1,\ldots, v_k\}$. Hutchinson proved that if $G$ is an outerplanar graph, then $G$ is $(2,2)$-list extendable with respect to $(x,y)$ for any vertices $x,y$. We strengthen this result and prove that if $G$ is a $K_4$-minor-free graph, then $G$ is $(2,2)$-AT extendable with respect to $(x,y)$ for any vertices $x,y$. Then we characterize all triples $(x,y,z)$ of a $K_4$-minor-free graph $G$ for which $G$ is $(2,2,2)$-AT extendable (as well as $(2,2,2)$-list extendable) with respect to $(x,y,z)$. We also characterize the pairs $(x,y)$ of a $K_4$-minor-free graph $G$ for which $G$ is $(2,1)$-AT extendable (as well as $(2,1)$-list extendable) with respect to $(x,y)$. Moreover, we characterize all triples $(x,y,z)$ of a 3-colorable graph $G$ with its maximum average degree less than $\frac{14}{5}$ for which $G$ is $(2,2,2)$-AT extendable with respect to $(x,y,z)$.
Improved Bounds on Diffsequences with Gaps in Powers of 2
Let $D$ be a set of positive integers. A $D$-diffsequence of length $k$ is a sequence of positive integers $a_1 < \cdots < a_k$ such that $a_{i+1}-a_i\in D$ for $i=1,\ldots,k-1$. For $D=\{2^i\mid i\in \mathbb{Z}_{\ge 0}\}$, it is known that there exists a minimum integer $n$, denoted by $Δ(D,k)$, such that every $2$-coloring of $\{1,\ldots n \}$ admits a monochromatic $D$-diffsequence of length $k$. In this work, we prove a new lower bound for $Δ(D,k)$ to $Δ(D,k)\ge \left(\sqrt{\frac{8k-5}{12}}-\frac12\right)2^{\left(\sqrt{\frac{8k-5}{3}}-3\right)}$, asymptotically improving the exponential constant in the bound proved by Clifton.
Signed counting of partition matrices
We prove that the signed counting (with respect to the parity of the ``$\operatorname{inv}$'' statistic) of partition matrices equals the cardinality of a subclass of inversion sequences. In the course of establishing this result, we introduce an interesting class of partition matrices called improper partition matrices. We further show that a subset of improper partition matrices is equinumerous with the set of Motzkin paths. Such an equidistribution is established both analytically and bijectively.
Three Generalizations of Erdős Szekeres: $k$-Modal Subsequences
Erdős and Szekeres showed that given a permutation $p$ of $[n]$, and the sequence defined by \newline $(p(1), p(2), \ldots, p(n))$, there exists either a decreasing or increasing subsequence, not necessarily contiguous, of length at least $\sqrt{n}$. Fan Chung considered subsequences that can have at most one change of direction, i.e. an increasing and then decreasing subsequence, or a decreasing and then increasing subsequence. She called these unimodal subsequences, and showed there exists a unimodal subsequence of length at least $\sqrt{3n}$, up to some constants \cite{chung}. She conjectured that a permutation of $n$ contains a $k$-modal (at most $k$ changes in direction) subsequence of length at least $\sqrt{(2k+1)n}$ up to some constants. Zijian Xu proved this conjecture in 2024 \cite{xu}, and we will provide another substantially different proof using "sophisticated labeling arguments" instead of "underlying poset structures behind k-modal subsequences." We also show that there exists an increasing first $k$-modal subsequence of length at least $\sqrt{2kn}$.
Hyperbinary partitions and q-deformed rationals
A hyperbinary partition of the nonnegative integer n is a partition where every part is a power of 2 and every part appears at most twice. We give three applications of the length generating function for such partitions, denoted by h_q(n). Morier-Genoud and Ovsienko defined the q-analogue of a rational number [r/s]_q in various ways, most of which depend directly or indirectly on the continued fraction expansion of r/s. As our first application we show that [r/s]_q = q h_q(n-1)/h_q(n) where r/s occurs as the nth entry in the Calkin-Wilf enumeration of the non-negative rationals. Next we consider fence posets which are those which can be obtained from a sequence of chains by alternately pasting together maxima and minima. For every n we show there is a fence poset F(n) whose lattice of order ideals is isomorphic to the poset of hyperbinary partitions of n ordered by refinement. For our last application, Morier-Genoud and Ovsienko also showed that [r/s]_q can be computed by taking products of certain matrices which are q-analogues of the standard generators for the special linear group SL(2,R). We express the entries of these products in terms of the polynomials h_q(n).