sequence
6966 papers tagged with this keyword
Multiple Laguerre polynomials: Combinatorial model and Stieltjes moment representation
Published in Proc. Amer. Math. Soc. 150, 1997--2005 (2022)
• View Publication
• BIB
I give a combinatorial interpretation of the multiple Laguerre polynomials of the first kind of type II, generalizing the digraph model found by Foata and Strehl for the ordinary Laguerre polynomials. I also give an explicit integral representation for these polynomials, which shows that they form a multidimensional Stieltjes moment sequence whenever $x \le 0$.
Rankings in directed configuration models with heavy tailed in-degrees
Published
• View Publication
• BIB
We consider the extremal values of the stationary distribution of sparse directed random graphs with given degree sequences and their relation to the extremal values of the in-degree sequence. The graphs are generated by the directed configuration model. Under the assumption of bounded $(2+η)$-moments on the in-degrees and of bounded out-degrees, we obtain tight comparisons between the maximum value of the stationary distribution and the maximum in-degree. Under the further assumption that the order statistics of the in-degrees have a power-law behavior, we show that the extremal values of the stationary distribution also have a power-law behavior with the same index. In the same setting, we prove that these results extend to the PageRank scores of the random digraph, thus confirming a version of the so-called power-law hypothesis. Along the way, we establish several facts about the model, including the mixing time cutoff and the characterization of the typical values of the stationary distribution, which were previously obtained under the assumption of bounded in-degrees.
Burling graphs revisited, part I: New characterizations
Published in European Journal of Combinatorics, Volume 110,2023,103686
• View Publication
• BIB
The Burling sequence is a sequence of triangle-free graphs of increasing chromatic number. Each of them is isomorphic to the intersection graph of a set of axis-parallel boxes in $R^3$. These graphs were also proved to have other geometrical representations: intersection graphs of line segments in the plane, and intersection graphs of frames, where a frame is the boundary of an axis-aligned rectangle in the plane. We call Burling graph every graph that is an induced subgraph of some graph in the Burling sequence. We give five new equivalent ways to define Burling graphs. Three of them are geometrical, one is of a more graph-theoretical flavour and one is more axiomatic.
On the Gap sequence and Gilbreath's conjecture
Motivated by Gilbreath's conjecture, we develop the notion of the gap sequence induced by any sequence of numbers. We introduce the notion of the path and associated circuits induced by an originator and study the conjecture via the notion of the trace and length of a path.
Non-triviality of the phase transition for percolation on finite transitive graphs
Published
• View Publication
• BIB
We prove that if $(G_n)_{n\geq1}=((V_n,E_n))_{n\geq 1}$ is a sequence of finite, vertex-transitive graphs with bounded degrees and $|V_n|\to\infty$ that is at least $(1+ε)$-dimensional for some $ε>0$ in the sense that \[\mathrm{diam} (G_n)=O\left(|V_n|^{1/(1+ε)}\right) \text{ as $n\to\infty$}\] then this sequence of graphs has a non-trivial phase transition for Bernoulli bond percolation. More precisely, we prove under these conditions that for each $0<α<1$ there exists $p_c(α)<1$ such that for each $p\geq p_c(α)$, Bernoulli-$p$ bond percolation on $G_n$ has a cluster of size at least $α|V_n|$ with probability tending to $1$ as $n\to \infty$. In fact, we prove more generally that there exists a universal constant $a$ such that the same conclusion holds whenever \[\mathrm{diam} (G_n)=O\left(\frac{|V_n|}{(\log |V_n|)^a}\right) \text{ as $n\to\infty$.}\] This verifies a conjecture of Benjamini up to the value of the constant $a$, which he suggested should be $1$.
We also prove a generalization of this result to quasitransitive graph sequences with a bounded number of vertex orbits and prove that one may indeed take $a=1$ when the graphs $G_n$ are all Cayley graphs of Abelian groups. A key step in our proof is to adapt the methods of Duminil-Copin, Goswami, Raoufi, Severo, and Yadin from infinite graphs to finite graphs. This adaptation also leads to an isoperimetric criterion for infinite graphs to have a nontrivial uniqueness phase (i.e., to have $p_u<1$) which is of independent interest. We also prove that the set of possible values of the critical probability of an infinite quasitransitive graph has a gap at $1$ in the sense that for every $k,n<\infty$ there exists $ε>0$ such that every infinite graph $G$ of degree at most $k$ whose vertex set has at most $n$ orbits under Aut$(G)$ either has $p_c=1$ or $p_c\leq 1-ε$.
Grundy domination of forests and the strong product conjecture
Published in The Electronic Journal of Combinatorics 28(2) (2021), #P2.12
• View Publication
• BIB
A maximum sequence $S$ of vertices in a graph $G$, so that every vertex in $S$ has a neighbor which is independent, or is itself independent, from all previous vertices in $S$, is called a Grundy dominating sequence. The Grundy domination number, $γ_{gr}(G)$, is the length of $S$. We show that for any forest $F$, $γ_{gr}(F)=|V(T)|-|\mathcal{P}|$ where $\mathcal{P}$ is a minimum partition of the non-isolate vertices of $F$ into caterpillars in which if two caterpillars of $\mathcal{P}$ have an edge between them in $F$, then such an edge must be incident to a non-leaf vertex in at least one of the caterpillars. We use this result to show the strong product conjecture of B. Brešar, Cs. Bujtás, T. Gologranc, S. Klavžar, G. Košmrlj, B. Patkós, Zs. Tuza, and M. Vizer, Dominating sequences in grid-like and toroidal graphs, Electron. J. Combin. 23(4): P4.34 (2016), for all forests. Namely, we show that for any forest $G$ and graph $H$, $γ_{gr}(G \boxtimes H) = γ_{gr}(G) γ_{gr}(H)$. We also show that every connected graph $G$ has a spanning tree $T$ so that $γ_{gr}(G)\le γ_{gr}(T)$ and that every non-complete connected graph contains a Grundy dominating set $S$ so that the induced subgraph of $S$ contains no isolated vertices.
Peaks are preserved under run-sorting
Published in ECA 2:1 (2022) Article S2R2, http://ecajournal.haifa.ac.il/Volume2022/ECA2022_S2A2.pdf
• View Publication
• BIB
We study a sorting procedure (run-sorting) on permutations, where runs are rearranged in lexicographic order. We describe a rather surprising bijection on permutations on length $n$, with the property that it sends the set of peak-values to the set of peak-values after run-sorting. We also prove that the expected number of descents in a permutation $σ\in S_{n}$ after run-sorting is equal to $(n-2)/3$. Moreover, we provide a closed form of the exponential generating function introduced by Nabawanda, Rakotondrajao and Bamunoba in 2020, for the number of run-sorted permutations of $[n]$, ($RSP(n)$) having $k$ runs, which gives a new interpretation to the sequence A124324 in the Online Encyclopedia of Integer Sequences. We show that the descent generating polynomials, $A_{n}(t)$ for $RSP(n)$ are real rooted, and satisfy an interlacing property similar to that satisfied by the Eulerian polynomials.
Finally, we study run-sorted binary words and compute the expected number of descents after run-sorting a binary word of length $n$.
Refined canonical stable Grothendieck polynomials and their duals, Part 1
Published
• View Publication
• BIB
In this paper we introduce refined canonical stable Grothendieck polynomials and their duals with two infinite sequences of parameters. These polynomials unify several generalizations of Grothendieck polynomials including canonical stable Grothendieck polynomials due to Yeliussizov, refined Grothendieck polynomials due to Chan and Pflueger, and refined dual Grothendieck polynomials due to Galashin, Liu, and Grinberg. We give Jacobi--Trudi-like formulas, combinatorial models, Schur expansions, Schur positivity, and dualities of these polynomials.
A note on the restricted partition function $p_\mathcal{A}(n,k)$
Published
• View Publication
• BIB
Let $\mathcal{A}=(a_n)_{n\in\mathbb{N}_+}$ be a sequence of positive integers. Let $p_\mathcal{A}(n,k)$ denote the number of multi-color partitions of $n$ into parts in $\{a_1,\ldots,a_k\}$. We examine several arithmetic properties of the sequence $(p_\mathcal{A}(n,k) \pmod{m})_{n\in\mathbb{N}}$ for an arbitrary fixed integer $m\geqslant2$. We investigate periodicity of the sequence and lower and upper bounds for the density of the set $\{n\in\mathbb{N}: p_\mathcal{A}(n,k) \equiv i \pmod{m}\}$ for a fixed positive integer $k$ and $i\in\{0,1,\ldots, m-1\}$. In particular, we apply our results to the special cases of the sequence $\mathcal{A}$. Furthermore, we present some results related to restricted $m$-ary partitions.
A characterization of normal 3-pseudomanifolds with at most two singularities
Published in Discrete Math. 346 (12) (2023), Paper No. 113588, 15 pp
• View Publication
• BIB
Characterizing face-number-related invariants of a given class of simplicial complexes has been a central topic in combinatorial topology. In this regard, one of the well-known invariants is $g_2$. Let $K$ be a normal $3$-pseudomanifold such that $g_2(K) \leq g_2(lk (v)) + 9$ for some vertex $v$ in $K$. Suppose either $K$ has only one singularity or $K$ has two singularities (at least) one of which is an $\mathbb{RP}^2$-singularity. We prove that $K$ is obtained from some boundary complexes of $4$-simplices by a sequence of operations of types connected sums, bistellar $1$-moves, edge contractions, edge expansions, vertex foldings, and edge foldings. In case $K$ has one singularity, $|K|$ is a handlebody with its boundary coned off. Further, we prove that the above upper bound is sharp for such normal $3$-pseudomanifolds.
Eternal distance-k domination on graphs
Published
• View Publication
• BIB
Eternal domination is a dynamic process by which a graph is protected from an infinite sequence of vertex intrusions. In eternal distance-$k$ domination, guards initially occupy the vertices of a distance-$k$ dominating set. After a vertex is attacked, guards ``defend'' by each moving up to distance $k$ to form a distance-$k$ dominating set, such that some guard occupies the attacked vertex. The eternal distance-$k$ domination number of a graph is the minimum number of guards needed to defend against any sequence of attacks. The process is well-studied for the situation where $k=1$. We introduce eternal distance-$k$ domination for $k > 1$.
Determining whether a given set is an eternal distance-$k$ domination set is in EXP, and in this paper we provide a number of results for paths and cycles, and relate this parameter to graph powers and domination in general. For trees we use decomposition arguments to bound the eternal distance-$k$ domination numbers, and solve the problem entirely in the case of perfect $m$-ary trees.
The $\barγ$-frame for Tutte polynomials of matroids
Specializing the $γ$-basis for the vector space $\mathcal{G}(n,r)$ spanned by the set of symbols on bit sequences with $r$ $1$'s and $n-r$ $0$'s, we obtain a frame or spanning set for the vector space $\mathcal{T}(n,r)$ spanned by Tutte polynomials of matroids having rank $r$ and size $n$. Every Tutte polynomial can be expanded as a linear combination with non-negative integer coefficients of elements in this frame. We give explicit formulas for the elements in this frame. These formulas combine to give an expansion of the Tutte polynomial with coefficients obtained by summing numerical invariants over all flats with a given rank and size.
A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence
We propose a novel construction for the well-known prefer-max De Bruijn sequence, based on the cycle joining technique. We further show that the construction implies known results from the literature in a straightforward manner. First, it implies the correctness of the onion theorem, stating that, effectively, the reverse of prefer-max is in fact an infinite De Bruijn sequence. Second, it implies the correctness of recently discovered shift rules for prefer-max, prefer-min, and their reversals. Lastly, it forms an alternative proof for the seminal FKM-theorem.
On the Gap-sum and Gap-product Sequences of Integer Sequences
In this note, we explore two families of sequences associated to a suitable integer sequence: the gap-sum sequence and the gap-product sequence. These are the sums and the products of consecutive numbers not in the original sequence. We give closed forms for both, in terms of the original sequence, and in the case of Horadam sequences, we find the generating function of the gap-sum sequence. For some elementary sequences, we indicate that the gap-product sequences are given by the Fuss-Catalan-Raney numbers.
Some Deep and Original Questions about the "critical exponents" of Generalized Ballot Sequences
We numerically estimate the critical exponents of certain enumeration sequences that naturally generalize the famous Catalan and super-Catalan sequences, and raise deep and original questions about their exact values, and whether they are rational numbers. In this version we announce that our questions were brilliantly answered by Michael Wallner, and that the pledged donation to the OEIS, in his honor, was made.
Partitions into Piatetski-Shapiro sequences
Published
• View Publication
• BIB
Let $κ$ be a positive real number and $m\in\mathbb{N}\cup\{\infty\}$ be given. Let $p_{κ, m}(n)$ denote the number of partitions of $n$ into the parts from the Piatestki-Shapiro sequence $(\lfloor \ell^κ\rfloor)_{\ell\in \mathbb{N}}$ with at most $m$ times (repetition allowed). In this paper we establish asymptotic formulas of Hardy-Ramanujan type for $p_{κ, m}(n)$, by employing a framework of asymptotics of partitions established by Roth-Szekeres in 1953, as well as some results on equidistribution.
Arithmetic Progressions in Sumsets of Sparse Sets
Published
• View Publication
• BIB
A set of positive integers $A \subset \mathbb{Z}_{> 0}$ is \emph{log-sparse} if there is an absolute constant $C$ so that for any positive integer $x$ the sequence contains at most $C$ elements in the interval $[x,2x)$. In this note we study arithmetic progressions in sums of log-sparse subsets of $\mathbb{Z}_{> 0}$. We prove that for any log-sparse subsets $S_1, \dots, S_n$ of $\mathbb{Z}_{> 0},$ the sumset $S = S_1 + \cdots + S_n$ cannot contain an arithmetic progression of size greater than $n^{(1+o(1))n}.$ We also show that this is nearly tight by proving that there exist log-sparse sets $S_1, \dots, S_n$ such that $S_1 + \cdots + S_n$ contains an arithmetic progression of size $n^{(1-o(1)) n}.$
A note on Barker sequences of even length
A Barker sequence is a binary sequence for which all nontrivial aperiodic autocorrelations are either 0, 1 or -1. The only known Barker sequences have length 2, 3, 4, 5, 7, 11 or 13. It is an old conjecture that no longer Barker sequences exist and in fact, there is an overwhelming evidence for this conjecture. For binary sequences of odd length, this conjecture is known to be true, whereas for even length it is still open, whether a Barker sequence of even length greater 4 exists.
Similar to the well-known fact that a Barker sequence of odd length is necessarily skew-symmetric, we show that in the case of even length there is also a form of symmetry albeit weaker. In order to exploit this symmetry, we derive different formulas for the calculation of the aperiodic correlation. We prove by using only elementary methods that there is no Barker sequence of even length n>4 with $C_{1}=C_{3}=\cdots=C_{\frac{n}{2}-1}$, where $C_{k}$ denotes the $k$th aperiodic autocorrelation of the sequence.
Using Graph Theory to Derive Inequalities for the Bell Numbers
Published in Journal of Integer Sequences, 24 (2021), 21.10.6
• Search Publication
The Bell numbers count the number of different ways to partition a set of $n$ elements while the graphical Bell numbers count the number of non-equivalent partitions of the vertex set of a graph into stable sets. This relation between graph theory and integer sequences has motivated us to study properties on the average number of colors in the non-equivalent colorings of a graph to discover new non trivial inequalities for the Bell numbers. Example are given to illustrate our approach.
Revisiting regular sequences in light of rational base numeration systems
Published
• View Publication
• BIB
Regular sequences generalize the extensively studied automatic sequences. Let $S$ be an abstract numeration system. When the numeration language $L$ is prefix-closed and regular, a sequence is said to be $S$-regular if the module generated by its $S$-kernel is finitely generated.
In this paper, we give a new characterization of such sequences in terms of the underlying numeration tree $T(L)$ whose nodes are words of $L$. We may decorate these nodes by the sequence of interest following a breadth-first enumeration. For a prefix-closed regular language $L$, we prove that a sequence is $S$-regular if and only if the tree $T(L)$ decorated by the sequence is linear, i.e., the decoration of a node depends linearly on the decorations of a fixed number of ancestors.
Next, we introduce and study regular sequences in a rational base numeration system, whose numeration language is known to be highly non-regular. We motivate and comment our definition that a sequence is $\frac{p}{q}$-regular if the underlying numeration tree decorated by the sequence is linear. We give the first few properties of such sequences, we provide a few examples of them, and we propose a method for guessing $\frac{p}{q}$-regularity. Then we discuss the relationship between $\frac{p}{q}$-automatic sequences and $\frac{p}{q}$-regular sequences. We finally present a graph directed linear representation of a $\frac{p}{q}$-regular sequence. Our study permits us to highlight the places where the regularity of the numeration language plays a predominant role.