sequence
6845 papers tagged with this keyword
Kac--Moody Fibonacci sequences
We summarize known results on how to generate an infinite family of integer sequences from the root lattices of rank 2 Kac--Moody algebras. We compute and tabulate the first twenty entries of a number of these sequences. This provides an overarching framework for a large class of Fibonacci-type integer sequences, evaluations of Chebyshev S and U-polynomials and others.
The local limit of weighted spanning trees on balanced networks
We prove that the local limit of the weighted spanning trees on any simple connected high degree almost regular sequence of electric networks is the Poisson(1) branching process conditioned to survive forever, by generalizing [NP22] and closing a gap in their proof. We also study the local statistics of the WST's on high degree almost balanced sequences, which is interesting even for the uniform spanning trees.
Our motivation comes from studying an interpolation $\{\mathsf{WST}^β(G)\}_{β\in [0, \infty)}$ between UST(G) and MST(G) by WST's on a one-parameter family of random environments. This model has recently been introduced in [MSS24, Kús24], and the phases of several properties have been determined on the complete graphs.
We show a phase transition of $\mathsf{WST}^{β_n}(G_n)$ regarding the local limit and expected edge overlaps for high degree almost balanced graph sequences $G_n$, without any structural assumptions on the graphs; while the expected total length is sensitive to the global structure of the graphs. Our general framework results in a better understanding even in the case of complete graphs, where it narrows the window of the phase transition of [Mak24].
Node-Kayles on Trees
Node-Kayles is a well-known impartial combinatorial game played on graphs, where players alternately select a vertex and remove it along with its neighbors. By the Sprague-Grundy theorem, every position of an impartial game corresponds to a non-negative integer called its Grundy value. In this paper, we investigate the Grundy value sequences of $n$-regular trees as well as graphs formed by joining two $n$-regular trees with a path of length $k$. We derive explicit formulas and recursive relations for the associated Grundy value sequences. Furthermore, we prove that these sequences are eventually periodic and determine both their preperiod lengths and their periods.
Fast algorithm for $S$-packing coloring of Halin graphs
Motivated by frequency assignment problems in wireless broadcast networks, Goddard, Hedetniemi, Hedetniemi, Harris, and Rall introduced the notion of $S$-packing coloring in 2008. Given a non-decreasing sequence $S = (s_1, s_2, \ldots, s_k)$ of positive integers, an $S$-packing coloring of a graph $G$ is a partition of its vertex set into $k$ subsets $\{V_1, V_2, \ldots, V_k\}$ such that for each $1 \leq i \leq k$, the distance between any two distinct vertices $u, v \in V_i$ is at least $s_i + 1$. In this paper, we study the $S$-packing coloring problem for Halin graphs with maximum degree $Δ\leq 5$. Specifically, we present a linear-time algorithm that constructs a $(1,1,2,2,2)$-packing coloring for any Halin graph satisfying $Δ\leq 5$. It is worth noting that there are Halin graphs that are not $(1,2,2,2)$-packing colorable.
Singular Meanders
The problem of enumerating meanders -- pairs of simple plane curves with transverse intersections -- was formulated about forty years ago and is still far from solved. Recently, it was discovered that meanders admit a factorization into prime components. This factorization naturally leads to a broader class of objects, which we call singular meanders, in which tangential intersections between the curves are also allowed. In the present paper we initiate a systematic study of singular meanders: we develop a basic combinatorial framework, point out connections with other combinatorial objects and known integer sequences, and completely enumerate several natural families of singular meanders.
Completing the enumeration of inversion sequences avoiding triples of relations
An inversion sequence of length $n$ is an integer sequence $(a_1, \ldots, a_n)$ such that $0 \le a_i < i$ for all $i$. The study of pattern-avoiding inversion sequences was initiated in 2015 by Mansour and Shattuck and in 2016 by Corteel, Martinez, Savage and Weselcouch. Martinez and Savage later defined a new type of pattern, a triple of binary relations, of which there are currently 14 uncounted avoidance classes. We complete the enumeration for all of these classes using generating tree methods "growing on the left" and "growing on the right". For many of these classes we are able to find algebraic generating functions. We also discuss the asymptotic behaviour of the counting sequences.
Methods for Analyzing RNA Pseudoknots via Chord Diagrams and Intersection Graphs
RNA molecules are known to form complex secondary structures including pseudoknots. A systematic framework for the enumeration, classification and prediction of secondary structures is critical to determine the biological significance of the molecular configurations of RNA. Chord diagrams are mathematical objects widely used to represent RNA secondary structures and to analyze structural motifs, however a mathematically rigorous enumeration of pseudoknots remains a challenge. We introduce a method that incorporates a distance-based metric $τ$ to analyze the intersection graph of a chord diagram associated with a pseudoknotted structure. In particular, our method formally defines a pseudoknot in terms of a weighted vertex cover of a certain intersection graph constructed from a partition of the chord diagram representing the nucleotide sequence of the RNA molecule. In this graph-theoretic context, we introduce a rigorous algorithm that enumerates pseudoknots, classifies secondary structures, and is sensitive to three-dimensional topological features. We implement our methods in MATLAB and test the algorithm on pseudoknotted structures from the bpRNA-1m database. Our findings confirm that genus is a robust quantifier of pseudoknot complexity.
Proof of a conjecture of Baruah and Sarma on sign patterns of certain infinite products
Let \[ \sum_{n=0}^{\infty}A(n)q^{n} := \frac{(q^{2};q^{5})_{\infty}^{5}(q^{3};q^{5})_{\infty}^{5}}{(q;q^{5})_{\infty}^{5}(q^{4};q^{5})_{\infty}^{5}}, \] \[ \sum_{n=0}^{\infty} B(n)q^{n} := \frac{(q;q^{5})_{\infty}^{5} (q^{4};q^{5})_{\infty}^{5}} {(q^{2};q^{5})_{\infty}^{5}(q^{3}; q^{5})_{\infty}^{5}}, \] and \[ \sum_{n=0}^{\infty} D(n)q^{n} := \frac{(q^{5};q^{25})_{\infty}(q^{20}; q^{25})_{\infty}} {(q^{10};q^{25})_{\infty}(q^{15}; q^{25})_{\infty}} \frac{(q^{2}; q^{5})_{\infty}^{5}(q^{3};q^{5})_{\infty}^{5}} {(q;q^{5})_{\infty}^{5} (q^{4};q^{5})_{\infty}^{5}} \] where $(a;q)_{\infty} := \prod_{k=0}^{\infty}(1-aq^{k})$ and $|q|<1.$ These sequences are closely related to the celebrated Rogers-Ramanujan continued fraction.
In this paper, we study the sign behavior o of the coefficients $A(n),B(n)$ and $D(n).$ We prove that for all integers $n\geq0,$ \begin{align*} A(5n)<0\quad(n\neq0),\qquad B(5n) < 0\quad(n\neq0),\qquad D(5n+1)>0. \end{align*} This confirms a recent conjecture of Baruah and Sarma. Our proof is different from the previous method of Baruah and Sarma, and combines asymptotic coefficient analysis with symbolic computation for finite case verification.
Enumeration of multipartite series-reduced trees
We obtain a generating function for the degree sequences and colors of rooted multipartite labeled series-reduced trees. As an application of this result, we determine the number of symbolic ultrametrics (introduced by Böcker and Dress) and increasingly labeled processes. We also find that the number of multipartite labeled series-reduced trees and the colored chain-increasing binary trees are the same. We obtain the number of rooted multipartite unlabeled series-reduced trees. We also find a refinement of the result of Riordan and Shannon.
Nowhere-zero flow reconfiguration
We initiate the study of nowhere-zero flow reconfiguration. The natural question is whether any two nowhere-zero $k$-flows of a given graph $G$ are connected by a sequence of nowhere-zero $k$-flows of $G$, such that any two consecutive flows in the sequence differ only on a cycle of $G$. We conjecture that any two nowhere-zero 5-flows in any 2-edge-connected graph are connected in this way. This can be seen as a reconfiguration variant of Tutte's 5-flow conjecture.
We study this problem in the setting of integer flows and group flows, and show that the structure of groups affects the answer, contrary to the existence of nowhere-zero flows. We also highlight a duality with recoloring in planar graphs and deduce that any two nowhere-zero 7-flows in a planar graph are connected, among other results. Finally we show that for any graph $G$, there is an abelian group $A$ such that all nowhere-zero $A$-flows in $G$ are connected, which is a weak form of our original conjecture. We conclude with several problems and conjectures.
Forbidding just one intersection for short integer sequences
In this paper, we study the famous Erdős--Sós forbidden intersection problem for words over an alphabet of size $m$: what is the maximal size of a subfamily $\mathcal{F}$ of $[m]^n$ that does not contain two vectors $x, y$ coinciding on exactly $t - 1$ coordinates? We answer this question provided $m \ge \operatorname{poly}(t)$ and $n \ge \operatorname{poly}(t)$ for some polynomial function $\operatorname{poly}(\cdot)$ of $t$, greatly extending the recent result of Keevash, Lifshitz, Long and Minzer. Our proof combines some of the recently developed methods in extremal combinatorics, including the spread approximation technique of Kupavskii and Zakharov and the hypercontractivity approach developed in a series of works by Keevash, Keller, Lifshitz, Long, Marcus and Minzer.
Upper Bounds for Sequence Saturation
In this paper, we study the saturation function $\mathrm{Sat}(n,u)$ for sequences. Saturation for sequences was introduced by Anand, Geneson, Kaustav, and Tsai (2021), who proved that $\mathrm{Sat}(n,u)=O(n)$ for two-letter sequences $u$ and conjectured that this bound holds for all sequences. We present an algorithm that constructs a $u$-saturated sequence on $n$ letters and apply it to show $\mathrm{Sat}(n,u)=O(n)$ for several families of sequences $u$, including all repetitions of the form $abcabc\dots$. We further establish $\mathrm{Sat}(n,u)=O(n)$ for a broad class of sequences of the form $aa\dots bb$. In addition, we prove that for most sequences $u$, there exists an infinite $u$-saturated sequence. For three-letter sequences of the form $abc\dots xyz$, where $a,b,c$ are distinct and $xyz$ is a permutation of $abc$, we show -- under certain structural assumptions on $u$ -- that $\mathrm{Sat}(n,u)=O(n)$. Finally, we describe a linear program that computes the exact value of $\mathrm{Sat}(n,u)$ for arbitrary $n$ and $u$.
On the Complexity of Bipartite Degree Realizability
We study the \emph{Bipartite Degree Realization} (BDR) problem: given a graphic degree sequence $D$, decide whether it admits a realization as a bipartite graph. While bipartite realizability for a fixed vertex partition can be decided in polynomial time via the Gale--Ryser theorem, the computational complexity of BDR without a prescribed partition remains unresolved. We address this question through a parameterized analysis.
For constants $0 \le c_1 \le c_2 \le 1$, we define $\mathrm{BDR}_{c_1,c_2}$ as the restriction of BDR to degree sequences of length $n$ whose degrees lie in the interval $[c_1 n, c_2 n]$. Our main result shows that $\mathrm{BDR}_{c_1,c_2}$ is solvable in polynomial time whenever $0 \le c_1 \le c_2 \le \frac{\sqrt{c_1(c_1+4)}-c_1}{2}$, as well as for all $c_1 > \tfrac12$. The proof relies on a reduction to extremal \emph{least balanced degree sequences} and a detailed verification of the critical Gale--Ryser inequalities, combined with a bounded subset-sum formulation.
We further show that, assuming the NP-completeness of unrestricted BDR, the problem $\mathrm{BDR}_{c_1,c_2}$ remains NP-complete for all $0 < c_2 < \frac{1}{2}$ and $c_1 < 1 - c_2 - \sqrt{1-2c_2}$. % This establishes a sharp conditional boundary between tractable and intractable parameter regimes. Our results clarify the algorithmic landscape of bipartite degree realization and contribute to the broader study of potentially bipartite graphic degree sequences.
On exponentially height-penalized random trees
Given $n \in \mathbb{N}$ and $μ\in \mathbb{R}$, a $\textit{$μ$-height-biased tree of size $n$}$ is a random plane tree $\mathbf{\mathbf{T}}_n$ with $n$ vertices with law given by $\mathbb{P}(\mathbf{T}=t) \propto e^{-μh(t)}$, where $t$ ranges over fixed plane trees with $n$ vertices, and $h(t)$ is the height of $t$. Fix a sequence $(μ_n)_{n \ge 1}$ of real numbers, and for $n \ge 1$ let $\mathbf{T}_n$ be a $μ$-height-biased tree of size $n$. Durhuus and Ünel (2023) described the asymptotic behaviour of $h(\mathbf{T}_n)$ when $μ_n \equiv μ\in \mathbb{R}$ is fixed. In this work, we extend their results to arbitrary sequences of positive parameters depending on $n$. Most notably, we show that such a tree behaves like a height-biased Continuum Random Tree (CRT) when $μ_n$ is of order $1/\sqrt{n}$; that its height is asymptotically $(2π^2n/μ_n)^{1/3}$ when $μ_n$ is of larger order than $1/\sqrt{n}$ and of smaller order than $n$; and that its height converges to a fixed constant when $μ_n$ is of order at least $n$, with some random jumps under specific conditions on $μ_n$. We additionally prove various results on second order behaviours, and large deviation principles for the height, for different regimes of $μ_n$. Finally, we describe new statistics of these trees, covering their widths, their root degrees, and the local structure around their roots.
Basis inversion in lambda-recursive families: triangular kernels and polynomial basis changes
We study polynomial families {f_n(x)}_{n>=0} over a commutative ring R encoded by triangular arrays of order m, via expansions of the form f_n(x)=sum_{b=0}^{floor(n/m)} lambda_1(n,b) x^{n-mb}, where lambda_1 is the direct kernel supported on 0<=b<=floor(n/m). Under a simple discrete orthogonality condition, we prove the existence and uniqueness of an inverse kernel lambda_3 (triangular of the same order) giving the inversion formula x^n = sum_{b=0}^{floor(n/m)} lambda_3(n,b) f_{n-mb}(x). This reindexing principle yields explicit change-of-basis relations between two families, including the case of distinct step sizes m_1 and m_2, with connection coefficients obtained from a universal triangular sum once lambda_3 is known. On the algebraic side, lambda_1 defines a lower Hessenberg matrix M_(n,k) (the algebraic expansion matrix) whose determinant governs inversion, providing closed determinantal expressions for lambda_3(n,k). We introduce a class of lambda-recursive sequences of order m, specified by a principal factor (p_n) and auxiliary factors (h_(n,k)), for which det(M_(n,k)) satisfies a recurrence enabling direct computation of inverse-kernel and basis-change coefficients. Classical families (e.g., Chebyshev, Legendre, Hermite, Laguerre, Fibonacci, Lucas) fit naturally into this framework, unifying their connection coefficients via the same triangular-array computations and supporting structured Clenshaw-type schemes and related applications.
New Theoretical Insights and Algorithmic Solutions for Reconstructing Score Sequences from Tournament Score Sets
The score set of a tournament is defined as the set of its distinct out-degrees. In 1978, Reid proposed the conjecture that for any set of nonnegative integers $D$, there exists a tournament $T$ with a degree set $D$. In 1989, Yao presented an arithmetical proof of the conjecture, but a general polynomial-time construction algorithm is not known. This paper proposes a necessary and sufficient condition and a separate necessary condition, based on the existing Landau's theorem for the problem of reconstructing score sequences from score sets of tournament graphs. The necessary condition introduces a structured set that enables the use of group-theoretic techniques, offering not only a framework for solving the reconstruction problem but also a new perspective for approaching similar problems. In particular, the same theoretical approach can be extended to reconstruct valid score sets given constraints on the frequency of distinct scores in tournaments. Based on these conditions, we have developed three algorithms that demonstrate the practical utility of our framework: a polynomial-time algorithm and a scalable algorithm for reconstructing score sequences, and a polynomial-time network-building method that finds all possible score sequences for a given score set. Moreover, the polynomial-time algorithm for reconstructing the score sequence of a tournament for a given score set can be used to verify Reid's conjecture. These algorithms have practical applications in sports analysis, ranking prediction, and machine learning tasks such as learning-to-rank models and data imputation, where the reconstruction of partial rankings or sequences is essential for recommendation systems and anomaly detection.
Counting appearances of integers in sets of arithmetic progressions
The sequence $A067549$ of The On-Line Encyclopedia of Integer Sequences is defined as $(a_k)_{k \geq 1}$ with $a_k$ being the determinant of the $k \times k$ matrix whose diagonal contains the first $k$ prime numbers and all other elements are ones. We relate this sequence to a concrete counting problem. Choose an arbitrary residue class $r_i$ for each prime $p_i$ with $1 \leq i \leq k$ and set $P_k = \prod_{i=1}^k p_i$. We show that $a_k$ is the number of integers in $[1, P_k]$ that are contained in \emph{at most} one of the $k$ chosen residue classes. Interestingly, we show that this sequence is closely related to the better known sequence $A005867$ for which we derive a novel characterisation in terms of determinants and which gives the number of integers in $[1, P_k]$ that are not contained in any of the $k$ residue classes.
Our proof is purely structural and, therefore, it can be generalised to counting appearances of integers in residue classes of arbitrary arithmetic progressions generated by $k$ different primes using the determinant of a matrix of ones having those $k$ primes on its diagonal. The revealed structure also offers a fast way of calculating such determinants.
On the Codebook Design for NOMA Schemes from Bent Functions
Uplink grant-free non-orthogonal multiple access (NOMA) is a promising technology for massive connectivity with low latency and high energy efficiency. In code-domain NOMA schemes, the requirements boil down to the design of codebooks that contain a large number of spreading sequences with low peak-to-average power ratio (PAPR) while maintaining low coherence. When employing binary Golay sequences with guaranteed low PAPR in the design, the fundamental problem is to construct a large set of $n$-variable quadratic bent or near-bent functions in a particular form such that the difference of any two is bent for even $n$ or near-bent for odd $n$ to achieve optimally low coherence. In this work, we propose a theoretical construction of NOMA codebooks by applying a recursive approach to those particular quadratic bent functions in smaller dimensions. The proposed construction yields desired NOMA codebooks that contain $6\cdot N$ Golay sequences of length $N=2^{4m}$ for any positive integer $m$ and have the lowest possible coherence $1/\sqrt{N}$.
A complete dichotomy theorem on the sparse $t$-Uniform Hypergraphicality Problem
We prove a complete dichotomy theorem for the parameterized sparse $t$-uniform hypergraphic degree sequence problem, $\mathrm{sparse}\text{-}t\text{-}\mathrm{uni}\text{-}\mathrm{HDS}_{α',α}$. For any fixed $t \ge 3$, given parameters $0 \le α' \le α< t-1$, the input consists of degree sequences $D$ of length $n$ with degrees between $n^{α'}$ and $6n^α$. We show that the problem is NP-complete whenever $α' \le \frac{t(α- 1) + 1}{t - 1}$, and solvable in linear time when $α' > \frac{t(α- 1) + 1}{t - 1}$. This establishes a sharp boundary between polynomial-time solvable and NP-complete instances, thereby characterizing the computational complexity across all degree exponent regimes. The result extends the earlier NP-completeness of dense hypergraphicality to a unified framework covering both sparse and dense regimes, revealing that even extremely sparse instances (with maximum degree $o(n)$ but $Ω(n^{\frac{t-1}{t}})$) remain NP-complete. On the other hand, the $t$-uniform hypergraphicality solvable in linear time when the maximum degree is $o(n^{\frac{t-1}{t}})$. This dichotomy provides a comprehensive classification of the complexity landscape for hypergraphic degree sequences.
Arithmetic sensitivity of cumulant growth in lacunary sums: transcendental versus algebraic ratio limits
We study the asymptotic behavior of cumulants of lacunary trigonometric sums $S_n(ω) := \sum_{k=1}^n \cos (2 πa_k ω)$, $ω\in[0,1]$, and show that cumulant growth is highly sensitive to the arithmetic structure of the sequence $(a_k)_{k \geq 1}$ of positive integers. In particular, if $\lim_{k \to \infty} a_{k+1}/a_k = η> 1$ for some transcendental number $η$, we prove that for every $m\in \mathbb N$ the $m$-th cumulant of $S_n$ is asymptotically equivalent to the $m$-th cumulant of the ``independent model'' $\widetilde{S}_n := \sum_{k=1}^n \cos (2 πa_k U_k)$, where $U_1, U_2, \dots$ are independent random variables having uniform distribution on $[0,1]$. In particular, the order of growth of the cumulants as $n \to \infty$ is linear in this case. We also show that the transcendence condition for $\lim_{k \to \infty} a_{k+1}/a_k$ is in general necessary: when the ratio limit $η$ is algebraic, the cumulants of $S_n$ may have a different asymptotic order from those of $\widetilde{S}_n$. For instance, for $a_k = 2^k+1$ (with $η= 2$), the sixth cumulant of $S_n$ grows quadratically in $n$. In contrast, for $a_k = 2^k$ (again $η= 2$) or when $(a_k)_{k \geq 1}$ is the Fibonacci sequence (with $η= (1+\sqrt 5)/2$), the $m$-th cumulant of $S_n$ grows linearly as $n\to\infty$, but with a growth rate that differs from the one of the independent model $\widetilde{S}_n$. Overall, our results show that the asymptotic behavior of the cumulants of lacunary trigonometric sums depends on arithmetic effects in a very delicate way. This is particularly remarkable since many other probabilistic limit theorems, such as the Central Limit Theorem, hold for lacunary trigonometric sums in a universal way without any such sensitivity towards arithmetic effects.