sequence
7059 papers tagged with this keyword
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.
Computing discrete residues of rational functions
Published in Proceedings of ISSAC 2024 (2024), pp. 65-73
• View Publication
• BIB
In 2012 Chen and Singer introduced the notion of discrete residues for rational functions as a complete obstruction to rational summability. More explicitly, for a given rational function f(x), there exists a rational function g(x) such that f(x) = g(x+1) - g(x) if and only if every discrete residue of f(x) is zero. Discrete residues have many important further applications beyond summability: to creative telescoping problems, thence to the determination of (differential-)algebraic relations among hypergeometric sequences, and subsequently to the computation of (differential) Galois groups of difference equations. However, the discrete residues of a rational function are defined in terms of its complete partial fraction decomposition, which makes their direct computation impractical due to the high complexity of completely factoring arbitrary denominator polynomials into linear factors. We develop a factorization-free algorithm to compute discrete residues of rational functions, relying only on gcd computations and linear algebra.
Flip graphs of coloured triangulations of convex polygons
Published
• View Publication
• BIB
A triangulation of a polygon is a subdivision of it into triangles, using diagonals between its vertices. Two different triangulations of a polygon can be related by a sequence of flips: a flip replaces a diagonal by the unique other diagonal in the quadrilateral it defines. In this paper, we study coloured triangulations and coloured flips. In this more general situation, it is no longer true that any two triangulations can be linked by a sequence of (coloured) flips. In this paper, we study the connected components of the coloured flip graphs of triangulations. The motivation for this is a result of Gravier and Payan proving that the Four-Colour Theorem is equivalent to the connectedness of the flip graph of 2-coloured triangulations.
q-Parikh Matrices and q-deformed binomial coefficients of words
Published
• View Publication
• BIB
We have introduced a q-deformation, i.e., a polynomial in q with natural coefficients, of the binomial coefficient of two finite words u and v counting the number of occurrences of v as a subword of u. In this paper, we examine the q-deformation of Parikh matrices as introduced by Eğecioğlu in 2004.
Many classical results concerning Parikh matrices generalize to this new framework: Our first important observation is that the elements of such a matrix are in fact q-deformations of binomial coefficients of words. We also study their inverses and as an application, we obtain new identities about q-binomials.
For a finite word z and for the sequence $(p_n)_{n\ge 0}$ of prefixes of an infinite word, we show that the polynomial sequence $\binom{p_n}{z}_q$ converges to a formal series. We present links with additive number theory and k-regular sequences. In the case of a periodic word $u^ω$, we generalize a result of Salomaa: the sequence $\binom{u^n}{z}_q$ satisfies a linear recurrence relation with polynomial coefficients. Related to the theory of integer partition, we describe the growth and the zero set of the coefficients of the series associated with $u^ω$.
Finally, we show that the minors of a q-Parikh matrix are polynomials with natural coefficients and consider a generalization of Cauchy's inequality. We also compare q-Parikh matrices associated with an arbitrary word with those associated with a canonical word $12\cdots k$ made of pairwise distinct symbols.
Parallel Summation in P-Recursive Extensions
Published
• View Publication
• BIB
We propose investigating a summation analog of the paradigm for parallel integration. We make some first steps towards an indefinite summation method applicable to summands that rationally depend on the summation index and a P-recursive sequence and its shifts. There is a distinction between so-called normal and so-called special polynomials. Under the assumption that the corresponding difference field has no unnatural constants, we are able to predict the normal polynomials appearing in the denominator of a potential closed form. We can also handle the numerator. Our method is incomplete so far as we cannot predict the special polynomials appearing in the denominator. However, we do have some structural results about special polynomials for the setting under consideration.
Randomized algorithms to generate hypergraphs with given degree sequences
Published
• View Publication
• BIB
The question whether there exists a hypergraph whose degrees are equal to a given sequence of integers is a well-known reconstruction problem in graph theory, which is motivated by discrete tomography. In this paper we approach the problem by randomized algorithms which generate the required hypergraph with positive probability if the sequence satisfies certain constraints.