sequence
7033 papers tagged with this keyword
A unified approach to infinite log-concavity of combinatorial sequences
We establish a sufficient condition for infinite log-concavity and apply it to five families of combinatorial sequences. We give a new proof of infinite log-concavity for the Boros--Moll coefficient sequences $(d_k(n))_{k=0}^n$ for fixed $n$. For the transposed sequences $(d_\ell(\ell+k))_{k\ge0}$, we prove Zhao's conjecture on infinite log-concavity for every fixed integer $\ell\ge3$. For the normalized sequences in Euler's difference table, we confirm the infinite log-concavity conjecture of Chen, Gu, Ma and Wang under essential iteration, in which both endpoints are discarded after each step. We also confirm a conjecture of Medina, Moll and Rowland on the infinite log-concavity of the coefficient sequences of polynomials arising from iterated primitives of $\log(1+x)$. Finally, we answer a question of Brändén and Chasse by showing that, for positive integers $d$, the sequence $(k^d)_{k\ge0}$ is infinitely log-concave if and only if $d\ne2$. For every real $d\ge3$, all its iterates are positive at every index $k\ge1$. The proofs combine holomorphic estimates with finite computer-assisted verification.
Topological inequalities for conic-line arrangements with some prescribed singularities
We study arrangements of conics and lines in the complex projective plane from the viewpoint of 4-manifolds. We introduce combinatorial conic-line arrangements, the conic-line counterpart of rank-3 matroids, together with their topological and smooth realisations, and we ask which restrictions on a complex arrangement survive when its components are replaced by locally-flat spheres in the same homology classes with the same local singularity models.
For an ADE combinatorial conic-line arrangement of even total degree admitting a topological realisation we prove a Hirzebruch-type inequality; the proof uses only branched covers and the local topology of rational double points. In the complex-algebraic category we show that equality holds exactly when the arrangement is a maximising curve, hence free with prescribed exponents. We then introduce divisible and odd combinatorial conic-line arrangements and obtain inequalities and congruences for the multiplicity sequence of their resolutions, via cyclic branched covers, the G-signature theorem, spin structures, and Furuta's 10/8-theorem.
A proof of the Berkovich-Dhar conjecture modulo five
We prove the sign-pattern and limiting-transition assertions of the Berkovich--Dhar conjecture modulo five, covering both the square and the cube of the finite Borwein product. In each power, the coefficients in residue class zero are strictly positive, while the sequences in residue classes three and four have exactly one positive-to-negative sign change after zero terms are omitted. We determine all four transition constants, correct the preliminary numerical estimates in the conjecture, and give their linear corrections with explicit bounded errors. A common four-arc expansion governs both powers. Near each vanishing amplitude, strict negativity of a weighted adjacent difference determines the transition. The cubic case also has two identically vanishing components in the infinite product; a shifted saddle expansion resolves the resulting finite-product boundary terms. Positive series identities, uniform remainder estimates, and an exact integer recurrence complete the proof for every positive integer.
Spreads of degrees in maximal planar graphs -- an exposition
For a graph $G$ and a set $B\subseteq V(G)$, the spread $\mathrm{sp}(B)$ of $B$ is the difference between the largest and the smallest degree in $G$ of a vertex of $B$, and for an integer $k\geq 0$ the parameter $\mathrm{sp}(G,k)$ is the largest cardinality of a set $B$ with $\mathrm{sp}(B)\leq k$. Caro, Lauri and Zarb asked for the minimum of $\mathrm{sp}(G,k)$ over the maximal planar graphs of order $n$; we write $\mathrm{MP}(n,δ,k)$ for this minimum over the maximal planar graphs of order $n$ and minimum degree $δ\in \{3,4,5\}$.
This manuscript is intended as an exposition of the subject of spread in the degree sequence of a graph $G$, with emphasis on maximal planar graphs. We apply the general lower bound of the companion paper \cite{P1} to this class, together with further ideas, some based on Caro--West and Caro--Lauri--Zarb and some new. In particular we asymptotically determine the values of $\mathrm{MP}(n,δ,k)$ for every pair $(δ,k)$ with $δ\in \{3,4,5\}$ and $k\geq 0$. This solution recovers the case $\mathrm{MP}(n,δ,0)$, which is the repetition number $\mathrm{rep}(G)$ introduced by Caro and West.
Distinct flattened partitions avoiding a pattern of length four
Let $\mathcal{P}_n$ denote the set of distinct permutations of length $n$ that arise from the flattening process applied to the partitions of $[n]=\{1,\ldots,n\}$. In this paper, we consider the problem of avoidance of a single classical pattern of length four by members of $\mathcal{P}_n$. Let $p_n(τ)$ denote the number of members of $\mathcal{P}_n$ that avoid the pattern $τ$. We show that $p_n(τ)=C_{n-1}$ for all $n \geq 1$ for seven patterns of length four yielding new combinatorial interpretations of the Catalan number sequence. Further, we show that $p_n(τ)$ corresponds to the binomial transform of Catalan numbers for three other patterns. To establish our results, we suitably refine the counting sequence $p_n(τ)$ in each case so as to obtain a system of functional equations satisfied by the corresponding generating functions. These functional equations may then be solved explicitly leading to a determination of $p_n(τ)$ in each case.
Graphons of Line Graphs
We consider the problem of estimating graph limits, known as graphons, from observations of sequences of sparse finite graphs. In this paper we show a simple method that can shed light on a subset of sparse graphs. The method involves mapping the original graphs to their line graphs. We show that graphs satisfying a particular property, which we call the square-degree property are sparse, but give rise to dense line graphs. This enables the use of results on graph limits of dense graphs to derive convergence. In particular, star graphs satisfy the square-degree property resulting in dense line graphs and non-zero graphons of line graphs. We demonstrate empirically that we can distinguish different numbers of stars (which are sparse) by the graphons of their corresponding line graphs. Whereas in the original graphs, the different number of stars all converge to the zero graphon due to sparsity. Similarly, superlinear preferential attachment graphs give rise to dense line graphs almost surely. In contrast, dense graphs, including Erdos-Renyi graphs make the line graphs sparse, resulting in the zero graphon.
The Davenport constant of balls and boxes
Given an additively written abelian group $G$ and a set $X\subseteq G$, we let $\mathsf{D}(X)$ denote the Davenport constant of $X$, namely the largest non-negative integer $n$ for which there exists a sequence $x_1, \dots, x_n$ of elements of $X$ such that $\sum_{i=1}^n x_i =0$ and $\sum_{i \in I} x_i \ne 0$ for each non-empty proper subset $I$ of $\{1, \ldots, n\}$. In this paper, we mainly investigate the case when $G$ is $\mathbb{Z}^2$ and $\mathbb{Z}^3$, and $X$ is a discrete Euclidean ball. An application to the classical problem of estimating the Davenport constant of a box - a product of intervals of integers - is then obtained.
A Unified Spectral Framework for Weighted Adjacency-Degree Matrices of Dendrimer and Bethe Trees
We introduce a weighted adjacency-degree matrix \(A_{fg}(G)\) with edge weights \(f(d_i,d_j)\) and diagonal entries \(g(d_i)\), unifying adjacency, Laplacian, signless Laplacian, \(A_α\), ABC, Randić, Sombor and related matrices. For dendrimer trees \(D_{n,k}\) and Bethe trees \(B_{n,k}\), the characteristic polynomial is factorized through one recursive sequence \(P_{fg,n}\). When \(f^2(1,k)=f^2(k,k)\), this sequence admits a Chebyshev reduction to \( U_{j+1}(x)+δU_j(x)=0, \) covering \(L/L^+\) and \(A_α\); explicit cosine spectra occur only in special cases, such as the adjacency matrix and the \(L/L^+\) end factor of \(B_{n,k}\). We derive positive-semidefinite energy formulas, Gershgorin criteria, spectral-gap estimates, interlacing and non-interlacing results, partial eigenvalue-coincidence information, and McClelland- and Koolen--Moulton-type bounds. Several known results are recovered as special cases of this unified framework.
Making Every Number from 1 to N Under a Fixed Cycle of $+$, $\times$, $-$, $÷$
Start with the number $2$. At each move, combine two numbers already made, but the operations must be used in the fixed repeating order $+,\times,-,÷$. We ask for the fewest moves needed to make every integer from $1$ to $N$. Since $2$ is already one of the numbers we want and each move makes at most one new number, at least $N-1$ moves are needed. We show that $N-1$ moves are also enough for every $N\ge 9$. Conventional induction cannot work, because a division that comes right after a completed interval $\{1,\dots,P\}$ produces numbers already made. Instead we extend a completed interval $\{1,\dots,P\}$ to $\{1,\dots,3P\}$ all at once, which counting shows is the smallest multiplicative extension $P\to kP$ that can work, and then adjust the last few moves to reach every other $N$. For $9\le N\le 33$ we give explicit sequences, found by computer search.
Mixing Times of Switch Chains via High-Dimensional Expansion
The switch chain is a Markov chain defined on the set of labelled realizations of a given graphical degree sequence. At each step, a pair of vertex-disjoint edges is chosen at random and the process attempts to replace them with a uniformly chosen perfect matching of the same four vertices, rejecting any proposal that would create a multiple edge. The resulting process is reversible with respect to the uniform distribution on all realizations. We investigate the mixing time of this chain by viewing realizations as the facets of a simplicial complex and studying a variant of the original process called the simplicial switch chain, which we analyze using tools from the theory of high-dimensional expansion. Our technical contributions include a proof that links of faces of sufficiently high codimension are strong spectral expanders and a comparison between the Dirichlet energies of large block updates and two-edge updates.
Our main result is an $O(Δ^{2}m\log m)$ bound on the mixing time of both simplicial and classical switch chains whenever $m\ge CΔ^{8}$, where $m$ is the number of edges, $Δ$ is the maximum prescribed degree, and $C>0$ is an absolute constant. For sequences on $n$ vertices with fixed maximum degree, this proves that the chain mixes in $O(n\log n)$ steps, resolving a longstanding conjecture of Cooper, Dyer, and Greenhill and extending its conclusion to irregular degree sequences.
Surjectivity of the Enots Wolley Sequence
We prove that the Enots Wolley sequence contains every positive integer with at least two distinct prime divisors. Suppose, toward a contradiction, that some eligible integer is omitted, and consider its finite set of prime divisors. The local rules then severely restrict how terms involving these primes can occur: after a finite initial segment, terms divisible by some but not all of them can outnumber terms divisible by all of them by at most a fixed constant. A prime-exchange construction gives the opposite conclusion at large scales. From almost every term divisible by all of the chosen primes, it produces enough smaller earlier terms divisible by only some of them; a weighted double count makes this excess quantitative and yields a contradiction. It follows that any omission would force every sufficiently late term to have a prime divisor in one fixed finite set. Prime recurrence and a disjoint-cover argument rule out such a finite obstruction, proving surjectivity. The only analytic number-theoretic inputs are the prime number theorem and Mertens' estimate for reciprocal primes.
Connective constants of Grigorchuk graphs
The connective constant $μ(G)$ of a graph $G$ is the exponential growth rate of the number of self-avoiding walks starting at a given vertex. We prove upper and lower bounds for the connective constants of Cayley graphs $G_ω$ of a general Grigorchuk group encoded by a sequence $ω\in\{0,1,2\}^{\Bbb N}$. In particular, $μ(G_ω) > ϕ$ for any such Cayley graph (subject to a simple condition on $ω$), where $ϕ:= \frac12(1+\sqrt 5)$ is the golden mean. This extends earlier work of the author and Zhongyang Li in "Cubic graphs and the golden mean'', Discrete Math. 343 (2020), article 111638, where it was conjectured that $μ(G)\geϕ$ for all infinite, vertex-transitive, cubic graphs. The current work includes an analysis of the proportions of appearances of given label-sequences in the orbital Schreier graphs of general Grigorchuk groups.
New integer sequence OEIS A392714 counts Wronskians: fast evaluation via late-growing permutations
The alternating composition of $N = 2p$ weighted differential operators $w_j(x)\cdot\partial_x^{\,p}$ of strict order $p$ on the line $\mathbb{R} \ni x$ is again an operator of order $p$; its coefficient is the universal constant $c(p)$ times the Wronskian of the weights $w_1,\ldots,w_N$. Lie brackets of vector fields fix $c(p=1)=1$; we want to find $c(p \geqslant 2)$: e.g., $c(2) = 2$ or $c(3) = 90$. Direct symbolic expansion (over $|S_{2p}| =(2p)!$ permutations) fails for $p \geqslant 4$. Taking the monomials $w_j = x^{j-1}$ reduces the summation to the much smaller set $Φ_p \subseteq S_{2p-1} \subsetneq S_{2p}$ of late-growing permutations. Expressing $c(p)$ as a signed sum of products of falling factorials, we implement and speed up the algorithm that gains all the integer values up to $c(18) = 4.881\ldots \cdot 10^{462}$. The resulting sequence is new, now registered as OEIS A392714; its (sub)leading-order growth rate is $\log c(p) \simeq 2p^2\log p -b p^2 + \overline{o}(p^2)$ for $p\gg 1$, with $b\geqslant 2.6744$.
The Distance Laplacian and Distance Signless Laplacian Spectra of $\mathcal{C}$-Graphs
Mandal and Mehatari (\emph{Comp.\ Appl.\ Math.}, 2025) introduced the class $\mathcal{C}$ of cographs generated by a finite creation sequence $(α_1,\dots,α_m)$ of natural numbers, and derived the inertia, an extended eigenvalue-free interval, and the exact characteristic polynomial for the \emph{adjacency} matrix of such graphs. In this note we develop the parallel theory for the \emph{distance Laplacian} matrix $D^L(G)$ and \emph{distance signless Laplacian} matrix $D^Q(G)$. It is shown that $(0,α_{\min}) \cup (n-α_{\min}, n)$, $(0,n) \ \cup\ (n,\,n+α_{\min}) \ \cup\ (2n-α_{\min},\,2n)$, $\big(2\Tr_{\min},\ μ_{\max}(D^Q(G))\big)$ are the eigenvalue-free intervals of the Laplacian, distance Laplacian, and distance signless Laplacian matrices respectively for the said class of graphs.
Cayley graph diameters for fixed cycle types are eventually quasipolynomial
Given a cycle type, the corresponding conjugacy class of $S_n$ generates either $S_n$ or $A_n$ for sufficiently large $n$. We prove that the sequence of diameters of Cayley graphs is eventually polynomial on residue classes for any fixed cycle type. This result is also extended to finite unions of conjugacy classes.
Unimodality of Forest Independence Polynomials
For a finite forest $F$ let $i_k(F)$ be the number of independent sets of $F$ with $k$ vertices. Zhang and Li proved that the sequence $i_0(F),i_1(F),\dots,i_{α(F)}(F)$ is unimodal for every finite forest $F$, which answers Erdős Problem 993. We give a second proof. It starts from their decomposition relative to a fixed independent set and from the bounds of Zhang and Li and of Fang, Lu, Nevo, Yao and Zheng that confine a valley of the sequence to an explicit window of ranks. For a forest with at least $25$ vertices, one moment argument excludes a valley at every rank of the window: at the activity where the hard-core mean equals the rank, the size of a random independent set is a mixture of binomial laws over an independent set of maximum weight, a valley is a moment inequality for this mixture, and it is excluded by duality given three bounds that hold for every forest, on the variance of the number of free vertices and on its Laplace transforms, and on the variance ratio. The variance bound is proved by hand up to finitely many interval checks and the other two bounds are verified by computer on finite interval-arithmetic coverings; on the resulting parameter domain a valley is excluded by exact tests on finitely many rational boxes while the mean number of free vertices is below an explicit starting mean between $19$ and $50$, and above it by one inequality, with explicit constants, for the fibers of a weighted valley kernel, proved by hand up to a finite list of explicit checks and averaged over the mixture. Forests with at most $24$ vertices are treated by exact counting, by hand except for exact rational evaluations of two explicit formulas at $43$ parameter triples. No forest is enumerated. A formal proof of the theorem in Lean 4 accompanies the paper.
Long-range expanders: construction and cutoff
Long-range expansion is a combinatorial graph property introduced to construct metric spaces with strong quantitative obstructions to low-distortion embeddings. Such extremal constructions are motivated by fundamental questions in metric geometry and nonlinear functional analysis. However, the only known constructions of long-range expander sequences are random regular graphs; the problem of constructing explicit sequences, especially with logarithmic girth, remains open. We resolve this question in strong form by proving that the Ramanujan condition implies long-range expansion. In particular, classical Ramanujan constructions (such as LPS graphs) give explicit long-range expander sequences with logarithmic girth. We also clarify that long-range expansion implies spectral expansion, and both implications are strict.
While long-range expansion, the Ramanujan property, and spectral expansion are strictly separated, it is \textit{a priori} not clear how robust these gaps are. We next compare them from a dynamics perspective: how do the different notions of expansion affect the mixing rate of random walks? Our second main result is that, from a dynamics perspective, LRE and the Ramanujan property are equivalent. We show that the random walk on any LRE sequence has the same cutoff location and Gaussian limit profile as on a Ramanujan graph. This incidentally offers intermediate progress between cutoff for Ramanujan graphs---proven by Lubetzky and Peres---and the long-standing conjecture of cutoff for transitive spectral expanders.
On fusion product and N!/k-conjecture
We formulate a version of Schur--Weyl duality for the current Lie algebra $\mathfrak{gl}_V[x,y]=\mathfrak{gl}_V\otimes\mathbb{C}[x,y]$. Under this duality, the Garsia--Haiman modules of the $N!$-conjecture become cyclic and cocyclic $\mathfrak{gl}_V[x,y]$-modules, and we describe them as iterated fusion and cofusion products of tautological $\mathfrak{gl}_V$-modules. We show that Haiman's $N!$-theorem for a diagram is equivalent to the coincidence of the fusion and the cofusion filtrations on the tensor product of the local Weyl modules attached to its rows, and that the fusion and cofusion products of Garsia--Haiman modules are associative. Let $λ$ and $μ$ be Young diagrams obtained by removing two different corners from the same diagram. We construct an iterated fusion product of $S^2V$ with local Weyl modules, which is a quotient of the common quotient of the Garsia--Haiman modules of $λ$ and $μ$, fits into short exact sequences with each of them, and has Butler's intersection polynomial as its character. This gives a representation-theoretic proof of Butler's conjecture. The same construction gives lower bounds for the dimensions in the $N!/k$-conjecture.
Cyclic Hamilton Cycle Decompositions of Carousel Tournaments of Order $pq$
Kelly's conjecture asks whether every regular tournament admits a Hamilton cycle decomposition. Motivated by its symmetry-preserving extension, we study cyclic Hamilton decompositions of carousel tournaments. For an odd integer $n$, let \[ T_n=\Cay\left( \mathbb Z_n,\left\{1,2,\ldots,\frac{n-1}{2}\right\} \right) \] be the carousel tournament. We ask whether $T_n$ has a Hamilton decomposition invariant under translation by $1$. Although the answer is immediate when $n$ is prime, composite orders introduce a genuine obstruction: nonunit differences generate short cycles rather than Hamilton cycles. We resolve a general composite-order family by proving that, whenever $n=pq$ for primes $7\le p<q$, the tournament $T_n$ admits a cyclic Hamilton cycle decomposition. The proof combines Hamiltonian difference sequences over prime fields with a matching argument that constructs two base paths with disjoint difference sets in $\mathbb Z_{pq}$. Thus our result gives an infinite family supporting the cyclic, symmetry-preserving extension of the Hamilton decomposition problem for regular tournaments.
Almost Golomb Sequences
Golomb's sequence $(G(n))$ is the unique nondecreasing sequence of positive integers in which each $n$ appears exactly $G(n)$ times. It satisfies the global self-referential rule $G(G(n)+G(n-1)+\cdots+G(1))=n$, grows smoothly like a power of $n$ governed by the golden ratio, and is not $k$-regular for any $k\ge 2$.
We introduce almost Golomb sequences, obtained by truncating the cumulative sum to a fixed size sliding window $r$: $a(a(n)+a(n-1)+\cdots+a(n-r+1))=n$. This finite-memory truncation completely changes the nature of the sequence. The smooth power law gives way to oscillatory linear growth, and the sequence becomes $r$-regular for every $r\ge 2$. For small values of $r$ we establish explicit denesting formulas, prove that $a(n)/n$ does not converge, and reveal the combinatorial structure including a cellular automaton and a palindromic substitution.
When one varies $r$, the Golomb sequence itself reappears. We prove that the first $r$ terms of the order-$r$ sequence form a shifted copy of Golomb's sequence, and that this initial segment controls the maximum multiplicity across the whole family. For $r\ge 5$ in particular, the maximal multiplicity is exactly $G(r-1)$. The sequence that was truncated returns as the law governing the family it generated.