sequence
6845 papers tagged with this keyword
On a Conjecture Concerning the Complementary Second Zagreb Index
The complementary second Zagreb index of a graph $G$ is defined as $cM_2(G)=\sum_{uv\in E(G)}|(d_u(G))^2-(d_v(G))^2|$, where $d_u(G)$ denotes the degree of a vertex $u$ in $G$ and $E(G)$ represents the edge set of $G$. Let $G^*$ be a graph having the maximum value of $cM_2$ among all connected graphs of order $n$. Furtula and Oz [MATCH Commun. Math. Comput. Chem. 93 (2025) 247--263] conjectured that $G^*$ is the join $K_k+\overline{K}_{n-k}$ of the complete graph $K_k$ of order $k$ and the complement $\overline{K}_{n-k}$ of the complete graph $K_{n-k}$ such that the inequality $k<\lceil n/2 \rceil$ holds. We prove that (i) the maximum degree of $G^*$ is $n-1$ and (ii) no two vertices of minimum degree in $G^*$ are adjacent; both of these results support the aforementioned conjecture. We also prove that the number of vertices of maximum degree in $G^*$, say $k$, is at most $-\frac{2}{3}n+\frac{3}{2}+\frac{1}{6}\sqrt{52n^2-132n+81}$, which implies that $k<5352n/10000$. Furthermore, we establish results that support the conjecture under consideration for certain bidegreed and tridegreed graphs. In the aforesaid paper, it was also mentioned that determining the $k$ as a function of the $n$ is far from being an easy task; we obtain the values of $k$ for $5\le n\le 149$ in the case of certain bidegreed graphs by using computer software and found that the resulting sequence of the values of $k$ does not exist in "The On-Line Encyclopedia of Integer Sequences" (an online database of integer sequences).
In Search of a Hidden Curve
It has been noticed since around 2007 that certain enumeration problems can be solved when an analytic or algebraic curve is identified. This curve is the key to the problem. In these lectures, a few such examples are presented. One is a detailed account on counting simple Hurwitz numbers, explaining how the problem was solved by discovering this key curve. The formula for the curve allows us to write the generating functions of Hurwitz numbers in terms of polynomials. This unexpected polynomiality produces, as a byproduct, straightforward and short proofs of the Witten-Kontsevich theorem and the $λ_g$-theorem of Faber-Pandharipande. An analogous enumeration problem associated with Catalan numbers is also presented, which has a simpler feature in terms of analysis. The asymptotic behavior of counting leads this time to the Euler characteristic of the moduli spaces of smooth curves. We then discuss another enumeration problem, the Apéry sequences. The quest of identifying the hidden curve for this case remains open.
These curves, also known as spectral curves, are discovered via solving ordinary differential equations. The counting problem of geometric origin associated with the genus 0, one marked point case is encoded in the spectral curve. It is explained that going from the $(g,n)=(0,1)$-case to arbitrary $(g,n)$ is a process of quantization of the spectral curve.
This perspective of quantization is discussed in a geometric setting, when the differential equations are linear with holomorphic coefficients, in terms of Higgs bundles, opers, and Gaiotto's conformal limit construction. In this context, however, there are no counting problems behind the scene.
Cloitre's Self-Generating Sequence
In 2009 Benoit Cloitre introduced a certain self-generating sequence $$(a_n)_{n\geq 1} = 1, 1, 2, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 2, \ldots,$$ with the property that the sum of the terms appearing in the $n$'th run equals twice the $n$'th term of the sequence. We give a connection between this sequence and the paperfolding sequence, and then prove Cloitre's conjecture about the density of $1$'s appearing in $(a_n)_{n \geq 1}$.
Bijections around Springer numbers
Arnol'd proved in 1992 that Springer numbers enumerate the Snakes, which are type $B$ analogs of alternating permutations. Chen, Fan and Jia in 2011 introduced the labeled ballot paths and established a ``hard'' bijection with snakes. Callan conjectured in 2012 and Han--Kitaev--Zhang proved recently that rc-invariant alternating permutations are counted by Springer numbers. Very recently, Chen--Fang--Kitaev--Zhang investigated multi-dimensional permutations and proved that weakly increasing $3$-dimensional permutations are also counted by Springer numbers. In this work, we construct a sequence of ``natural'' bijections linking the above four combinatorial objects.
Joint equidistributions of mesh patterns 123 and 321 with symmetric and minus-antipodal shadings
In this paper, we extend recent results by Lv and Kitaev by proving 20 (out of 22 possible) joint equidistributions of mesh patterns 123 and 321 with symmetric shadings, as well as all 36 joint equidistributions of these patterns with minus-antipodal shadings. Our results link several joint equidistributions of mesh patterns to various integer sequences, including unsigned Stirling numbers of the first kind, harmonic numbers, and the numbers of inversion sequences avoiding a certain vincular pattern studied by Lin and Yan.
Tight universal bounds on the height times the width of random trees
We obtain assumption-free, non-asymptotic, uniform bounds on the product of the height and the width of uniformly random trees with a given degree sequence, conditioned Bienaymé trees and simply generated trees. We show that for a tree of size $n$, this product is $O(n \log n)$ in probability, answering a question by Addario-Berry (2019). The order of this bound is tight in this generality.
Average-sized miniatures and normal-sized miniatures of lattice polytopes
Let $d \geq 0$ be an integer and $P \subset \mathbb R^d$ be a $d$-dimensional lattice polytope. We call a polytope $M \subset \mathbb R^d$ such that $M \subset P$ and $M \sim P$ a miniature of $P,$ and it is said to be horizontal if $M$ is transformed into $P$ by translating and rescaling. A miniature $M$ of $P$ is said to be average-sized (resp. normal-sized) if the volume of $M$ is equal to the limit of the sequence whose $n$-th term is the average of the volumes of all miniarures (resp. all horizontal miniatures) whose vertices belong to $(\mathbb Z[1/n])^d.$ We prove that, for any lattice square $P \subset \mathbb R^2,$ the ratio of the areas of an average-sized miniature of $P$ and $P$ is $2:15.$ We also prove that, for any lattice simplex $P \subset \mathbb R^d,$ the ratio of the volumes of a normal-sized miniature of $P$ and $P$ is $1:\binom{2d+1}{d}.$ This ratio is the same as the known result for the hypercube $[0,1]^d$ provided by the author.
On the extremal number of incidence graphs
Given a graph $H$ and a natural number $n$, the extremal number $\mathrm{ex}(n, H)$ is the largest number of edges in an $n$-vertex graph containing no copy of $H$. In this paper, we obtain a general upper bound for the extremal number of generalised face-incidence graphs, a family which includes the standard face-incidence graphs of regular polytopes. This builds on and generalises work of Janzer and Sudakov, who obtained the same bound for hypercubes and bipartite Kneser graphs, and allows us to confirm a conjecture of Conlon and Lee on the extremal number of $K_{r,r}$-free bipartite graphs for certain incidence graphs.
In their work, Janzer and Sudakov showed that such an upper bound on the extremal number holds whenever the graph $H$ satisfies a certain percolation property which captures an appropriate sequence of repeated applications of the Cauchy--Schwarz inequality, a property which they then verify for hypercubes and bipartite Kneser graphs. This percolation property bears close resemblance to a property that arose in earlier work of Conlon and Lee on weakly norming graphs. In this latter work, Conlon and Lee developed a method for controlling repeated applications of the Cauchy--Schwarz inequality based on the properties of reflection groups, which then allowed them to isolate a broad family of weakly norming graphs. Here, we develop this method further, casting it in a purely algebraic form that allows us not only to combine it with the Janzer--Sudakov result and obtain the desired result about the extremal number of incidence graphs, but also to simplify the proofs of both the Conlon--Lee result on weakly norming graphs and a related result of Coregliano.
An Algorithmic Approach to Finding Degree-Doubling Nodes in Oriented Graphs
The Seymour Second Neighborhood Conjecture (SSNC) claims that there will always exist a node whose out-degree doubles in the square of an oriented graph. In this paper, we establish the Graph Level Order (GLOVER) data structure, which orders the nodes by shortest path from a minimum out-degree node and establishes a well-ordering of rooted neighborhoods. This data structure allows for the construction of decreasing sequences of subsets of nodes and allows us to partition transitive triangles into distinct sets. The decreasing sequence of nodes shows the non-existence of counterexamples to the SSNC and precisely identifies a path to the required node. Further, our algorithmic approach finds the occurrence of dense graphs inside the rooted neighborhoods. Beyond theoretical implications, the algorithm and data structure have practical applications in data science, network optimization and algorithm design.
Random Fibonacci Words via Clone Schur Functions
Published in Forum of Mathematics, Sigma 14 (2026) e15
• View Publication
• BIB
We study positivity and probabilistic properties arising from the Young--Fibonacci lattice $\mathbb{YF}$, a 1-differential poset on binary (Fibonacci) words of 1's and 2's, graded by digit sum. Building on Okada's theory of clone Schur functions (Trans. Amer. Math. Soc. 346 (1994), 549--568), we define clone coherent measures on $\mathbb{YF}$ that generate random Fibonacci words of increasing length; unlike for the Young lattice (powered by the classical Schur functions), clone coherent measures are generally not extremal on $\mathbb{YF}$.
Our first main result is a complete characterization of Fibonacci positive specializations -- parameter sequences which yield positive clone Schur functions on $\mathbb{YF}$. Second, we connect Fibonacci positivity with: (i) total positivity of tridiagonal matrices; (ii) Stieltjes moment sequences; (iii) the combinatorics of set partitions; and (iv) families of univariate orthogonal polynomials from the (q-)Askey scheme. We further link moment sequences of orthogonal polynomials to combinatorial structures on Fibonacci words, a connection that may be of independent interest. Third, we analyze scaling limits of the induced random words, obtaining stick-breaking-type limits (linked to GEM laws), new dependent stick-breaking limits, and limits supported on the discrete part of the Martin boundary of $\mathbb{YF}$. These results significantly extend the asymptotics of the Plancherel measure on $\mathbb{YF}$ proved by Gnedin--Kerov (Math. Proc. Camb. Philos. Soc. 129 (2000), 433--446).
Finally, we prove Cauchy-type identities for clone Schur functions with quadridiagonal-determinant right-hand side (in contrast to the product form for classical Schur functions), and construct models of random permutations and involutions from Fibonacci-positive specializations together with a Robinson--Schensted correspondence adapted to $\mathbb{YF}$.
Bounding Klarner's constant from above using a simple recurrence
Published in Arch. Math. 124, 517-523 (2025)
• View Publication
• BIB
Klarner and Rivest showed that the growth of the number of polyominoes, also known as Klarner's constant, is at most $2+2\sqrt{2}<4.83$ by viewing polyominoes as a sequence of twigs with appropriate weights given to each twig and studying the corresponding multivariate generating function. In this short note, we give a simpler proof by a recurrence on an upper bound. In particular, we show that the number of polyominoes with $n$ cells is at most $G(n)$ with $G(0)=G(1)=1$ and for $n\ge 2$, \[
G(n) = 2\sum_{m=1}^{n-1} G(m)G(n-1-m). \] It should be noted that $G(n)$ has multiple combinatorial interpretations in literature.
Sharp Bounds on Lengths of Linear Recolouring Sequences
A recolouring sequence, between $k$-colourings $α$ and $β$ of a graph $G$, transforms $α$ into $β$ by recolouring one vertex at a time, such that after each recolouring step we again have a proper $k$-colouring of $G$. The diameter of the $k$-recolouring graph, $\textrm{diam}~\mathcal{C}_k(G)$, is the maximum over all pairs $α$ and $β$ of the minimum length of a recolouring sequence from $α$ to $β$. Much previous work has focused on determining the asymptotics of $\textrm{diam}~\mathcal{C}_k(G)$: Is it $Θ(|G|)$? Is it $Θ(|G|^2)$? Or even larger? Here we focus on graphs for which $\textrm{diam}~\mathcal{C}_k(G)=Θ(|G|)$, and seek to determine more precisely the multiplicative constant implicit in the $Θ()$. In particular, for each $k\ge 3$, for all positive integers $p$ and $q$ we exactly determine $\textrm{diam}~\mathcal{C}_k(K_{p,q})$, up to a small additive constant. We also sharpen a recolouring lemma that has been used in multiple papers, proving an optimal version. This improves the multiplicative constant in various prior results. Finally, we investigate plausible relationships between similar reconfiguration graphs.
High-dimensional permutons: theory and applications
Permutons, which are probability measures on the unit square $[0, 1]^2$ with uniform marginals, are the natural scaling limits for sequences of (random) permutations.
We introduce a $d$-dimensional generalization of these measures for all $d \ge 2$, which we call $d$-dimensional permutons, and extend -- from the two-dimensional setting -- the theory to prove convergence of sequences of (random) $d$-dimensional permutations to (random) $d$-dimensional permutons.
Building on this new theory, we determine the random high-dimensional permuton limits for two natural families of high-dimensional permutations. First, we determine the $3$-dimensional permuton limit for Schnyder wood permutations, which bijectively encode planar triangulations decorated by triples of spanning trees known as Schnyder woods. Second, we identify the $d$-dimensional permuton limit for $d$-separable permutations, a pattern-avoiding class of $d$-dimensional permutations generalizing ordinary separable permutations.
Both high-dimensional permuton limits are random and connected to previously studied universal 2-dimensional permutons, such as the Brownian separable permutons and the skew Brownian permutons, and share interesting connections with objects arising from random geometry, including the continuum random tree, Schramm--Loewner evolutions, and Liouville quantum gravity surfaces.
Ehrhart Polynomials of Order Polytopes: Interpreting Combinatorial Sequences on the OEIS
In this paper, we provide an overview of Ehrhart polynomials associated with order polytopes of finite posets, a concept first introduced by Stanley. We focus on their combinatorial interpretations for many sequences listed on the OEIS. We begin by exploring the Ehrhart series of order polytopes resulting from various poset operations, specifically the ordinal sum and direct sum. We then concentrate on the poset $P_λ$ associated with the Ferrers diagram of a partition $λ= (λ_1, λ_2, \ldots, λ_t)$. When $λ= (k, k-1, \ldots, 1)$, the Ehrhart polynomial is a shifted Hankel determinant of the well-known Catalan numbers; when $λ= (k, k, \ldots, k)$, the Ehrhart polynomial is solved by Stanley's hook content formula and is used to prove conjectures for the sequence [A140934] on the OEIS. When solving these problems, we rediscover Kreweras' determinant formula for the Ehrhart polynomial $\mathrm{ehr}(\mathcal{O}(P_λ), n)$ through the application of the Lindström-Gessel-Viennot lemma on non-intersecting lattice paths.
Inequalities associated with the root sequences of P-recursive sequences
The Tur{á}n inequalities and the Laguerre inequalities are closely related to the Laguerre-Pólya class and the Riemann hypothesis. These inequalities have been extensively studied in the literature. In this paper, we propose a method to determine a positive integer $N$ such that the sequences $\{\sqrt[n]{a_n}/n!\}_{n \ge N}$ and $\{\sqrt[n+1]{a_{n+1}}/(\sqrt[n]{a_n} n!)\}_{n \ge N}$ satisfy the higher order Tur{á}n inequalities and the Laguerre inequalities of order two for a P-recursive sequence $\{a_n\}_{n \ge 1}$.
Induced subgraphs and tree decompositions XVIII. Obstructions to bounded pathwidth
The pathwidth of a graph $G$ is the smallest $w\in \mathbb{N}$ such that $G$ can be constructed from a sequence of graphs, each on at most $w+1$ vertices, by gluing them together in a linear fashion. We provide a full classification of the unavoidable induced subgraphs of graphs with large pathwidth.
Runs in Paperfolding Sequences
Published
• View Publication
• BIB
The paperfolding sequences form an uncountable class of infinite sequences over the alphabet $\{ -1, 1 \}$ that describe the sequence of folds arising from iterated folding of a piece of paper, followed by unfolding. In this note we observe that the sequence of run lengths in such a sequence, as well as the starting and ending positions of the $n$'th run, is $2$-synchronized and hence computable by a finite automaton. As a specific consequence, we obtain the recent results of Bunder, Bates, and Arnold, in much more generality, via a different approach. We also prove results about the critical exponent and subword complexity of these run-length sequences.
Construction, Transformation and Structures of 2x2 Space-Filling Curves
The 2x2 space-filling curve is a type of generalized space-filling curve characterized by a basic unit is in a "U-shape" that traverses a 2x2 grid. In this work, we propose a universal framework for constructing general 2x2 curves where self-similarity is not strictly required. The construction is based on a novel set of grammars that define the expansion of curves from level 0 (a single point) to level 1 (units in U-shapes), which ultimately determines all $36 \times 2^k$ possible forms of curves on any level $k$ initialized from single points. We further developed an encoding system in which each unique form of the curve is associated with a specific combination of an initial seed and a sequence of codes that sufficiently describes both the global and local structures of the curve. We demonstrated that this encoding system is a powerful tool for studying 2x2 curves and we established comprehensive theoretical foundations from the following three key perspectives: 1) We provided a deterministic encoding for any unit on any level and position on the curve, enabling the study of curve generation across arbitrary parts on the curve and ranges of iterations; 2) We gave deterministic encodings for various curve transformations, including rotations, reflections and reversals; 3) We provided deterministic forms of families of curves exhibiting specific structures, including homogeneous curves, curves with identical shapes, partially identical shapes, and with completely distinct shapes. We also explored families of recursive curves, subunit identically or differently shaped curves, completely non-recursive curves, symmetric curves and closed curves. Finally, we proposed a method to calculate the location of any point on the curve arithmetically, within a time complexity linear to the level of the curve.
On the Number of Vertices in a Hyperplane Section of a Polytope
We study the slices or sections of a convex polytope by affine hyperplanes. We present results on two key problems: First, we provide tight bounds on the maximum number of vertices attainable by a hyperplane slice of $d$-polytope (a sort of upper bound theorem) and discuss a new algorithm to find all sections. Second, we investigate the sequence of numbers of vertices produced by the different slices over all possible hyperplanes and analyze the gaps that arise in that sequence. We study these sequences for three-dimensional polytopes and for hypercubes. Our results were obtained with the help of large computational experiments, and we report on new data generated for hypercubes.
A half-automated study of a 2-parameter family of integrals
The study of some parametric integrals is presented with a combined approach of analytical development, the usage of a Computed Algebra System (CAS) and of the Online Encyclopedia of Integer Sequences. The methodology for the solution includes a) an analytical investigation for the study of the parametric integral, b) computations with a CAS of the integral for specific values of the parameter, c) investigation of the connection between the integral and special functions or classical numbers, and d) derivation of a general algorithm for the complete computation of the parametric integral. The central example of the paper is the parametric integral \begin{equation*} \label{the general integral} I_{n}^{(p)}=\int_0^{π/4} x^p \tan^n x\; dx, \end{equation*} The work reveals a connection of this parametric integral with Catalan numbers.