sequence
6966 papers tagged with this keyword
The $q$-deformed cross-ratio: modular invariants and Coxeter friezes
We introduce and study a scalar $q$-deformation of the cross-ratio on $\mathbb P^1(\mathbb Q)$. Our construction is based on the notion of $q$-deformed rational numbers due to Morier-Genoud and the author. The $q$-cross-ratio is invariant under $\mathrm{PSL}(2,\mathbb{Z})$, while elements of determinant $-1$ of $\mathrm{PGL}(2,\mathbb{Z})$ act by $q\mapsto q^{-1}$. A principal result is its relation to $q$-deformed Coxeter friezes associated with rational polygons. The expansion at $q=e^h$ yields an algebraically independent sequence of modular invariants and relative invariants, although this sequence does not separate modular orbits. We compute the first two nonconstant coefficients of this expansion explicitly.
Distinguishing adjacent vertices by ordering edges
The 1-2-3 Conjecture states that for every graph without isolated edges, there exists an edge-weighting from $\{1,2,3\}$ such that adjacent vertices receive distinct sums of weights on their incident edges. In the sequence variant, adjacent vertices are to be distinguished by the sequences of weights on their incident edges. In this paper, we investigate whether, for every graph without isolated edges and for a fixed proper edge colouring (where colours are interpreted as weights), there exists a global total order of the edges such that the resulting sequences of incident weights distinguish adjacent vertices. For connected graphs, we prove that such an order exists whenever there exist two adjacent vertices that have distinct sets of incident weights. This yields a positive answer for every proper edge colouring of a connected non-regular graph or a connected graph of class two. Moreover, a probabilistic argument gives the same conclusion for connected regular graphs of degree at least six.
A General Inequality for Walks in Graphs
Let $G$ be a graph and $w_k(G)$ denote the number of walks in $G$ of length $k$. For sequences $a_1, \cdots, a_n$ and $b_1, \cdots, b_n$ of non-negative integers such that $a_1 + \cdots + a_n = b_1 + \cdots + b_n$, we determine a simple necessary and sufficient condition on $a_1, \cdots, a_n, b_1, \cdots, b_n$ for the inequality \[ w_{a_1}(G) \cdots w_{a_n}(G) \geq w_{b_1}(G) \cdots w_{b_n}(G) \] to hold for any graph $G$.
Iterating the Lehmer code on inversion sequences: Catalan fixed points and finite stabilization
We study an operator $Θ$ on finite integer sequences, where $Θ(σ)_i$ counts the entries to the left of $σ_i$ that are strictly smaller than $σ_i$. This operator is a variant of the so-called Lehmer code. For every sequence $σ$, the image $Θ(σ)$ is an inversion sequence, and the restriction of $Θ$ to permutations of $[0,n-1]$ is a bijection onto inversion sequences of length $n$. We characterize the fixed points of $Θ$ by avoidance of the pattern $101$ together with a saturation condition, prove that they are counted by the Catalan numbers, and give an explicit recursive bijection with Dyck paths. We also show that the sequences whose first $Θ$-image is fixed are precisely those avoiding both $101$ and $201$. Finally, we prove finite stabilization for all inversion sequences, exhibit a family attaining the maximal stabilization time, and show that the second stabilization level is not closed under classical patterns.
Multiparameter counting of numerical semigroups: recurrences and leaf-discriminating trees
A numerical semigroup is a subset of the nonnegative integers, closed under addition and with finite complement. The size of the complement is its genus. The problem of counting semigroups by the largest gap got very important through the so-called Frobenius problem, first documented in 1884. Accordingly, the largest gap is called the Frobenius number. In the last two decades, counting by the genus has become a subject of even more intense study, mostly because of the non-solved conjectures on its monotonic and super-Fibonacci growth. We propose a new approach to counting semigroups by the Frobenius number and by the genus, by introducing two ad-hoc trees. Those are leaf-discriminating trees in the sense that their leaves correspond exactly to the objects we want to count and, so, exploring these trees is optimal.
On the theoretical side, it is known that the number of semigroups of each genus grows asymptotically with the genus as the Fibonacci numbers and that the number of semigroups of each Frobenius number grows asymptotically as a two-step doubling sequence. We prove a formula for the number of numerical semigroups of each Frobenius number $F$, genus $g$, and multiplicity $m$ (first nonzero nongap), for $m\geq(F+1)/3$. It is known that asymptotically almost all semigroups satisfy this inequality. This formula gives a multiparameter exact version of the increasing behaviours just mentioned.
On the computational side, we implemented a recursive descending algorithm based on the so-called seeds structure, trimming the general semigroup tree exactly at those nodes with no descendants with a given genus, in the first case, or with no descendants with a given Frobenius number, in the second case. We refined the parallelizing strategies and we overcame the previous limitation of the length of integers in the bitwise representation of the gap sequence and the seed sequence.
A short proof of Mathar's 2021 recurrence conjecture for the Lehmer-Comtet diagonal A045406
For OEIS sequence A045406, the column-2 diagonal of the Lehmer-Comtet triangle A008296, R. J. Mathar contributed in September 2021 the conjectured order-2 P-recursive recurrence \[ a(n) + (2n-7)\,a(n-1) + (n-4)^{2}\,a(n-2) \;=\; 0,\qquad n \ge 5. \] We give a short proof. Detlefs's harmonic-number closed form $a(n) = (-1)^n (2 H_{n-3} - 3)(n-3)!$ for $n \ge 3$ collapses the left-hand side, after factoring out $(-1)^n (n-5)! (n-4)$, to a polynomial identity in $n$ with coefficient $H_{n-4}$. The $H_{n-4}$-coefficient simplifies to $(n-3) - (2n-7) + (n-4) = 0$ (using $H_{n-3} = H_{n-4} + 1/(n-3)$ and $H_{n-5} = H_{n-4} - 1/(n-4)$); the constant remainder is $0$ for the same reason. The supplementary archive contains a SymPy script verifying both pieces symbolically, the e.g.f.\ expansion against the harmonic closed form, and Mathar's recurrence numerically for $n = 5, \ldots, 5000$.
An extension of the Erdős-Tetali theorem
Published in Random Structures & Algorithms 55 (2019), no. 1, 173-214
• View Publication
• BIB
Given a sequence $\mathscr{A}=\{a_0<a_1<a_2\ldots\}\subseteq \mathbb{N}$, let $r_{\mathscr{A},h}(n)$ denote the number of ways $n$ can be written as the sum of $h$ elements of $\mathscr{A}$. Fixing $h\geq 2$, we show that if $f$ is a suitable real function (namely: locally integrable, $O$-regularly varying and of positive increase) satisfying \[ x^{1/h}\log(x)^{1/h} \ll f(x) \ll x^{1/(h-1) - \varepsilon} \text{ for some } \varepsilon > 0, \] then there must exist $\mathscr{A}\subseteq\mathbb{N}$ with $|\mathscr{A}\cap [0,x]|=Θ(f(x))$ for which $r_{\mathscr{A},h+\ell}(n) = Θ(f(n)^{h+\ell}/n)$ for all $\ell \geq 0$. Furthermore, for $h=2$ the same conclusion holds under $x^{1/2}\log(x)^{1/2} \ll f(x) \ll x$.
The proof is somewhat technical and the methods rely on ideas from regular variation theory, which are presented in an appendix with a view towards the general theory of additive bases. We also mention an application of these ideas to Schnirelmann's method.
Corrections to the published version are highlighted in red.
Fence Posets, Good Gradings and Frobenius Maximal Parabolics
Let $\mathfrak L$ be a Frobenius maximal parabolic subalgebra of $\mathfrak{sl}_n$. For any $F\in\mathfrak L^*$ for which the Kirillov form $B_F(x,y)=F([x,y])$ is non-degenerate, let $\widehat F$ denote the associated principal element. We prove that the multiplicities of the eigenvalues of $\operatorname{ad}_{\widehat F}$ on $\mathfrak L$ form a unimodal sequence symmetric about $\frac12$. We also prove that the multiplicities of the eigenvalues of $\operatorname{ad}_{\widehat F}$ on $\mathfrak{gl}_n$ form a unimodal sequence symmetric about $0$. The proof relates the ranked meander associated to $\mathfrak L$ to the order ideals of a related fence poset through Panyushev reduction. The known unimodality of the rank polynomial of the fence poset implies that of the meander, which in turn determines a good grading of $\mathfrak{gl}_n$ in the sense of Elashvili and Kac. We prove that this grading coincides with that induced by the principal element and that the pyramid associated to this grading may be filled in such a way that its good element $e$ lies in $\mathfrak L$. The two unimodality results then follow from the injectivity properties of $\operatorname{ad}_e$ coming from the good grading and the duality induced by the bilinear form $B_F$.
About the Cramér Large Deviation Property for Bell Polynomials
If $\boldsymbol{w} = (w_1,w_2,\dots)$ is a sequence in $\mathbb{N}=\{1,2,\dots\}$, the partial Bell polynomials based on $\boldsymbol{w}$ are $B_{n,k}$ for $k \in \mathbb{N}$ and $n\in\{k,k+1,\dots\}$. Let $F(z) = \sum_{n=1}^{\infty} (w_n/n!)z^n$ be the exponential generating function for $\boldsymbol{w}$, and assume the radius of convegence is positive $R>0$. Then $F(z)^k = \sum_{n=k}^{\infty} (k!/n!) z^n B_{n,k}$ for $|z|<R$. Alternatively, defining $Q_{k,n} = (k!/n!)B_{n,k}$, we have $Q_{1,n} = w_n/n!$, and $Q_{k+1,n}=\sum_{m=1}^{n-k} Q_{1,m} Q_{k,n-m}$ for $k\geq 1$. Let us say that the Cramér-type large deviation property holds if $$ \lim_{\substack{n \to \infty\\ k/n \to κ}} \frac{1}{n}\, \ln\left(Q_{k,n}\right)\, =\, \mathcal{G}(κ)\, ,$$ for every $κ\in (0,1)$, where $\mathcal{G}(κ)=\inf_{r \in (0,R)} (κ\ln(F(r))-\ln(r))$. The (Hardy-Ramanujan) Erdös induction argument suggests this should generally be true as long as two technical conditions are true: one an initial step, and the other a condition for small densities $κ$.
Umbral calculus over a vector space
Let $V$ be a vector space over $\mathbb F=\mathbb R$ or $\mathbb C$. We develop a basis-free umbral calculus over $V$. We define the vector space of polynomials over $V$, and polynomial sequences in it. We discuss shift-invariant operators acting in polynomials over $V$. We define polynomial sequences of binomial type and Sheffer sequences over $V$. We provide equivalent characterizations of these polynomial sequences. We prove two recurrence formulas for Sheffer sequences. With each Sheffer sequence, we associate a linear operator acting in polynomials over $V$, which we call a Sheffer operator. We prove that the set of Sheffer operators is a group for the usual product of linear operators, which is isomorphic to the Riordan group of pairs of formal tensor power series in a variable from $V$. Under the assumption that $V$ is an algebra, we lift every Sheffer sequence over $\mathbb F$ to a Sheffer sequence over $V$. We provide examples of such lifting.
On $S$-packing total colorings
In this paper, we generalize the concept of packing total coloring by introducing a new concept called the $S$-packing total coloring. For a graph $G$ and a non-decreasing sequence $S=(a_1,a_2,\ldots)$ of positive integers, an $S$-packing total coloring of $G$ is a mapping $c: V(G)\cup E(G)\rightarrow \{1,2,\ldots\}$ such that for any two distinct elements $A,B\in V(G)\cup E(G)$ with $c(A)=c(B)=i$, the distance between $A$ and $B$ is at least $a_i+1$. The smallest integer $k$ such that $G$ admits an $S$-packing total coloring using $k$ colors is called the $S$-packing total chromatic number of $G$, denoted by $χ_S^{''}(G)$. For any sequence $S$, we establish general lower and upper bounds for $χ_S^{''}(G)$, and characterize all graphs $G$ with $χ_S^{''}(G)\in\{1,2,3\}$. Furthermore, we investigate $S$-packing total chromatic numbers of complete bipartite graphs, as well as infinite and finite paths and cycles.
Derived equivalences between diagram categories of finite posets
We study universal derived equivalences between diagram categories indexed by finite posets. Starting from a construction of Ladkani, we give an intrinsic criterion for determining when a finite poset admits a decomposition to which this construction can be applied. This leads to the notion of an admissible cut, formulated entirely in terms of the order structure of the poset. Our main result therefore provides a method for producing, from a given finite poset admitting such a cut, a new poset that is universally derived equivalent to it. The construction is reversible once the partition is retained, so that the original mixed order relations can be recovered from the transformed poset. As applications, we show that every finite poset of height at most one is universally derived equivalent to its opposite, give a criterion characterizing source-to-sink transformations at minimal elements, and recover the universal derived equivalence of all orientations of a finite tree through sequences of such local transformations. These results are also applied to persistence modules indexed by finite posets and to extensions obtained by adjoining further finite parameters.
A Resolution of the de Bruijn--Erdős Consecutive-Gap Problem
Let $(x_n)_{n\geq1}$ be a sequence of distinct points on the unit circle. An $r$-span is the total length of $r$ consecutive gaps determined by the inserted points. Write $M_n^{(r)}$ and $m_n^{(r)}$ for the largest and smallest $r$-spans after the first $n$ insertions. We prove that there is an absolute constant $c>0$ such that, for every sufficiently large $r$, \[
\limsup_{n\to\infty}\bigl(nM_n^{(r)}-r\bigr)
\geq c\sqrt{\log r},
\qquad
\limsup_{n\to\infty}\bigl(r-nm_n^{(r)}\bigr)
\geq c\sqrt{\log r}, \] and \[
\limsup_{n\to\infty}\frac{M_n^{(r)}}{m_n^{(r)}}
\geq 1+\frac{\log r}{100r}. \] Thus all three asymptotic conjectures made by de Bruijn and Erdős in 1949 are resolved. The ratio bound matches the upper bound of Clément and Steinerberger up to an absolute constant and answers a question of Brethouwer. The proofs compare interval counts at nearby times. Pointwise control leads to a one-dimensional sequence-discrepancy argument for the ratio, while averaged control and Halász's planar $L^1$ discrepancy theorem give the two one-sided conclusions.
Longest increasing subsequences of dyadic-type chaotic orbits
This paper studies the longest increasing subsequence (LIS) problem for sequences generated by dyadic-type chaotic interval maps. Starting from a single point $x\in[0,1)$ chosen uniformly at random, we form the order pattern of the first $N$ points of its orbit, with the doubling map as the basic model. Let $λ_1^{(N)}$ be the LIS length, equivalently the length of the first row of the Young diagram obtained by Schensted's insertion. We show that $\mathbb E[λ_1^{(N)}]/\sqrt N\to 2$, matching the leading asymptotics in the classical Ulam--Hammersley problem for uniform random permutations.
Restricted inversion polynomials
For a finite subset $I$ of positive integers, the descent polynomial $\mathcal{D}(I;n)$ counts the number of permutations in $S_n$ that have descent set $I$. We generalize descent polynomials by considering permutations with a specific subset $S$ of common inversions called $\mathbf{h}$-inversions, where $\mathbf{h} = (\mathbf{h}(1), \mathbf{h}(2), \ldots )$ is a weakly increasing sequence of positive integers such that $\mathbf{h}(i)> i$. We prove that this more general count, denoted by $\mathcal{I}_\mathbf{h}(S;n)$, is also a polynomial. We give three explicit expansions for $\mathcal{I}_\mathbf{h}(S;n)$, prove the coefficients for two of these expansions are log-concave, and define a graded generalization.
Sequence b-colorings in graphs
We introduce and begin the study of sequence b-colorings, a natural generalization of the classical notion of b-colorings introduced by Irving and Manlove in 1999. In a sequence b-coloring, each color class is required to contain a prescribed minimum number of color-dominating vertices (CDVs). We establish several fundamental properties of the associated parameters, prove that every sequence is realizable, and show that the problem of deciding whether a particular graph realizes a particular sequence is NP-complete. We also characterize the sequences realized by cycles, obtain results on regular graphs with prescribed girth, and investigate colorings requiring one additional CDV, including a characterization of connected graphs with chromatic number $3$ for which no such coloring exists.
Matchings and shape-Wilf-Equivalence of sets of patterns of length three I: Triples
Permutation pattern avoidance on Ferrers boards has become a central topic in enumerative combinatorics with important connections to matchings, set partitions, and other combinatorial structures as it allows one to build families of Wilf-equivalent patterns. While shape-Wilf-equivalence classes have been completely determined for individual patterns and pairs of patterns of length three, the corresponding classification for larger pattern sets has remained open. In this paper, we provide a complete classification of the shape-Wilf-equivalence classes of triples of patterns of length three. Our proofs use a bijective encoding of pattern avoiding transversals to establish all equivalence classes. As an application, we enumerate matchings avoiding triples of patterns of length three for all but two equivalence classes, extending previous results of Bloom and Elizalde. These enumerative results identify additional families of combinatorial objects counted by the Fuss-Catalan numbers and by other integer sequences appearing in the OEIS.
A study of $m$-ary partitions whose conjugates are $q$-ary
Published in Journal of Algebra Combinatorics Discrete Structures and Applications (2026), 13(3), 385-407
• View Publication
• BIB
While people have studied $m$-ary partitions of an integer $n$ and studied conjugation of partitions of $n$, these topics are rarely mixed because the $m$-ary property is almost always lost after conjugation. In a previous work, Flowers and Lockard investigated $m$-ary partitions of $n$ whose conjugates were also $m$-ary. We generalize that previous work by studying $m$-ary partitions whose conjugates are $q$-ary, where $m$ and $q$ may be distinct. We provide a family of operators on these partitions that can be used to generate all such partitions uniquely and associate a unique polynomial with each partition based on the sequence of operators used to generate it. Using the generating operators and modular arithmetic we explore many examples and families of $m$-ary partitions whose conjugates are $q$-ary.
A graph reconstruction problem involving common neighbors
Given a simple graph $G = (V, E)$ on $v$ vertices and two distinct vertices $x, y \in V$, the co-degree $c_{x,y}$ associated to the pair $\{x, y\}$ is the number of their common neighbors in the graph $G$. The co-degree sequence of $G$, denoted by $γ(G)$, is the list of all the co-degrees associated to all the possible pairs of distinct vertices, arranged in non-increasing order. In this paper we consider the following problem, which can be viewed as a generalization of a result by Erdős and Gallai as well as of the Erdős, Rényi and Sós' friendship theorem: given an integer $v\geqslant 2$ and a sequence $γ$ of nonnegative integers arranged in non-increasing order, establish if there exists a simple graph on $v$ vertices having $γ$ as its co-degree sequence and, in case of positive answer, provide such a graph. We provide a full answer to this problem for the class of planar $C_4$-free graphs.
The range and omitted values of a certain sequence involving the partition function
Let \(p(n)\) denote the ordinary partition function. Motivated by analogous questions concerning Euler's totient function and its complementary counting function, we study the range of the partition-derived sequence \(p(n)-n\). We give combinatorial interpretations of this sequence and investigate both the attained and omitted positive integers. We obtain exact and asymptotic information about the gaps between consecutive attained values and show that the range is remarkably sparse: its counting function has order \((\log x)^2\), and consequently the range has natural density zero. We also extend the discussion to partitions whose Durfee square has side at least a fixed positive integer.