sequence
7033 papers tagged with this keyword
A Morris recursion rule for values of the spin characters of wreath products
The classical Murnaghan-Nakayama rule is a recursive formula for computing the values of complex irreducible characters of the symmetric group $S_n$. Alun Morris proved a recursive formula for evaluating the values of irreducible spin characters of $\widetilde{S}_n$, where $\widetilde{S}_n$ is one of the Schur covers of $S_n$ defined by $\widetilde{S}_n:=\langle t_1,t_2,\cdots,t_{n-1},z\ |\ z^2=1,\ t_i^2=z,\ (t_it_{i+1})^3=z, \ t_it_j=zt_jt_i\ \text{if}\ |i-j|>1\rangle$. A recursive formula for evaluating the values of complex irreducible characters of the wreath product $G\wr S_n$, where $G$ is a finite group, was proved by J. Stembridge. In this article, we state and prove a recursive formula to compute the values of the irreducible spin characters of the wreath product $G\wr \widetilde{S}_n$. For the convenience of implementing these recursive formulas, we extend the notion of 0-1 boundary sequence of a Young diagram to shifted Young diagrams.
On three conjectures of Kimberling concerning the array $\lfloor kφ^n\rfloor$
Let $φ$ be the golden ratio and let $R_n=\{\lfloor kφ^n\rfloor : k\ge 1\}$ be the $n$-th row of the array $T(n,k)=\lfloor kφ^n\rfloor$ (OEIS A128440). In 2022 Kimberling conjectured that the rows $R_{2n-1}$ and $R_{2n}$ are disjoint, and that after the two rows are merged and each entry is replaced by its rank, they become the lower and upper Wythoff sequences. He also conjectured (OEIS A358359) that if $a(N)$ is the number of rows containing $N$, then every positive integer occurs infinitely often among the values of $a$. We show that the first two conjectures follow quickly from the Skolem-Bang theorem, which also yields the exact rule for when two rows are disjoint: $R_i\cap R_j=\emptyset$ ($i<j$) if and only if $j-i$ is odd and divides $i$. We then prove the third conjecture. The main tools are an explicit determination of the rows containing an odd-indexed Lucas number, which extends a result of Noppakaew, Kanwarunyu and Wanitchatchawan, and a "Lucas shift" lemma: if $N+1$ is not of the form $L_{2e}$ with $e\ge1$, then adding a sufficiently large even-indexed Lucas number to $N$ does not change the set of rows containing it. We also show that each value of $a$ is taken on a set of positive natural density, and we report computations up to $10^8$ suggesting that the least $N$ lying in exactly $v\ge 2$ rows is the Lucas number $L_{4v-5}$.
Signed Generalized Stirling Polynomials, Nested Sums, and Hyperbolic Secant Integral Identities
We study signed generalized Stirling polynomials $P_k(m,x)$ arising in closed forms for Malmsten-type hyperbolic secant integrals. Their product structure is used to prove recurrences, gamma--polygamma formulas for $P_{m-s}(m,x)$, a central vanishing identity, a finite approximation to $\cosh πx$, and a limit formula for $π$. We identify these polynomials as signed residues of the equal-period Barnes multiple zeta function, derive their reflection formula, and obtain finite parity-cancellation and Stirling cycle-number identities. We also compare the centered polynomials with a classical Meixner--Pollaczek orthogonal family. We evaluate finite nested sums built from the sequence $χ_n$. Fixing the lower bounds turns these sums into coefficient-counting problems: common lower bounds give binomial coefficients and staircase bounds give Catalan numbers. Combining these counts with known formulas for $χ_j$ yields explicit hyperbolic-secant integral evaluations involving Catalan's constant, zeta values, and polygamma values. A Wolfram Language package accompanies the formulas.
Subword enumeration up to stack-sorting equivalence
Defant and Kravitz introduced generalizations of West's stack-sorting map $s$ from permutations to finite words. This raises questions as to how such generalizations could be applied in the field of combinatorics on words. The Defant-Kravitz generalizations of $s$ depend on how repeated occurrences of the same character within a word may be repositioned, according to their $\textsf{tortoise}$ and $\textsf{hare}$ operations. As demonstrated in this paper, these operations provide a natural way of extending abelian complexity functions for infinite sequences, in a way that gives light to structural properties associated with infinite words. We apply these new ideas to two famous infinite words: the paperfolding word and the Thue-Morse word. In the case of the Thue-Morse word, we discover an interesting connection to the previous work of several authors, such as de Luca and Varricchio, on the ``special'' factors of the Thue-Morse word. This may be seen as providing a basis for a new and interdisciplinary area linking the combinatorics about the stack-sorting of permutations with the field of combinatorics on words.
Non-adaptive Bellman-Ford: Yen's improvement is optimal
The Bellman-Ford algorithm for single-source shortest paths repeatedly updates tentative distances in an operation called {relaxing an edge}. In several important applications a {non-adaptive} (oblivious) implementation is preferred, which means fixing the entire sequence of relaxations upfront, independently of the edge-weights. The original implementation of the algorithm performs, in a dense graph on $n$ vertices, $(1+o(1))n^3 $ relaxations. An improvement by Yen from 1970 reduces the number of relaxations by a factor of two. We show that no further constant-factor improvements are possible, and every {non-adaptive deterministic} algorithm based on relaxations must perform $(\frac{1}{2} - o(1))n^3$ steps. This improves an earlier lower bound of Eppstein of $(\frac{1}{6} - o(1))n^3$. Given that a {non-adaptive randomized} variant of Bellman-Ford with at most $(\frac{1}{3} + o(1))n^3$ relaxations (with high probability) is known, our result implies a strict separation between deterministic and randomized strategies, answering an open question of Eppstein.
We also address the complexity of finding {short} relaxation sequences for a given input graph on $n$ vertices, answering a question of Eppstein. We show that the problem is co-NP-hard, and moreover essentially inapproximable: While an $n$-approximation is easily obtained, for every $ε> 0$, no polynomial-time $n^{1-ε}$-approximation exists, unless P = NP. We further show that {deciding} whether a given relaxation sequence is valid is co-NP-complete, even when the input is the complete graph.
Asymptotic normality of embedding distributions of some families of graphs
Computing the embedding distribution of a given graph is a fundamental question in topological graph theory. In this article, we extend our viewpoint to a sequence of graphs and consider their asymptotic embedding distributions, which are often the normal distribution. We establish the asymptotic normality of several families of graphs by using tools from analytic combinatorics and probability theory. We expect that these tools can be used on other families of graphs to establish the asymptotic normality of their embedding distributions. Several open questions and conjectures are also raised in our investigation.
Well-quasi-orders on finite trees and transfinite sequences
Published
• View Publication
• BIB
We study the well-quasi-order (wqo) consisting of the set of finite trees with leaf labels coming from an arbitrary wqo $Q$, ordered by tree homomorphisms which respect the order on the labels. This is a variant of the usual Kruskal tree ordering without infima preservation. We calculate the precise maximal order types of this class of wqos as a function of the maximal order type of the labels $Q$. In the process, we sharpen some recent results of Friedman and Weiermann. Furthermore, we show a correspondence with indecomposable transfinite sequences with finite range, over elements of the wqo $Q$, of length less than $ω^ω$. Nash-Williams proved that arbitrary transfinite sequences with finite range are also well-quasi-ordered, but there are no known methods to extract bounds on the maximal order type from the proof. More concrete proofs for sequences of length less than $α$ for some $α< ω^ω$ were given by Erdős and Rado. Using the correspondence, we obtain precise bounds for the entire collection of transfinite sequences with finite range of length less than $ω^ω$.
Finite Stick Breaking Sequences
In 1949, De Bruijn and Erdős considered infinite stick-breaking sequences. In this work, we consider finite sequences and prove that an infinite sequence that is due to De Bruijn, Erdős, and Toulmin is in some sense unique.
Infinite log-concavity of the Taylor coefficients of the Riemann xi-function
The Riemann hypothesis is equivalent to $F(x)$ belonging to the Laguerre--Pólya class. Brändén [J. Reine Angew. Math., 2011] proved that if an entire function in the Laguerre--Pólya class has nonnegative Taylor coefficients, then its coefficient sequence is infinitely log-concave. Consequently, the Riemann hypothesis implies the infinite log-concavity of $(λ_n)_{n\ge0}$. In this paper, we prove that the sequence $(λ_n)_{n\ge0}$ is strictly infinitely log-concave. This resolves a conjecture of Zhu [Math. Z., 2023]. The proof combines explicit complex-analytic estimates for the iterated logarithmic ratios, rigorous interval arithmetic for a finite range of indices, and a global closure argument.
Proofs of some OEIS conjectures on Wythoff sums, Fibonacci and Lucas words
We prove several conjectures from the On-Line Encyclopedia of Integer Sequences about the lower and upper Wythoff sequences and the Fibonacci word. Among them are two of Kimberling's three conjectures on the number of ways to write $n=\lfloor hφ\rfloor+\lfloor kφ^2\rfloor$ with $h,k\ge1$ (A259598): exactly one way if and only if $n+1=2F$ for a Fibonacci number $F\ge2$, and exactly two ways if and only if $n+1\ge7$ is a Lucas number. The third conjecture, that no way exists if and only if $n+1$ is a Fibonacci number, was proved earlier by Kawsumarng et al. We also observe that Kimberling's conjecture on the gaps of the sums of two distinct terms of A003622 and of their complement (A333308, A333309) follows, after a shift by $2$, from earlier Walnut results of Shallit and of Bosma et al. on A260317, and we re-verify it. Next, we prove Kimberling's five 2025 conjectures on the gaps between positions where the Fibonacci word and the "Lucas word" take prescribed values (A383423-A383427). Finally, we prove a conjecture of Mathar on A285383, and we point out that a conjecture of Schmidt on A003250 follows from theorems of Carlitz, Scoville and Vaughan (1973); we also confirm it with Walnut. Most proofs are decision procedures run in the free prover Walnut, and we supply the complete command file.
Less is Moore
A Moore graph simultaneously asks for two things that normally pull in opposite directions: every vertex should have many neighbors, while every pair of vertices should remain close. For diameter two and degree $k$, the Moore bound is $k^2+1$, and equality forces a remarkably rigid graph: it is strongly regular with parameters $(k^2+1,k,0,1)$. Hoffman and Singleton showed that such a graph can exist only for $k=2,3,7$, and possibly 57. The degree-57 case on 3,250 vertices remains open.
This paper is not an attempt to settle that open problem. Instead, we ask a more algorithmic question: How efficiently can the defining Moore structure itself be searched exactly? We begin from a human-developed exhaustive search based on the radius-two Moore tree. Leaves fall into $k$ groups of size $k-1$, and the edges between every pair of such groups form a perfect matching - a permutation. For efficiency, a partial construction is abandoned immediately when it creates a triangle or quadrangle.
We then describe a sequence of exact algorithm-engineering improvements developed through a human-guided AI process and accepted only after mathematical checking and controlled regression tests. The main steps are reversible short-cycle forbid counters, bit-parallel domains, minimum-remaining-value branching, singleton propagation, matching-based AllDifferent filtering, balanced replayable parallel frontiers, residual-symmetry orbit pruning, and canonical deduplication of frontier states. On the principal $k=9$ benchmark, stronger symmetry cuts wall time from 47.6 to 17.9 seconds on a six-core laptop setup. Further parallelization speedup is reported separately; on a 16-core/32-thread machine, median wall time is reduced to 5.28 seconds. Degrees 10 and 57 are used as stress tests, and a five-minute degree-57 run uses only 161 MiB peak resident memory, showing that state size is modest.
Hurwitz Stability of Generalized Turán Expressions of Polynomial Sequences
In this paper we prove the weak Hurwitz stability conjecture for the strong Turán expressions of Eulerian polynomials, as well as the corresponding conjecture for Narayana polynomials, which were conjectured by Liu and Yan. We generalize the notion of Turán expressions of polynomial sequences, and provide a criterion for the generalized stability of generalized Turán expressions. Based on our sufficient condition, we not only confirm Liu and Yan's conjectures but also obtain the generalized stability of generalized Turán expressions of a class of recurrent polynomial sequences and generalized Narayana polynomials.
An example of an automatic sequence with non-regular abelian complexity
Answering a question of Madill and Rampersad, we give an example a of a $2$-automatic sequence whose abelian complexity is not $2$-regular.
Partitioning an $S$-packing coloring into broadcast dominating sets
Given a graph $G$ and a positive integer $k$, a packing $k$-domatic coloring of $G$ is a function $f: V(G) \to \{1,\ldots,t\}$ such that (1) for any color $j \in \{1,\ldots, t\}$ and any two distinct vertices $u,v\in V(G)$ with $f(u)=f(v)=j$ we have $d_G(u,v)>j$, and (2) $V(G)$ admits a partition into $k$ sets $A_1,\ldots,A_k$ such that for any $v\in V(G)$ and any $i\in\{1,\ldots,k\}$ there exists a vertex $w\in A_i$ such that $d_G(v,w)\le f(w)$. The minimum integer $t$ such that $G$ admits a packing $k$-domatic coloring of $G$ using colors in $\{1,\ldots,t\}$ is denoted by $χ_{ρ,k}(G)$. The condition (1) in the definition of a packing $k$-domatic coloring implies that $G$ is a packing coloring, hence $χ_{ρ,k}(G)\ge χ_ρ(G)$ holds for any graph $G$, where $χ_ρ(G)$ is the packing chromatic number of $G$. On the other hand, the new concept also leads to a generalization of the domatic number of a graph due to which one can easily see that $χ_{ρ,2}(G)=χ_ρ(G)$ holds for any graph with no isolated vertices. One of the main result in this paper is that $χ_{ρ,3}(G)=χ_ρ(G)$ holds in any connected graph $G$ with minimum degree at least $2$, and the bound is best possible in two different senses. In addition, we provide several exact values and bounds on the new invariant in paths and cycles. We prove that $χ_{ρ,k}(P_n)=k$ for any $k\in\{3,4,5\}$ as soon as $n\ge 8$, and, in contrast, $χ_{ρ,k}(P_n)>k$ for any $n\ge k\ge 12$. We also prove the exact values of $χ_{ρ,k}(P_\infty)$ when $k\in \{3,4,5\}$ for the two-way infinite path $P_\infty$, and exact values of $χ_{ρ,k}(C_n)$ when $k\in\{3,4\}$ for all cycles $C_n$. We also consider a general framework of $S$-packing $k$-domatic colorings, where $S$ is an arbitrary sequence of non-negative integers, and present some basic results in this context.
The first descent in a standard Young tableau of shape $(n,n,n)$
Let $a(n)$ be the number of standard Young tableaux of shape $(n,n,n)$ whose entry in row $2$, column $1$ is odd; equivalently, the number of those whose first descent is even. This is entry A011553 of the On-Line Encyclopedia of Integer Sequences, contributed in 1996, and after thirty years of curation it carries no formula. We supply one, $a(n) = 8\,\bigl(n!\,(n+2)!\bigr)^{-1}\sum_{m=1}^{\lfloor n/2\rfloor} m(m+1)(3n-2m-1)!/(n-2m)!$, and use it to settle both of the conjectures the entry records. A creative telescoping certificate shows that $a$ satisfies a linear recurrence of order two with polynomial coefficients; the order-three recurrence conjectured by R. J. Mathar in 2023 is a left multiple of it, with explicit cofactor $(4S^{-1}-3)/(7n-9)$. We also prove $a(n)\sim 3^{3n+7/2}/(64πn^{4})$, the asymptotic conjectured by V. Kotesovec in 2014. The second proof gives slightly more than the conjecture asks: the position of the first descent has a limiting distribution, the probability that the $(2,1)$ entry equals $r+1$ tending to $r(r+2)/3^{\,r+1}$. Summing the even terms, a uniformly random tableau of shape $(n,n,n)$ has an odd $(2,1)$ entry with probability tending to $27/64$, whereas for a uniformly random tableau of $n$ cells of unrestricted shape the corresponding limit is $1/e$.
Homomesy of Tropical $T$-systems: Finite Type
In 2007, Fomin and Zelevinsky introduced the bipartite belt, a sequence of bipartite cluster mutations whose exchange relations form a discrete dynamical system. For each Dynkin diagram, this system is periodic, as a special case of Zamolodchikov periodicity. In the associated tropical dynamics, every mutation along the belt can be naturally colored red or blue, according to which term attains the maximum in the tropical exchange relation. This gives a red-blue statistic on tropical orbits. We prove that this statistic is homomesic, i.e. that the average numbers of red and blue mutations are independent of the orbit. Moreover, the number of red mutations is given by the number of roots in the associated root system. This resolves a conjecture of the first author. In the process we introduce the Zamolodchikov fan, which is closely related to the positive tropical Grassmannian, and may be of independent interest.
123-Avoiding permutations with an adjacency constraint
We study permutations $π\in S_n$ that avoid $123$ while satisfying the adjacency constraint $\lvert π_{i+1}-π_i\rvert \le m$ for some $m\in\mathbb{Z}^{+}$. We first show that every admissible permutation is localized within vertical distance $m$ of the reverse diagonal, revealing a strong global restriction imposed by the interaction between pattern avoidance and bounded adjacency. For every fixed $m$, we then construct an exact finite-state description of the family, with precisely $2^{m+1}-m-1$ realizable states. This yields an explicit transfer-matrix enumeration and, in particular, a rational generating function for every fixed $m$; consequently, the enumeration sequence satisfies an eventual constant-coefficient linear recurrence. We further identify the exponential growth rate with the spectral radius $ρ_m$ of the corresponding transfer matrix and show that $ρ_m<4$, is nondecreasing in $m$, and converges to the Catalan growth constant $4$ as $m\to\infty$. Finally, we show that the bounded-adjacency constraint breaks the ordinary length-three Wilf equivalence, and we develop algorithmic and graph-theoretic interpretations of the family, including a correspondence with constrained Hamiltonian paths in powers of the path graph.
Degree sequences of spectrally extremal connected nonregular graphs with prescribed maximum degree: the dense case
Let $G$ be an $n$-vertex connected nonregular graph with maximum degree $Δ$ that attains the maximum spectral radius. For $3\leΔ\le n-2$, Liu and Li (2008) conjectured that $G$ has the degree sequence $(Δ,\ldots,Δ,δ)$ with $δ<Δ$ as large as possible. In this paper, we study the dense case where $Δ=n-k$ with $k\ge4$ fixed and $n$ sufficiently large. We prove that \[ d(G)= \begin{cases} (Δ,\ldots,Δ, 1), & \text{if $n$ is even and $k$ is odd};\\ (Δ,\ldots,Δ,Δ-1), & \text{if $n$ is odd and $k$ is even};\\ (Δ,\ldots,Δ,2), & \text{if $n$ and $k$ have the same parity}. \end{cases} \]
Shuffle squares in smooth binary words and the Kolakoski sequence
A binary word is a shuffle square if its positions can be partitioned into two identical subsequences. A finite word over $\{1,2\}$ is smooth if repeated finite run-length differentiation remains binary until the empty word is reached. This paper proves that every smooth binary word in which both letters have even multiplicity is a shuffle square once its length is at least $18$. There are exactly $34$ exceptions, all of length at most $16$. The infinite part of the proof is a parity-return atom induction: a smooth even-Parikh word factors uniquely into smooth parity atoms, and every such atom has length at most $8$. A finite, independently checkable certificate handles lengths $18$ through $40$. As a consequence, a nonempty prefix of the classical Kolakoski sequence is a shuffle square if and only if both symbols occur an even number of times and its length is not $4$ or $8$. There are infinitely many such prefixes. In fact, the entire infinite Kolakoski sequence can be partitioned into two identical infinite subsequences with monochromatic blocks of uniformly bounded length.
Matchings and shape-Wilf-Equivalence of sets of patterns of length three II: Quadruples and Quintuples
Building on our classification of shape-Wilf-equivalence classes for triples of patterns of length three, we complete the classification for quadruples and quintuples. The larger pattern sets exhibit structural features that are not captured by the encoding methods used for triples and require additional combinatorial tools. Our main new ingredient is a Dyck-path approach to Ferrers boards containing the staircase board. By introducing distinguished cells and related structural parameters on the associated Dyck paths, we obtain new shape-Wilf-equivalences and, for several classes, explicit formulas for the number of avoiding transversals on a fixed Ferrers board. We further study the corresponding pattern-avoiding perfect matchings through the pattern-preserving bijection of Bloom and Elizalde. Besides deriving recurrence relations, we give bijective interpretations of several matching enumeration sequences in terms of grand Dyck paths, Schröder paths, and Dyck paths. These constructions provide additional combinatorial structure beyond the classification itself. Together with the companion paper on triples, the present work completes the classification of shape-Wilf-equivalence classes for subsets of patterns of length three, apart from the trivial empty and full pattern sets.