sequence
7033 papers tagged with this keyword
Hankel Transform and $(α,β)$ Somos-4 Sequences
An $(α,β)$ Somos-$4$ sequence $S_n$ is defined by the recurrence $S_nS_{n-4}=αS_{n-1}S_{n-3}+βS_{n-2}^2$ ($n\geq 4$), with suitable initial values, where $α$ and $β$ are constant parameters. A widely studied question is the following: When does the Hankel transform of a generating function become an $(α,β)$ Somos-4 sequence? In particular, how can $α$ and $β$ be derived for such a function? A sufficient condition for this problem has been established by Wang and Zhang. In this paper, we obtain the following three main results.
(i): We extend the Wang--Zhang sufficient condition by working over the rational function field. Then we combine this result with the Sulanke--Xin quadratic transformation to resolve all of Barry's currently unsolved $(α,β)$ Somos-4 conjectures, which arise in diverse contexts, including generalized Catalan recurrences, Riordan arrays, generalized Bernstein arrays, and elliptic curves.
(ii): We show that the odd and even subsequences of an $(α,β)$ Somos-4 sequence are again $(α,β)$ Somos-4 sequences with transformed parameters. This is employed to establish Barry's Hurwitz transform conjecture.
(iii): Using the theory of orthogonal polynomials, we prove a Hankel determinant formula and thereby prove a conjecture related to the $(α,β)$ Somos-4 sequence. In addition, we prove some conjectures on formulas for periodic Hankel determinants.
Counterexamples to the Minimum Period Conjecture for Restricted Partition Functions
For a finite sequence of positive integers $\boldsymbol{a}=(a_1,\dots,a_n)$, the restricted partition function $q_{\boldsymbol{a}}(k)$ denote the number of nonnegative integer solutions to the equation $a_1x_1+a_2x_2+\cdots +a_nx_n=k$. It is proved to be a quasi-polynomial of degree $n-1$. Write $q_{\boldsymbol{a}}(k)=\sum_{j=0}^{n-1}c_j(k)k^j$ with periodic coefficient functions $c_j$, and set $b_m=\#\{i:m\mid a_i\}$. In 2008, Beck, Sam, and Woods conjectured that the minimum period of $c_j(k)$ is $\mathrm{lcm}\{m:b_m>j\}$. In this paper, we derive an exact root-of-unity formula for every coefficient function $c_j(k)$. The formula proves the conjectured divisibility upper bound, but it also reveals a lower bound for the period of $c_j(k)$. Both divisibility bounds are sharp. This leads us to construct a family of counterexamples to this conjecture.
Weight-constrained cut-down de Bruijn sequences
In 2011/12, Ruskey, Sawada, Stevens and Williams showed that a binary cut-down de Bruijn sequence can be constructed containing all $n$-tuples of Hamming weight either $r$ or $r+1$ for every possible $r$, and no others. In this paper we examine extensions of this result that require choosing a weight-like function applying to $n$-tuples with symbols taken from an alphabet of arbitrary (finite) size. We consider three possible such weight functions, and in each case establish an analogous result to that of Ruskey et al.
Proof of Barry's Four Hankel Determinant Conjectures
Barry introduced a central transform of integer sequences and proposed four conjectures concerning the Hankel transforms of central transform of four rational families. We prove these four conjectures. The proofs are unified within a common algebraic framework: we interpret the Hankel determinants as Gram determinants and use a basis of shifted monic Chebyshev polynomials to reveal the finite-band structure of the associated Gram matrices.
Ideal Gårding polynomials
We introduce ideal Gårding polynomials, a convexity-enhanced subclass of Gårding polynomials whose Gårding components are recursively convex under partial differentiation. This class strictly contains real stable polynomials and, after translation and homogenization, lies in the Lorentzian class.
Our main result is that ideal Gårding polynomials still admit a robust structure theory despite this additional convexity: they are preserved under polarization, satisfy natural closure properties, and support a linear preserver theory. A key contribution of this paper is a universal model for univariate Gårding polynomials, described by monotone root sequences and equivalently by volume polynomials of Pitman--Stanley polytopes. We establish quotient concavity, and Newton--Maclaurin type inequalities, which leads to the polarization theorem, and suggests further connections with convex geometry and Lorentzian polynomials.
A Weak Solution of Inverse Treblecross
We study Inverse Treblecross, the impartial avoidance version of the game Treblecross, in which completing a line of three X's is prohibited. We give a weak solution of the game: an empty board of $n$ cells is a $\mathscr{P}$-position (Sprague--Grundy value $0$) if and only if $n\equiv 0,2,3,6,9\pmod{10}$, and has value $1$ if $n\equiv 1,4,5,7,8\pmod{10}$. In particular the empty-board Sprague--Grundy sequence is the purely periodic sequence of period $10$ with values in $\{0,1\}$. The proof introduces two characteristic functions on $\mathbb Z/10\mathbb Z$ and a family of regular positions, and shows by induction that such a position splits, under a reduction move, into a disjunctive sum of regular positions whose sign product is preserved or inverted.
Barrier Log-Concavity of Large Forests
We prove that the independence sequence of every sufficiently large forest is strictly barrier log-concave: whenever $i_{k+1}>i_k$, one has $i_k^2>i_{k-1}i_{k+1}$. Consequently, every common downward coefficient tilt is unimodal, with one order threshold valid simultaneously for all $0<t\le1$. As an application, we prove that every sufficiently large well-covered tree has a strictly log-concave independence polynomial. More generally, the latter conclusion holds for well-covered forests with sufficiently large matching number. Every sufficiently large forest with a palindromic independence polynomial is also strictly log-concave, with its modes at the central ranks. The proof establishes local coefficient-curvature estimates uniformly over forests of unbounded maximum degree and over activities tending to zero. Combined with the fixed-density theorem of Fang, Lu, Nevo, Yao, and Zheng, these estimates complete the strict log-concavity interval down to rank one through $\lfloor17α/25\rfloor$; the terminal fraction is inherited. The classical decreasing tail then yields the barrier property. A cumulative-coefficient corona theorem transfers barrier log-concavity of the base forest to full strict log-concavity of its leaf corona.
On the structure of polynomial multicorrelation sequences arising from nilpotent actions
We prove that every polynomial multicorrelation sequence arising from nilpotent actions admits a decomposition into a generalized nilsequence and a null-sequence. This resolves a long-standing question of Frantzikinakis concerning the structure of polynomial multicorrelation sequences of commuting transformations. Our proof builds upon ideas underlying the norm convergence theorem of Walsh.
A family of algebras that connects positroids, the Theta conjecture, the Delta conjecture, and Eulerian quasisymmetric functions
We define a family of algebras $\mathbb{Q}[\mathbf{x}_n]/I_{n,a,b}$ whose Hilbert series, when $n\le a+b\le n+2$, $a>0$, and $0<b<n$, enumerate certain positroid cells by codimension. Equivalently, these series enumerate certain affine permutations by length. We determine the graded $\mathfrak{S}_n$-module structure of these algebras by using exact sequences to derive an invertible recursion for their graded Frobenius characteristics when $a+b\ge n$ and then passing to the limit $a\rightarrow\infty$. In particular, the graded Frobenius characteristic $\mathrm{grFrob}(\mathbb{Q}[\mathbf{x}_{a+b-1}]/I_{a+b-1,a,b};q)=\operatorname{rev}_q(ω((Θ_{e_{a-1}}Θ_{e_{b-1}}\nabla e_1)\mid_{t=0}))$, where $\operatorname{rev}_q$ reverses the $q$-coefficients and the specialization $(Θ_{e_{a-1}}Θ_{e_{b-1}}\nabla e_1)\mid_{t=0}$ appears in the Theta conjecture. For $a,b\ge1$, we also show that $e_a^\perp\mathrm{grFrob}(\mathbb{Q}[\mathbf{x}_{a+b}]/I_{a+b,a,b};q)=q^{\binom{a}{2}}\operatorname{rev}_q(ω((Δ_{e_{a-1}}^\prime e_b)\mid_{t=0}))$, where $Δ_{e_{k-1}}^\prime e_n$ occurs in the Delta conjecture. In the three cases $a+b-n=0,1,2$, the ungraded Frobenius characteristics agree with three families of Eulerian quasisymmetric functions, respectively. We also construct an open subvariety of $(\mathbb{P}^{k-1})^n$ whose rational Chow ring is isomorphic to $\mathbb{Q}[\mathbf{x}_n]/I_{n,k,n-k}$. This variety admits a stratification induced by certain positroids. Its strata need not be affine, and their codimension generating function equals $\mathrm{Hilb}(\mathbb{Q}[\mathbf{x}_n]/I_{n,k,n-k};q)$.
Generalized Erdős--Ginzburg--Ziv Constants for finite abelian groups of rank three
Let $G$ be a finite abelian group with exponent $\exp(G)$. For positive integer $k$, the generalized Erdős--Ginzburg--Ziv constant, denoted by $\mathsf s_{k\exp(G)}(G)$ is the least integer $\ell$ such that every sequence of length at least $\ell$ over $G$ has a zero-sum subsequence of length $k\exp(G)$. In this paper, we prove that, for any $n\ge 1$, \[\mathsf s_{3\cdot 2^n}(C_{2^n}^3)=6\cdot 2^n-3 \quad\text{and}\quad \mathsf s_{4\cdot 3^n}(C_{3^n}^3)=7\cdot 3^n-3. \] This completes all the remaining cases in the study of $\mathsf s_{kq}(C_q^3)$, where $q$ is a prime power and $k\ge 3$. As a consequence, for every $k\ge 3$, we have \[ \mathsf s_{kn}(C_n^3)=(k+3)n+O(\frac{n}{\log n}). \] This verifies a conjecture of Kubertin asymptotically. Our approach combines the previous group ring techniques and a recent powerful generalization of the Chevalley-Warning and Ax-Katz theorems introduced by Grynkiewicz
Disproof of a Conjectured Upper Bound for the Davenport Constant
Let $G= C_{n_1}\oplus\cdots\oplus C_{n_r}$ be a finite abelian group with $1<n_1\mid\cdots\mid n_r$, and let $\rr(G)=r$ denote its rank. The Davenport constant $\DD(G)$ is the least integer $\ell$ such that every sequence of $\ell$ elements of $G$ contains a nonempty zero-sum subsequence, and $\DD^*(G)=1+\sum_{i=1}^r(n_i-1)$ is its classical lower bound. A long-standing conjecture asserts that $\DD(G)\le\DD^*(G)+\rr(G)-1$. In this paper, we disprove this conjecture. More strongly, we prove that $\sup_{\rr(G)=r}\bigl(\DD(G)-\DD^*(G)\bigr)=\infty$ for every fixed $r\ge5$. Thus the classical lower bound does not approximate the Davenport constant within an additive error depending only on the rank. More precisely, our construction gives $δ(C_m^{r-4}\oplus C_{3m}^3\oplus C_{6m})\ge m$ for all integers $r\ge5$ and $m\ge2$. Consequently, the least rank $r_0$ for unbounded Davenport excess $\DD(G)-\DD^*(G)$ satisfies $3\le r_0\le5$. Our result also disproves the Narkiewicz--Śliwa conjecture of 1982 \cite{NS82} on the Narkiewicz constant, arising in algebraic number theory from the quantitative study of algebraic integers with unique factorization. The same amplification of the Davenport excess yields counterexamples to Girard's conjecture \cite[Conjecture 1.2]{Girard08} on the cross numbers of long zero-sum-free sequences. As a further main result, we establish the uniform upper bound $$\DD(G)\le\frac{16}{5}\rr(G)\exp(G)$$ for every nontrivial finite abelian group $G$. The classical estimate of van Emde Boas and Kruyswijk \cite{vEBK69} gives $\DD(G)\le\exp(G)\left(1+\log\frac{|G|}{\exp(G)}\right) \le\exp(G)\bigl(1+(\rr(G)-1)\log\exp(G)\bigr)$. Our bound removes the logarithmic factor $\log\exp(G)$ from this classical estimate, and replaces it with the absolute constant $16/5$.
The complexity of smooth words over binary alphabets
Smooth sequences over an alphabet of positive integers $\{a,b\}$ are sequences that are infinitely derivable, the emblematic example being the Oldenburger-Kolakoski sequence $κ$ over $\{1,2\}$. The main way to study their language is to consider a finite version of smooth sequences called smooth words. In this paper we prove that the smooth words are exactly the factors of smooth sequences and we make progress towards the conjecture that the complexity of smooth words over $\{a,b\}$ grows like $Θ\left(n^{\log(a+b)/\log((a+b)/2)}\right)$: we prove the lower bound over any alphabet and the upper bound over even alphabets, and we improve the known upper bound over odd and mixed alphabets. We also provide a dichotomy that links the language, the morphicity and the factor complexity of $κ$.
Completely regular codes in graphs covered by a Hamming graph
Published in Des. Codes Cryptogr. 94(10) 2025, 213(1-25)
• View Publication
• BIB
In Cayley graphs on the additive group of a small vector space over GF$(q)$, $q=2,3$, we look for completely regular (CR) codes whose parameters are new in Hamming graphs over the same field. The existence of a CR code in such a Cayley graph $G$ implies the existence of a CR code with the same parameters in the corresponding Hamming graph that covers $G$. In such a way, we find several completely regular codes with new parameters in Hamming graphs over GF(2) and GF(3). The most interesting findings are two new CR-1 (with covering radius 1) codes that are independent sets (such CR are equivalent to optimal orthogonal arrays attaining the Bierbrauer-Friedman bound) and one new CR-2 code. By recursive constructions, every new CR code induces an infinite sequence of CR codes (in particular, optimal orthogonal arrays if the original code is CR-1 and independent). Some of the found ternary CR codes disprove a conjectured generalization of the correlation-immunity bound on the strength of binary orthogonal arrays to the non-binary case. In between, we classify feasible parameters of CR codes in several strongly regular graphs.
Keywords: completely regular codes, Hamming graphs, Cayley graphs, strongly regular graphs, graph covering, orthogonal arrays
Exact Realization of Edge and Induced Three-Vertex Subgraph Counts
The study of three-vertex subgraph densities has developed along two complementary lines: exact finite realization in large graphs of a given order, and asymptotic approximate realization by sequences of graphs. We bridge these viewpoints for the edge density and the four induced three-vertex subgraph densities. By analyzing local modifications of finite samples from graphons, we show that, for any nonempty subset of these densities, every asymptotically feasible target vector lying a fixed positive distance from the boundary of the corresponding feasible region is realized exactly by a graph of every sufficiently large order, subject only to the natural arithmetic constraints. Thus, in the interior of these feasible regions, asymptotic feasibility implies exact finite realizability up to the unavoidable arithmetic obstructions.
Gaps for PLRS with zero coefficients
Zeckendorf proved that every positive integer has a unique decomposition as a sum of non-adjacent Fibonacci numbers. Among its extensions, we focus on Positive Linear Recurrence Sequences (PLRS): fixed depth recurrences with non-negative integral coefficients whose first and last terms are positive: $G_{n+1} = c_1 G_n + \dots + c_L G_{n-L+1}$ with $c_i$ non-negative integers and $c_1 c_L \ge 1$. We again find every integer can be written uniquely as an appropriate sum of terms of the sequence, and we can study the distribution of gaps between summands in decompositions. Bower et al. (2015) proved that if each $c_i \ge 1$ then the distribution of gaps in the generalized Zeckendorf decompositions of integers in $[G_n, G_{n+1})$ converges to a geometric decay for gaps at least two. What if some of the $c_i$'s are allowed to be zero? To date only the Kangaroo case, where there is a fixed $g$ such that $c_i = 1$ if $i \equiv 1 \bmod g$ and 0 otherwise, has been done and again geometric behavior emerges. Ben-Ari and Miller (2016) developed a probabilistic framework that also produce similar results, but their approach requires more advanced machinery. One of the goals of this paper is to show that the elementary methods used by Bower et al. (2015) can be adapted to this setting as well. We analyze the case $H_{n+1} = H_n + H_{n-p} + H_{n-p-q}$. For gaps at least $\max(p,q)$ we again prove geometric decay, with parameter the largest root of the characteristic polynomial associated with the recurrence. For the finitely many smaller gaps, under the restriction $p<q+2$, we prove that the limiting probabilities exist and can be computed using a transfer-matrix method, yielding results that depend on $p,q,$ and the gap size $g$. The case $p \ge q+2$ is not addressed by our small-gap argument.
Perfect and peak state transfer on IBM quantum hardware
We run continuous-time quantum walks with perfect and peak state transfer on a present-day superconducting quantum processor, IBM Quantum's $156$-qubit Heron device ibm_kingston, deliberately without error correction or error mitigation. Perfect state transfer and its relaxations have been studied extensively in algebraic graph theory, where one can prove exactly which graphs move a quantum state from one vertex to another with probability one (or with the largest probability the graph allows, in the case of peak state transfer), and at what time. Our experiments cover perfect state transfer on the hypercubes $Q_2 = C_4$ and $Q_3$, and on the Hamming-weighted paths $\mathrm{HP}_n$, the equitable-partition quotients of the hypercubes $Q_n$, for $n$ up to $20$; peak state transfer on the $X_n$ family for $n$ up to $11$; and, for comparison, moving the state along a path of qubits by a sequence of SWAP gates.
Decay-Ramsey Sequences
Given a sequence $\mathbf{a}=(a_i)_{i\geq 1}$ of positive real numbers, we say that a colouring $c:E(K_n)\to \mathbb{N}$ is $\mathbf{a}$-bounded if the proportion of edges coloured $i$ is at most $a_i$, for all $i$. We write
\[
\mathbf{a}\, \to\, K_k
\]
if, for all sufficiently large $n$, all $\mathbf{a}$-bounded colourings $c:E(K_n)\to \mathbb{N}$ contain a monochromatic $K_k$. We say that the sequence $\mathbf{a}$ is \emph{Decay-Ramsey} if $\mathbf{a}\to K_k$ for all $k\ge 2$. In this short paper we introduce the question of determining which sequences are Decay-Ramsey and present some initial results.
A new generalization of parking functions: $ρ$-Naples parking functions
We introduce a new model of parking functions, called $ρ$-Naples parking functions, in which each car has a certain number of spots to check preceding its preferred one before looking for available spots by moving forward. This notion, where each car has its own number of previous spots to check, generalizes that of Naples parking function, where this number is the same for all cars. We start by showing that, for a given sequence of preferences for each car, a successful parking strategy (that is, an assignment of how many backward spots each car is allowed to check) remains successful if we increase the number of backwards spots to check for some of the cars. This means that the set of successful strategies for a given parking preference is an up-set in the lattice of parking strategies, which raises the intriguing question of characterizing such up-sets. Though we are not able to completely solve this problem, we provide a characterization of those successful strategies which minimize the total number of allowed backward steps for a given parking preference, and we determine a lower bound for the number of cars which are allowed to move backwards (also showing that it can be attained). To conclude, we analyze the specific situation in which each car can take at most one backward step, and we completely characterize the set of successful parking preferences in this case.
Maximal subsets of $n\times n$ board without cycles
Define $\nabla(n)$ as the least possible number of cells that must be removed from the $n\times n$ square board in order to leave no cycles. Put $L_n=\left\lceil\left((n-1)^2+1\right)/3\right\rceil$. The results of Luccio, Madelaine-Stewart, and Lien-Fu-Shih imply that $\nabla(n)=L_n$ in case $n\equiv 1\pmod 6$ and $n\equiv 4\pmod 6$, while for the remaining $4$ residue classes $\nabla(n)=L_n$ or $\nabla(n)=L_n+1$. In this paper, we provide optimal constructions in the odd residue classes $n\equiv3,5\pmod6$, (proving $\nabla(n)=L_n$) and a geometric obstruction showing that equality in lower bound is impossible when $n\equiv0,2\pmod6$ (yielding $\nabla(n)=L_n+1$). Starting with $n=3$, the resulting sequence is thus given by
\[
\nabla(n)=\bigg{\lceil}\frac{n^2}{3}-\frac{n}{6}+\frac{4}{3}\bigg{\rceil}-\bigg{\lceil}\frac{n}{2}\bigg{\rceil}.
\]
Sequence Factory: Families of Integer Sequences Generated by Gödel Implication
A finite Gödel chain generates not one integer sequence but a large family of them. The combinatorial mechanism is developed in a companion paper; here the sequences themselves are the primary objects. For $V_m=\{v_0<\cdots<v_{m-1}\}$, let $g_{j,n}^{(m)}$ count outputs equal to $v_j$, aggregated over all full bracketings on $n$ variables and all $m^n$ valuations. The root-pair refinement produces $N_{i,j}^{(m)}(n)=\sum_{r=1}^{n-1}g_{i,r}^{(m)}g_{j,n-r}^{(m)}$, with generating functions $N_{i,j}^{(m)}(x)=G_i^{(m)}(x)G_j^{(m)}(x)$.
We prove that the initial coefficients of these products uniquely identify the unordered root-value pair. Consequently, for each fixed $m$, there are exactly $\binom{m+1}{2}$ distinct root-pair generating functions. We catalogue the factories for $m=4,5,\ldots,10$, giving the first ten terms of every base sequence and every symmetric root-pair sequence. This range contains 49 base sequences and 210 symmetric pair classes, yielding 259 indexed sequence families before additional aggregates. The catalogue provides reproducible data for integer-sequence analysis and comparison with the On-Line Encyclopedia of Integer Sequences (OEIS).