sequence
6845 papers tagged with this keyword
Rational Solutions to the First Order Difference Equations in the Bivariate Difference Field
Inspired by Karr's algorithm, we consider the summations involving a sequence satisfying a recurrence of order two. The structure of such summations provides an algebraic framework for solving the difference equations of form $aσ(g)+bg=f$ in the bivariate difference field $(\mathbb{F}(α, β), σ)$, where $a, b,f\in\mathbb{F}(α,β)\setminus\{0\}$ are known binary functions of $α$, $β$, and $α$, $β$ are two algebraically independent transcendental elements, $σ$ is a transformation that satisfies $σ(α)=β$, $σ(β)=uα+vβ$, where $u,v\neq 0\in\mathbb{F}$. Based on it, we then describe algorithms for finding the universal denominator for those equations in the bivariate difference field under certain assumptions. This reduces the general problem of finding the rational solutions of such equations to the problem of finding the polynomial solutions of such equations.
Polynomial Solutions to the First Order Difference Equations in the Bivariate Difference Field
The bivariate difference filed $(\mathbb{F}(α, β), σ)$ provides an algebraic framework for a sequence satisfying a recurrence of order two and it could transform the summation involving a sequence satisfying a recurrence of order two into the first order difference equations in the bivariate difference field. Based on it, we present an algorithm for finding all the polynomial solutions of such equations in the bivariate difference field, and show an upper bound on the degree for polynomial solutions which is sufficient to compute polynomial solution by using the undetermined method.
Degree powers and number of stars in graphs with a forbidden broom
Given a graph $G$ with degree sequence $d_1,\dots, d_n$ and a positive integer $r$, let $e_r(G)=\sum_{i=1}^n d_i^r$. We denote by $\mathrm{ex}_r(n,F)$ the largest value of $e_r(G)$ among $n$-vertex $F$-free graphs $G$, and by $\mathrm{ex}(n,S_r,G)$ the largest number of stars $S_r$ in $n$-vertex $F$-free graphs. The \textit{broom} $B(\ell,s)$ is the graph obtained from an $\ell$-vertex path by adding $s$ new leaves connected to a penultimate vertex $v$ of the path.
We determine $\mathrm{ex}_r(n,B(\ell,s))$ for $r\ge 2$, any $\ell,s$ and sufficiently large $n$, proving a conjecture of Lan, Liu, Qin and Shi. We also determine $\mathrm{ex}(n,S_r,B(\ell,s))$ for $r\ge 2$, any $\ell,s$ and sufficiently large $n$.
The asymptotic behaviour of $sat(n,\mathcal{F})$
For a family $\mathcal{F}$ of graphs, $sat(n,\mathcal{F})$ is the minimum number of edges in a graph $G$ on $n$ vertices which does not contain any of the graphs in $\mathcal{F}$ but such that adding any new edge to $G$ creates a graph in $\mathcal{F}$. For singleton families $\mathcal{F}$, Tuza conjectured that $sat(n,\mathcal{F})/n$ converges and Truszczynski and Tuza discovered that either $sat(n,\mathcal{F})= \left(1-1/r\right)n+o(n)$ for some integer $r \geq 1$ or $ sat(n,\mathcal{F}) \geq n+o(n) $. This is often cited in the literature as the main progress towards proving Tuza's Conjecture. Unfortunately, the proof is flawed. We give a correct proof, which requires a novel construction. Moreover, for finite families $\mathcal{F}$, we completely determine the possible asymptotic behaviours of $sat(n,\mathcal{F})$ in the sparse regime $sat(n,\mathcal{F}) \leq n+o(n)$. Finally, we essentially determine which sequences of integers are of the form $\left(sat(n,\mathcal{F})\right)_{n \geq 0}$ for some (possibly infinite) family $\mathcal{F}$.
Pattern-avoiding modified ascent sequences
We initiate an in-depth study of pattern avoidance on modified ascent sequences. Our main technique consists in using Stanley's standardization to obtain a transport theorem between primitive modified ascent sequences and permutations avoiding a bivincular pattern of length three. We enumerate some patterns via bijections with other combinatorial structures such as Fishburn permutations, lattice paths and set partitions. We settle the last remaining case of a conjecture by Duncan and Steingrímsson by proving that modified ascent sequences avoiding 2321 are counted by the Bell numbers.
Weakly Consecutive Sequences
A weakly consecutive sequence (WCS) is a permutation $σ$ of $\{1, \ldots, k\}$ such that if an integer $d$ divides $σ(i)$, then $d$ also divides $σ(i \pm d)$ insofar as these are defined. The structure of weakly consecutive sequences is surprisingly rich, and it is difficult to find a formula for the number $N(k)$ of WCS's of length $k$. However, for a given $k$ we describe four starting sequences, to each of which we can apply three \emph{rules} or operations to generate new WCS's. We conjecture that any WCS can be constructed by applying these rules, which depend in an intricate way on the primality of $k$ and surrounding integers. We find bounds for $N(k)$ by analyzing these rules.
Quantification of the Fourth Moment Theorem for Cyclotomic Generating Functions
This paper deals with sequences of random variables $X_n$ only taking values in $\{0,\ldots,n\}$. The probability generating functions of such random variables are polynomials of degree $n$. Under the assumption that the roots of these polynomials are either all real or all lie on the unit circle in the complex plane, a quantitative normal approximation bound for $X_n$ is established in a unified way. In the real rooted case the result is classical and only involves the variances of $X_n$, while in the cyclotomic case the fourth cumulants or moments of $X_n$ appear in addition. The proofs are elementary and based on the Stein-Tikhomirov method.
Pebbling number of polymers
Let $G=(V,E)$ be a simple graph. A function $f:V\rightarrow \mathbb{N}\cup \{0\}$ is called a configuration of pebbles on the vertices of $G$ and the quantity $\vert f\vert=\sum_{u\in V}f(u)$ is called the weight of $f$ 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 $f(u)$ by two and increases $f(v)$ by one. A pebbling configuration $f$ is said to be solvable if for every vertex $ v $, there exists a sequence (possibly empty) of pebbling moves that results in a pebble on $v$. The pebbling number $ π(G) $ equals the minimum number $ k $ such that every pebbling configuration $ f $ with $ \vert f\vert = k $ is solvable. Let $ G $ be a connected graph constructed from pairwise disjoint connected graphs $ G_1,...,G_k $ by selecting a vertex of $ G_1 $, a vertex of $ G_2 $, and identifying these two vertices. Then continue in this manner inductively. We say that $ G $ is a polymer graph, obtained by point-attaching from monomer units $ G_1,...,G_k $. In this paper, we study the pebbling number of some polymers.
A greedy heuristic for graph burning
Published
• View Publication
• BIB
Given a graph $G$, the optimization version of the graph burning problem seeks for a sequence of vertices, $(u_1,u_2,...,u_p) \in V(G)^p$, with minimum $p$ and such that every $v \in V(G)$ has distance at most $p-i$ to some vertex $u_i$. The length $p$ of the optimal solution is known as the burning number and is denoted by $b(G)$, an invariant that helps quantify the graph's vulnerability to contagion. This paper explores the advantages and limitations of an $\mathcal{O}(mn + pn^2)$ deterministic greedy heuristic for this problem, where $n$ is the graph's order, $m$ is the graph's size, and $p$ is a guess on $b(G)$. This heuristic is based on the relationship between the graph burning problem and the clustered maximum coverage problem, and despite having limitations on paths and cycles, it found most of the optimal and best-known solutions of benchmark and synthetic graphs with up to 102400 vertices. Beyond practical advantages, our work unveils some of the fundamental aspects of graph burning: its relationship with a generalization of a classical coverage problem and compact integer programs. With this knowledge, better algorithms might be designed in the future.
Generating functions of lattice paths
We recall the main types of lattice paths, which are sequences in the lattice of integer coordinates points in the plane. We start with the fundamental central lattice paths and Dyck paths and proceed in elementary terms through recently introduced lattice paths.
For every type, we consider the respective generating function. In fact, through our approach (via Riordan arrays), various entries of the On-Line Encyclopedia of Integer Sequences are unified, clarified, and simplified.
Quantum state systems that count perfect matchings
In this paper we show how to categorify the $n$-color vertex polynomial, which is based upon one of Roger Penrose's formulas for counting the number of $3$-edge colorings of a planar trivalent graph. Using topological quantum field theory (TQFT), we introduce a quantum state system to build a new bigraded theory called the bigraded $n$-color vertex homology. The graded Euler characteristic of this homology is the $n$-color vertex polynomial. We then produce a spectral sequence whose $E_\infty$-page is a filtered theory called filtered $n$-color vertex homology and show that it is generated by certain types of face colorings of ribbon graphs. For $n=2$, we show that the filtered $n$-color vertex homology is generated by face colorings that correspond to perfect matchings. Finally, we introduce and give meaning to what the vertex polynomial counts when $n \geq 2$. This polynomial is a new abstract graph invariant that can be inferred from certain formulas of Penrose.
Probability Mass Function, Moments and Factorial Moments of the Negative Binomial Distribution NB$(k,r)$
The negative binomial distribution NB$(k,r)$ of Type I is the probability distribution for a sequence of independent Bernoulli trials
(with success parameter $p\in(0,1)$) with $r$ nonoverlapping success runs of length $\ge k$.
We present a new, more concise, expression for its probability mass function.
We show it can also be succinctly written using hypergeometric functions.
We also present new expressions (combinatorial sums) for its moments and factorial moments, as opposed to only the mean and variance (which are already known).
Next, we present an alternative non-combinatorial viewpoint, which yields expressions for the factorial moments not only for nonoverlapping success runs, but also for runs with an overlap of $\ell$, where $\ell\in[0,k-1]$.
The case $\ell=k-1$ is the negative binomial distribution NB$(k,r)$ of Type III.
The results also yield the solution for the negative binomial distribution NB$(k,r)$ with a minimum gap between the success runs (explained in the text).
Addendum 1/23/2024: The probability mass function and factorial moments are derived from the probability generating function.
Addendum 1/26/2024: Alternative expressions are presented for the negative binomial distribution NB$(k,r)$ of Type II.
Functions that are uniquely maximized by sparse quasi-star graphs, and uniquely minimized by quasi-complete graphs
We show that for a certain class of convex functions $f$, including the exponential functions $x\mapsto e^{λx}$ with $λ>0$ a real number, and all the powers $x\mapsto x^β$, $x\geq 0$ and $β\geq 2$ a real number, with a unique small exception, if $(d_1,\ldots,d_n)$ ranges over the degree sequences of graphs with $n$ vertices and $m$ edges and $m\leq n-1$, then the maximum of $\sum_i f(d_i)$ is uniquely attained by the degree sequence of a quasi-star graph, namely, a graph consisting of a star plus possibly additional isolated vertices. This result significantly extends a similar result in [D.~Ismailescu, D.~Stefanica, Minimizer graphs for a class of extremal problems, J.~Graph Theory,~39~(4)~(2002)]. Dually, we show that for a certain class of concave functions $g$, including the negative exponential functions $x\mapsto 1-e^{-λx}$ with $λ>\ln(2)$ a real number, all the powers $x\mapsto x^α$, $x\geq 0$ and $0<α\leq \frac{1}{2}$ a real number, and the function $x\mapsto \frac{x}{x+1}$ for $x\geq 0$, if $(d_1,\ldots,d_n)$ ranges over the degree sequences of graphs with $n$ vertices and $m$ edges, then the minimum of $\sum_i g(d_i)$ is uniquely attained by the degree sequence of a quasi-complete graph, i.e., a graph consisting of a complete graph plus possibly an additional vertex connected to some but not all vertices of the complete graph, plus possibly isolated vertices. This result extends a similar result in the same paper.
Sorting inversion sequences
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:1, Permutation Patterns 2024, Special issues (February 11, 2025) dmtcs:14010
• View Publication
• BIB
We consider the avoidance of patterns in inversion sequences that relate sorting via sorting machines including data structures such as pop stacks and stacks. Such machines have been studied under a variety of additional constraints and generalizations, some of which we apply here. We give the classification of several classes of sortable inversion sequences in terms of pattern avoidance. We are able to provide an exact enumeration of some of the sortable classes in question using both classical approaches and a more recent strategy utilizing generating trees.
Categorical valuative invariants of polyhedra and matroids
We introduce the notion of a categorical valuative invariant of polyhedra or matroids, in which alternating sums of numerical invariants are replaced by split exact sequences in an additive category. We provide categorical lifts of a number of valuative invariants of matroids, including the Poincare polynomial, the Chow and augmented Chow polynomials, and certain two-variable extensions of the Kazhdan--Lusztig polynomial and Z-polynomial. These lifts allow us to perform calculations equivariantly with respect to automorphism groups of matroids.
Partitions with fixed points in the sequence of first-column hook lengths
Published in Ann. Comb. (2024 online first)
• View Publication
• BIB
Recently, Blecher and Knopfmacher applied the notion of fixed points to integer partitions. This has already been generalized and refined in various ways such as $h$-fixed points for an integer parameter $h$ by Hopkins and Sellers. Here, we consider the sequence of first column hook lengths in the Young diagram of a partition and corresponding fixed hooks. We enumerate these, using both generating function and combinatorial proofs, and find that they match occurrences of part sizes equal to their multiplicity. We establish connections to work of Andrews and Merca on truncations of the pentagonal number theorem and classes of partitions partially characterized by certain minimal excluded parts (mex).
On degree powers and counting stars in $F$-free graphs
Given a positive integer $r$ and a graph $G$ with degree sequence $d_1,\dots,d_n$, we define $e_r(G)=\sum_{i=1}^n d_i^r$. We let $\mathrm{ex}_r(n,F)$ be the largest value of $e_r(G)$ if $G$ is an $n$-vertex $F$-free graph. We show that if $F$ has a color-critical edge, then $\mathrm{ex}_r(n,F)=e_r(G)$ for a complete $(χ(F)-1)$-partite graph $G$ (this was known for cliques and $C_5$). We obtain exact results for several other non-bipartite graphs and also determine $\mathrm{ex}_r(n,C_4)$ for $r\ge 3$. We also give simple proofs of multiple known results.
Our key observation is the connection to $\mathrm{ex}(n,S_r,F)$, which is the largest number of copies of $S_r$ in $n$-vertex $F$-free graphs, where $S_r$ is the star with $r$ leaves. We explore this connection and apply methods from the study of $\mathrm{ex}(n,S_r,F)$ to prove our results. We also obtain several new results on $\mathrm{ex}(n,S_r,F)$.
Democratic sequences
Given a countable alphabet and a sountable set pf preset frequency, we construct a sequence where each letter appears with the preaasigned frequency.
Reconstruction of hypermatrices from subhypermatrices
For a given $n$, what is the smallest number $k$ such that every sequence of length $n$ is determined by the multiset of all its $k$-subsequences? This is called the $k$-deck problem for sequence reconstruction, and has been generalized to the two-dimensional case -- reconstruction of $n\times n$-matrices from submatrices. Previous works show that the smallest $k$ is at most $O(n^\frac{1}{2})$ for sequences and at most $O(n^\frac{2}{3})$ for matrices. We study this $k$-deck problem for general dimension $d$ and prove that, the smallest $k$ is at most $O(n^\frac{d}{d+1})$ for reconstructing a $d$ dimensional hypermatrix of order $n$ from the multiset of all its subhypermatrices of order $k$.
On the stopping time of the Collatz map in $\mathbb{F}_2[x]$
We study the stopping time of the Collatz map for a polynomial $f \in \mathbb{F}_2[x]$, and bound it by $O({\rm deg} (f)^{1.5})$, improving upon the quadratic bound proven by Hicks, Mullen, Yucas and Zavislak. We also prove the existence arithmetic sequences of unbounded length in the stopping times of certain sequences of polynomials, a phenomenon observed in the classical Collatz map.