sequence
6966 papers tagged with this keyword
A proof of the only mode of a unimodal sequence
In study the generalized Jacobsthal and Jaco-Lucas polynomials, Sun introduced the interesting numerical triangle Jaco-Lucas sequence $\{JL_{n,k}\}_{n\geq k\geq0}$. In this paper, we proved this sequence is log-concave with the only mode by computer algebra.
Generalized tableaux over arbitrary digraphs and their associated differential equations
We revisit the concepts of acyclic orderings and number of acyclic orderings of acyclic digraphs in terms of dispositions and counters for arbitrary multidigraphs. We prove that when we add a sequence of nested directed paths to a directed graph there is a unique polynomial such that the generatrix function of the family of counters is the product of the polynomial and the exponential function. We give an application, by considering a kind of digraphs arranged in rows introduced by the authors in a previous paper, called dispositional digraphs, in the particular case in which the digraph has two rows, to obtain new families of linear differential equations of small order whose coefficients are polynomials of small degree which admit polynomial solutions. In particular, we obtain a new differential equation associated to Catalan numbers, and the corresponding associated polynomials, which are solution of this differential equation; we term them Catalan differencial equation and Catalan polynomials, respectively. We prove that the Catalan polynomials obtained when we connect the directed path to the second vertex of the lower row of the digraph are orthogonal polynomials for an appropriate weight function. We characterize the digraphs that maximize the counter of connected dispositional digraphs and we find a new differential equation associated to these digraphs. We introduce also dispositions and counters in any multidigraph with non-strict inequalities in the dispositions, and we find new differential equations associated to some of them.
Dispersed Dyck paths revisited
Published
• View Publication
• BIB
Dispersed Dyck paths are Dyck paths, with possible flat steps on level 0. We revisit and augment questions about them from the Encyclopedia of Integer Sequences, in a systematic way that uses generating functions and the kernel method.
Two Formulas for the Number of Lines on Complex Projective Hypersurfaces
Two formulas for the classical number $C_n$ of lines on a generic hypersurface of degree $2n-3$ in $\mathbb{CP}^n$ are obtained which differ from the formulas by Dominici, Harris, Libgober, and van der Waerden-Zagier. We review the splitting principle computation by Harris obtaining a similar general closed-form formula in terms of the Catalan numbers and elementary symmetric polynomials. This in turn yields $C_n$ as a linear difference recursion relation of unbounded order. Thus, for the sequence of certain linear combinations of $C_n$, a simple generating function is found. Then, a result from random algebraic geometry by Basu, Lerario, Lundberg, and Peterson, that expresses these classical enumerative invariants as proportional to the Bombieri norm of particular polynomial determinants, yields another combinatorial expansion in terms of certain set compositions and block labeling counting. As an example, we compute this combinatorial interpretation for the cases of 27 lines on a cubic surface and 2875 lines on a quintic threefold. As an application, we reobtain the parity and asymptotic upper bound of the sequence. In an appendix, we generalize the splitting principle calculation to obtain a formula for the number of lines on a generic complete intersection.
Enumerating m-clusters using exceptional sequences
We give a bijection between ordered $m$-clusters and (complete) $m$-exceptional sequences, a concept that we introduce for this purpose. This holds for all hereditary artin algebras. This extends the bijection in the $m = 1$ case shown in arXiv:1706.02041.
The Briggs inequality of Boros-Moll sequences
Briggs conjectured that if a polynomial $a_0+a_1x+\cdots+a_nx^n$ with real coefficients has only negative zeros, then $$a^2_k(a^2_k - a_{k-1}a_{k+1}) > a^2_{k-1}(a^2_{k+1} - a_ka_{k+2})$$ for any $1\leq k\leq n-1$. The Boros-Moll sequence $\{d_i(m)\}_{i=0}^m$ arises in the study of evaluation of certain quartic integral, and a lot of interesting inequalities for this sequence have been obtained. In this paper we show that the Boros-Moll sequence $\{d_i(m)\}_{i=0}^m$, its normalization $\{d_i(m)/i!\}_{i=0}^m$, and its transpose $\{d_i(m)\}_{m\ge i}$ satisfy the Briggs inequality. For the first two sequences, we prove the Briggs inequality by using a lower bound for $(d_{i-1}(m)d_{i+1}(m))/d_i^2(m)$ due to Chen and Gu and an upper bound due to Zhao. For the transposed sequence, we derive the Briggs inequality by establishing its strict ratio-log-convexity. As a consequence, we also obtain the strict log-convexity of the sequence $\{\sqrt[n]{d_i(i+n)}\}_{n\ge 1}$ for $i\ge 1$.
Crossing number of graphs and $\mathsf{ΔY}$-move
The crossing number of a graph is the minimum number of double points over all generic immersions of the graph into the plane. In this paper we investigate the behavior of crossing number under a graph transformation, called $\mathsf{ΔY}$-move, on the complete graph $K_n$. Concretely it is shown that for any $k\in \mathbb{N}$, there exist a natural number $n$ and a sequence of $\mathsf{ΔY}$-moves $K_n\rightarrow G^{(1)}\rightarrow \cdots \rightarrow G^{(k)}$ which is decreasing with respect to the crossing number. We also discuss the decrease of crossing number for relatively small $n$.
Enumeration of multiplex juggling card sequences using generalized q-derivatives
Published in Enumerative Combinatorics and Applications 6:2 (2026) Article S2R12
• View Publication
• BIB
In 2019, Butler, Choi, Kim, and Seo introduced a new type of juggling card that represents multiplex juggling patterns in a natural bijective way. They conjectured a formula for the generating function for the number of multiplex juggling cards with capacity 2. In this paper we prove their conjecture. More generally, we find an explicit formula for the generating function with any capacity. We also find an expression for the generating function for multiplex juggling card sequences by introducing a generalization of the q-derivative operator. As a consequence, we show that this generating function is a rational function.
More on graph pebbling number
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. A function $φ:V\rightarrow \mathbb{N}\cup \{0\}$ is called a configuration of pebbles on the vertices of $G$ and the quantity $\sum_{u\in V}φ(u)$ is called the size of $φ$ which is just the total number of pebbles assigned to vertices. A pebbling step from a vertex $u$ to one of its neighbors $v$ reduces $φ(u)$ by two and increases $φ(v)$ by one. Given a specified target vertex $r$ we say that $φ$ is $t$-fold $r$-solvable, if some sequence of pebbling steps places at least $t$ pebbles on $r$. Conversely, if no such steps exist, then $φ$ is $r$-unsolvable. The minimum positive integer $m$ such that every configuration of size $m$ on the vertices of $G$ is $t$-fold $r$-solvable is denoted by $π_t(G,r)$. The $t$-fold pebbling number of $G$ is defined to be $π_t(G)= max_{r\in V(G)}π_t(G,r)$. When $t=1$, we simply write $π(G)$, which is the pebbling number of $G$. In this note, we study the pebbling number for some specific graphs. Also we investigate the pebbling number of corona and neighbourhood corona of two graphs.
Chromatic symmetric functions and polynomial invariants of trees
Published
• View Publication
• BIB
Stanley asked whether a tree is determined up to isomorphism by its chromatic symmetric function. We approach Stanley's problem by studying the relationship between the chromatic symmetric function and other invariants. First, we prove Crew's conjecture that the chromatic symmetric function of a tree determines its generalized degree sequence, which enumerates vertex subsets by cardinality and the numbers of internal and external edges. Second, we prove that the restriction of the generalized degree sequence to subtrees contains exactly the same information as the subtree polynomial, which enumerates subtrees by cardinality and number of leaves. Third, we construct arbitrarily large families of trees sharing the same subtree polynomial, proving and generalizing a conjecture of Eisenstat and Gordon.
Irreducible Markov Chains on spaces of graphs with fixed degree-color sequences
Published
• View Publication
• BIB
We study a colored generalization of the famous simple-switch Markov chain for sampling the set of graphs with a fixed degree sequence. Here we consider the space of graphs with colored vertices, in which we fix the degree sequence and another statistic arising from the vertex coloring, and prove that the set can be connected with simple color-preserving switches or moves. These moves form a basis for defining an irreducible Markov chain necessary for testing statistical model fit to block-partitioned network data. Our methods further generalize well-known algebraic results from the 1990s: namely, that the corresponding moves can be used to construct a regular triangulation for a generalization of the second hypersimplex. On the other hand, in contrast to the monochromatic case, we show that for simple graphs, the 1-norm of the moves necessary to connect the space increases with the number of colors.
Beatty Sequences for a Quadratic Irrational: Decidability and Applications
Published
• View Publication
• BIB
Let $α$ and $β$ belong to the same quadratic field. We show that the inhomogeneous Beatty sequence $(\lfloor n α+ β\rfloor)_{n \geq 1}$ is synchronized, in the sense that there is a finite automaton that takes as input the Ostrowski representations of $n$ and $y$ in parallel, and accepts if and only if $y = \lfloor n α+ β\rfloor$. Since it is already known that the addition relation is computable for Ostrowski representations based on a quadratic number, a consequence is a new and rather simple proof that the first-order logical theory of these sequences with addition is decidable. The decision procedure is easily implemented in the free software Walnut.
As an application, we show that for each $r \geq 1$ it is decidable whether the set $\{ \lfloor n α+ β\rfloor \, : \, n \geq 1 \}$ forms an additive basis (or asymptotic additive basis) of order $r$. Using our techniques, we also solve some open problems of Reble and Kimberling, and give an explicit characterization of a sequence of Hildebrand et al.
Induced Minor Models. I. Structural Properties and Algorithmic Consequences
Published
• View Publication
• BIB
A graph $H$ is said to be an induced minor of a graph $G$ if $H$ can be obtained from $G$ by a sequence of vertex deletions and edge contractions. Equivalently, $H$ is an induced minor of $G$ if there exists an induced minor model of $H$ in $G$, that is, a collection of pairwise disjoint subsets of vertices of $G$ labeled by the vertices of $H$, each inducing a connected subgraph in $G$, such that two vertices of $H$ are adjacent if and only if there is an edge in $G$ between the corresponding subsets.
In this paper, we investigate structural properties of induced minor models, including bounds on treewidth and chromatic number of the subgraphs induced by minimal induced minor models. It is known that for some graphs $H$, testing whether a given graph $G$ contains $H$ as an induced minor is an NP-complete problem. Nevertheless, as algorithmic applications of our structural results, we make use of recent developments regarding tree-independence number to show that if $H$ is the $4$-wheel, the $5$-vertex complete graph minus an edge, or a complete bipartite graph $K_{2,q}$, then there is a polynomial-time algorithm to find in a given graph $G$ an induced minor model of $H$ in $G$, if there is one. We also develop an alternative polynomial-time algorithm for recognizing graphs that do not contain $K_{2,3}$ as an induced minor, which revolves around the idea of detecting the induced subgraphs whose presence is forced when the input graph contains $K_{2,3}$ as an induced minor, using the so-called shortest path detector. It turns out that all these induced subgraphs are Truemper configurations.
Bernstein--Sato polynomials of locally quasi-homogeneous divisors in $\mathbb{C}^{3}$
Published
• View Publication
• BIB
We consider the Bernstein--Sato polynomial of a locally quasi-homogeneous polynomial $f \in R = \mathbb{C}[x_{1}, x_{2}, x_{3}]$. We construct, in the analytic category, a complex of $\mathscr{D}_{X}[s]$-modules that can be used to compute the $\mathscr{D}_{X}[s]$-dual of $\mathscr{D}_{X}[s] f^{s-1}$ as the middle term of a short exact sequence where the outer terms are well understood. This extends a result by Narváez Macarro where a freeness assumption was required.
We derive many results about the zeroes of the Bernstein--Sato polynomial. First, we prove each nonvanishing degree of the zeroeth local cohomology of the Milnor algebra $H_{\mathfrak{m}}^{0} (R / (\partial f))$ contributes a root to the Bernstein--Sato polynomial, generalizing a result of M. Saito's (where the argument cannot weaken homogeneity to quasi-homogeneity). Second, we prove the zeroes of the Bernstein--Sato polynomial admit a partial symmetry about $-1$, extending a result of Narváez Macarro that again required freeness. We give applications to very small roots, the twisted Logarithmic Comparison Theorem, and more precise statements when $f$ is additionally assumed to be homogeneous.
Finally, when $f$ defines a hyperplane arrangement in $\mathbb{C}^{3}$ we give a complete formula for the zeroes of the Bernstein--Sato polynomial of $f$. We show all zeroes except the candidate root $-2 + (2 / \text{deg}(f))$ are (easily) combinatorially given; we give many equivalent characterizations of when the only non-combinatorial candidate root $-2 + (2/ \text{deg}(f))$ is in fact a zero of the Bernstein--Sato polynomial. One equivalent condition is the nonvanishing of $H_{\mathfrak{m}}^{0}( R / (\partial f))_{\text{deg}(f) - 1}$.
Finding product sets in some classes of amenable groups
Published in Forum of Mathematics, Sigma 13 (2025) e10
• View Publication
• BIB
In 2022, using methods from ergodic theory, Kra, Moreira, Richter, and Robertson resolved a longstanding conjecture of Erdős about sumsets in large subsets of the natural numbers. In this paper, we extend this result to several important classes of amenable groups, including all finitely generated virtually nilpotent groups, and all abelian groups $(G,+)$ with the property that the subgroup $2G := \{g+g : g\in G\}$ has finite index. We prove that in any group $G$ from the above classes, any $A\subset G$ with positive upper Banach density contains a shifted product set of the form $\{tb_ib_j\colon i<j\}$, for some infinite sequence $(b_n)_{n\in\mathbb{N}}$ and some $t\in G$. In fact, we show this result for all amenable groups that posses a property which we call square absolute continuity. Our results provide answers to several questions and conjectures posed in a recent survey of Kra, Moreira, Richter and Robertson.
Random optimization problems at fixed temperatures
Published
• View Publication
• BIB
This article considers a class of disordered mean-field combinatorial optimization problems. We focus on the Gibbs measure, where the inverse temperature does not vary with the size of the graph and the edge weights are sampled from a general distribution under mild assumptions. Our results consist of the Law of Large Numbers and Central Limit Theorems for the log-partition function, the weight of a typical configuration, and the Gibbs average in both quenched and annealed forms. We also derive quenched Poisson convergence for the size of the intersection of two independent samples, yielding replica symmetry of the model. Applications cover popular models from the literature, such as the Minimal Matching Problem, Traveling Salesman Problem, and Minimal Spanning Tree Problem, on a sequence of deterministic and random dense block graphs of increasing size.
Mad families of Gowers' infinite block sequences
Call a subset of $\mathbf{FIN}_k$ small if it does not contain a copy of $\langle{A\rangle}$ for some infinite block sequence $A \in \mathbf{FIN}_k^{[\infty]}$. Gowers' $\mathbf{FIN}_k$ theorem asserts that the set of small subsets of $\mathbf{FIN}_k$ forms an ideal, so it is sensible to consider almost disjoint families of $\mathbf{FIN}_k$ with respect to the ideal of small subsets of $\mathbf{FIN}_k$. We shall show that $\mathfrak{a}_{\mathbf{FIN}_k}$, the smallest possible cardinality of an infinite mad family of $\mathbf{FIN}_k$, is uncountable.
Differential algebra of polytopes and inversion formulas
We use the differential algebra of polytopes to explain the known remarkable relation of the combinatorics of the associahedra and permutohedra with the universal compositional and multiplicative inversion formulas for the formal power series. This approach allows to single out the associahedra and permutohedra among all graph-associahedra and emphasizes the significance of the differential equations for special sequences of simple polytopes derived earlier by one of the authors. We discuss also the link with the geometry of Deligne-Mumford moduli spaces $\bar M_{0,n}$ and the interpretation of the combinatorics of cyclohedra in relation with the classical Faà di Bruno's formula.
On the convergence of the graph sequence $\left\{ C^m(D) \right\}_{m=1}^{\infty}$ for a multipartite tournament $D$
Given a positive integer $m$, the $m$-step competition graph of a digraph $D$, denoted by $C^m(D)$, has the same vertex set as $D$ and has an edge between vertices $u$ and $v$ if and only if there exists a vertex $w$ such that there exist directed walks of length $m$ from $u$ to $w$ and from $v$ to $w$, respectively. In this paper, we completely characterize the convergence of $\{C^m(D)\}_{m=1}^{\infty}$ for a multipartite tournament $D$ based on the last nontrivial strong component of $D$. Furthermore, not only do we determine the limit in the case of convergence, but also in the event of divergence, we specify how $C^m(D)$ changes periodically depending on the value of $m$. Our results extend the work of Jung et al. [On the limit of the sequence $\{C^m (D)\}_{m=1}^{\infty}$ for a multipartite tournament $D$. Discrete Appl. Math., 340:1--13, 2023] which addresses the case of the last strong component being nontrivial, thereby completing the convergence analysis of $\{C^m(D)\}_{m=1}^{\infty}$ for a multipartite tournament $D$.
Our results can also be expressed in terms of matrix sequence $\{A^m(A^T)^m\}_{m=1}^{\infty}$ for the adjacency matrix $A$ of $D$ and this part is also covered in the text.
Weighted sums of rooted spanning forests on cycles with pendant edges
Published
• View Publication
• BIB
We derive two formulas for the weighted sums of rooted spanning forests of particular sequence of graphs by using the matrix tree theorem. We consider cycle graphs with edges so called the pendant edges. One of our formula can be described as a variable transformation of the Chebyshev polynomial. They have particular algebraic properties.