sequence
6966 papers tagged with this keyword
Combinatorial reciprocity for non-intersecting paths
Published in Enumerative Combinatorics and Applications, 3(2), 2023
• View Publication
• BIB
We prove a combinatorial reciprocity theorem for the enumeration of non-intersecting paths in a linearly growing sequence of acyclic planar networks. We explain two applications of this theorem: reciprocity for fans of bounded Dyck paths, and reciprocity for Schur function evaluations with repeated values.
Generating Function for Pinsky's Combinatorial Second Moment Formula for the Generalized Ulam Problem
Given a uniform random permutation $π\in S_n$, let $Z_{n,k}$ be equal to the number of increasing subsequences of length $k$: so $Z_{n,k}=|\{(i_1,\dots,i_k) \in \mathbb{Z}^k\, :\, 1\leq i_1<\dots<i_k\leq n\, ,\ π_{i_1}<\dots<π_{i_k}\}|$. In an important paper, Ross Pinsky proved $\mathbf{E}\big[Z_{n,k}^2\big]$ is equal to $\sum_{i} A(k-i,i)B(n,2k-i)$, where for any nonnegative integers $N$ and $j$, we have $B(N,j) = \binom{N}{j}/j!$ and $A(N,j)$ is a particular nonnegative integer, which Pinsky characterized in two different ways. One characterization of $A(N,j)$ involves the occupation time of the $x$-axis prior to a first return to the origin. Using this, he proved a law of large numbers for the sequence $Z_{n,k_n}$ when $k_n=o(n^{2/5})$ as $n \to \infty$. In a follow-up paper, he also proved the sequence $Z_{n,k_n}$ fails to obey a law of large numbers when $1/k_n = o(1/n^{4/9})$ as $n \to \infty$. Here, we return to his combinatorial formula for the the second moment of $Z_{n,k}$, and we obtain a generating function for the $A(N,j)$ triangular array. We are motivated by the hope of applying spin glass techniques to the well-known Ulam's problem to see if this gives a new perspective.
A hypergraph analog of Dirac's Theorem for long cycles in 2-connected graphs
Published
• View Publication
• BIB
Dirac proved that each $n$-vertex $2$-connected graph with minimum degree at least $k$ contains a cycle of length at least $\min\{2k, n\}$. We consider a hypergraph version of this result. A Berge cycle in a hypergraph is an alternating sequence of distinct vertices and edges $v_1,e_2,v_2, \ldots, e_c, v_1$ such that $\{v_i,v_{i+1}\} \subseteq e_i$ for all $i$ (with indices taken modulo $c$). We prove that for $n \geq k \geq r+2 \geq 5$, every $2$-connected $r$-uniform $n$-vertex hypergraph with minimum degree at least ${k-1 \choose r-1} + 1$ has a Berge cycle of length at least $\min\{2k, n\}$. The bound is exact for all $k\geq r+2\geq 5$.
Chebyshev's Sum Inequality and the Zagreb Indices Inequality
In a recent article, Nadeem and Siddique used Chebyshev's sum inequality to establish the Zagreb indices inequality $M_1/n\le M_2/m$ for undirected graphs in the case where the degree sequence $(d_i)$ and the degree-sum sequence $(S_i)$ are similarly ordered.
We show that this is actually not a completely new result and we discuss several related results that also cover similar inequalities for directed graphs, as well as sum-symmetric matrices and Eulerian directed graphs.
The universal zero-sum invariant and weighted zero-sum for infinite abelian groups
Published
• View Publication
• BIB
Let $G$ be an abelian group, and let $\mathcal F (G)$ be the free commutative monoid with basis $G$. For $Ω\subset \mathcal F (G)$, define the universal zero-sum invariant ${\mathsf d}_Ω(G)$ to be the smallest integer $\ell$ such that every sequence $T$ over $G$ of length $\ell$ has a subsequence in $Ω$. The invariant ${\mathsf d}_Ω(G)$ unifies many classical zero-sum invariants. Let $\mathcal B (G)$ be the submonoid of $\mathcal F (G)$ consisting of all zero-sum sequences over $G$, and let $\mathcal A (G)$ be the set consisting of all minimal zero-sum sequences over $G$. In this paper, we show that except for a few special classes of groups, there always exists a proper subset $Ω$ of $\mathcal A (G)$ such that ${\mathsf d}_Ω(G)={\rm D}(G)$. Furthermore, in the setting of finite cyclic groups, we discuss the distributions of all minimal sets by determining their intersections.
By connecting the universal zero-sum invariant with weights, we make a study of zero-sum problems in the setting of {\sl infinite} abelian groups. The universal zero-sum invariant ${\mathsf d}_{Ω; Ψ}(G)$ with weights set $Ψ$ of homomorphisms of groups is introduced for all abelian groups. The weighted Davenport constant ${\rm D}_Ψ(G)$ (being an special form of the universal invariant with weights) is also investigated for infinite abelian groups. Among other results, we obtain the necessary and sufficient conditions such that ${\rm D}_Ψ(G)<\infty$ in terms of the weights set $Ψ$ when $|Ψ|$ is finite. In doing this, by using the Neumann Theorem on Cover Theory for groups we establish a connection between the existence of a finite cover of an abelian group $G$ by cosets of some given subgroups of $G$, and the finiteness of weighted Davenport constant.
Systematic study of Schmidt-type partitions via weighted words
Let $S=(s_n)_{n\geq 1}$ be a sequence with elements in a commutative monoid $(\mathcal{M},+,0)$. In this paper, we provide an explicit formula for $$\sum_{\la} C(\la) q^{\sum_{n\geq 1} \la_n\cdot s_n}$$ where $\la=(\la_1,\ldots)$ run through some subsets of over-partitions, and $C(\la)$ is a certain product of ``colors'' assigned to the parts of $\la$, and $q^s$ is a formal power of $q$ for $s\in M$. This formula allows us not only to retrieve several known Schmidt-type theorems but also to provide new Schmidt-type theorems for non-periodic sequences $S$. For example, when $(M,+,0)=(\mathbb{Z}_{\geq 0},+,0)$, $s_n=1$ if there exists $i\geq 1$ such $n=\{i(i-1)/2+1\}$ and $s_n=0$ otherwise, we obtain the following statement: for all non-negative integer $m$, the number of partitions such that $\sum_{i\geq 1}\la_{i(i-1)/2+1} =m$ is equal to the number of plane partitions of $m$. Furthermore, we introduce a new family of partitions, the block partitions, generalizing the $k$-elongated partitions. From that family of partitions, we provide a generalization of a Schmidt-type theorem due to Andrews and Paule regarding $k$-elongated partitions and establish a link with the Eulerian polynomials.
The number of string C-groups of high rank
Published
• View Publication
• BIB
If $G$ is a transitive group of degree $n$ having a string C-group of rank $r\geq (n+3)/2$, then $G$ is necessarily the symmetric group $S_n$. We prove that if $n$ is large enough, up to isomorphism and duality, the number of string C-groups of rank $r$ for $S_n$ (with $r\geq (n+3)/2$) is the same as the number of string C-groups of rank $r+1$ for $S_{n+1}$. This result and the tools used in its proof, in particular the rank and degree extension, imply that if one knows the string C-groups of rank $(n+3)/2$ for $S_n$ with $n$ odd, one can construct from them all string C-groups of rank $(n+3)/2+k$ for $S_{n+k}$ for any positive integer $k$. The classification of the string C-groups of rank $r\geq (n+3)/2$ for $S_n$ is thus reduced to classifying string C-groups of rank $r$ for $S_{2r-3}$. A consequence of this result is the complete classification of all string C-groups of $S_n$ with rank $n-κ$ for $κ\in\{1,\ldots,6\}$, when $n\geq 2κ+3$, which extends previously known results. The number of string C-groups of rank $n-κ$, with $n\geq 2κ+3$, of this classification gives the following sequence of integers indexed by $κ$ and starting at $κ= 1$: $$(1,1,7,9,35,48)$$ This sequence of integers is new according to the On-Line Encyclopedia of Integer Sequences. It will be available as sequence number A359367.
Proof of a conjecture of Matherne, Morales, and Selover on encodings of unit interval orders
There are two bijections from unit interval orders on $n$ elements to Dyck paths from $(0,0)$ to $(n,n)$. One is to consider the pairs of incomparable elements, which form the set of boxes between some Dyck path and the diagonal. Another is to find a particular part listing (in the sense of Guay-Paquet) which yields an isomorphic poset, and to interpret the part listing as the area sequence of a Dyck path. Matherne, Morales, and Selover conjectured that, for any unit interval order, these two Dyck paths are related by Haglund's well-known zeta bijection. In this paper we prove their conjecture.
Bakry-Émery curvature sharpness and curvature flow in finite weighted graphs. II. Implementation
Published
• View Publication
• BIB
In this second part of a sequence of two papers, we discuss the implementation of a curvature flow on weighted graphs based on the Bakry-Émery calculus. This flow can be adapted to preserve the Markovian property and its limits as time goes to infinity turn out to be curvature sharp weighted graphs. After reviewing some of the main results of the first paper concerned with the theoretical aspects, we present various examples (random graphs, paths, cycles, complete graphs, wedge sums and Cartesian products of complete graphs, hypercubes) and exhibit further properties of this flow. One particular aspect in our investigations is asymptotic stability and instability of curvature flow equilibria. The paper ends with a description of the available Python functions and routines available in the ancillary file. We hope that the explanations of the Python implementation via examples will help users to carry out their own curvature flow experiments.
Counterexamples to a Conjecture of Dombi in Additive Number Theory
Published
• View Publication
• BIB
We disprove a 2002 conjecture of Dombi from additive number theory. More precisely, we find examples of sets $A \subset \mathbb{N}$ with the property that $\mathbb{N} \setminus A$ is infinite, but the sequence $n \rightarrow |\{ (a,b,c) \, : \, n=a+b+c \text{ and } a,b,c \in A \}|$, counting the number of $3$-compositions using elements of $A$ only, is strictly increasing.
The $s$-weak order and $s$-permutahedra I: combinatorics and lattice structure
Published in SIAM J. Discrete Math., 38(4):2855-2895, 2024
• View Publication
• BIB
This is the first contribution of a sequence of papers introducing the notions of $s$-weak order and $s$-permutahedra, certain discrete objects that are indexed by a sequence of non-negative integers $s$. In this first paper, we concentrate purely on the combinatorics and lattice structure of the $s$-weak order, a partial order on certain decreasing trees which generalizes the classical weak order on permutations. In particular, we show that the $s$-weak order is a semidistributive and congruence uniform lattice, generalizing known results for the classical weak order on permutations.
Restricting the $s$-weak order to certain trees gives rise to the $s$-Tamari lattice, a sublattice which generalizes the classical Tamari lattice. We show that the $s$-Tamari lattice can be obtained as a quotient lattice of the $s$-weak order when $s$ has no zeros, and show that the $s$-Tamari lattices (for arbitrary $s$) are isomorphic to the $ν$-Tamari lattices of Préville-Ratelle and Viennot.
The underlying geometric structure of the $s$-weak order will be studied in a sequel of this paper, where we introduce the notion of $s$-permutahedra.
Computing error bounds for asymptotic expansions of regular P-recursive sequences
Published in Mathematics of Computation, In press
• View Publication
• BIB
Over the last several decades, improvements in the fields of analytic combinatorics and computer algebra have made determining the asymptotic behaviour of sequences satisfying linear recurrence relations with polynomial coefficients largely a matter of routine, under assumptions that hold often in practice. The algorithms involved typically take a sequence, encoded by a recurrence relation and initial terms, and return the leading terms in an asymptotic expansion up to a big-O error term. Less studied, however, are effective techniques giving an explicit bound on asymptotic error terms. Among other things, such explicit bounds typically allow the user to automatically prove sequence positivity (an active area of enumerative and algebraic combinatorics) by exhibiting an index when positive leading asymptotic behaviour dominates any error terms. In this article, we present a practical algorithm for computing such asymptotic approximations with rigorous error bounds, under the assumption that the generating series of the sequence is a solution of a differential equation with regular (Fuchsian) dominant singularities. Our algorithm approximately follows the singularity analysis method of Flajolet and Odlyzko, except that all big-O terms involved in the derivation of the asymptotic expansion are replaced by explicit error terms. The computation of the error terms combines analytic bounds from the literature with effective techniques from rigorous numerics and computer algebra. We implement our algorithm in the SageMath computer algebra system and exhibit its use on a variety of applications (including our original motivating example, solution uniqueness in the Canham model for the shape of genus one biomembranes).
On the Secure Vertex Cover Pebbling Number
Published
• View Publication
• BIB
A new graph invariant called the secure vertex cover pebbling number, which is a combination of two graph invariants, namely secure vertex cover and cover pebbling number, is introduced in this paper. The secure vertex cover pebbling number of a graph G is the minimum number m so that every distribution of m pebbles can reach some secure vertex cover of G by a sequence of pebbling moves. In this paper, the complexity of the secure vertex cover problem and secure vertex cover pebbling problem are discussed. Also, we obtain some basic results and the secure vertex cover pebbling number for complete r- partite graphs, paths, Friendship graphs, and wheel graphs.
Quaternary Legendre Pairs
Published
• View Publication
• BIB
We introduce quaternary Legendre pairs of length $\ell$. In contrast to binary Legendre pairs they can exist for even $\ell$ as well. First we show that they are pertinent to the construction of quaternary Hadamard matrices of order $2\ell+2$ and thus of binary Hadamard matrices of order $4\ell+4$. Then for a prime $p>2$ we present a construction of a pair of sequences of length $p$ from which we can derive quaternary Legendre pairs of length $\ell=2p$ by decompression for $p=3,5,7,13,19,31,41$. Moreover, we give also constructions of Legendre pairs of length $\ell$ for all remaining even $\ell\le 24$.
Gadget construction and structural convergence
Published
• View Publication
• BIB
Nešetřil and Ossona de Mendez recently proposed a new definition of graph convergence called structural convergence. The structural convergence framework is based on the probability of satisfaction of logical formulas from a fixed fragment of first-order formulas. The flexibility of choosing the fragment allows to unify the classical notions of convergence for sparse and dense graphs. Since the field is relatively young, the range of examples of convergent sequences is limited and only a few methods of construction are known. Our aim is to extend the variety of constructions by considering the gadget construction. We show that, when restricting to the set of sentences, the application of gadget construction on elementarily convergent sequences yields an elementarily convergent sequence. On the other hand, we show counterexamples witnessing that a generalization to the full first-order convergence is not possible without additional assumptions. We give several different sufficient conditions to ensure the full convergence. One of them states that the resulting sequence is first-order convergent if the replaced edges are dense in the original sequence of structures.
Distant 2-Colored Components on Embeddings Part III: The General Case
This is the third in a sequence of three papers in which we prove the following generalization of Thomassen's 5-choosability theorem: Let $G$ be a finite graph embedded on a surface of genus $g$. Then $G$ can be $L$-colored, where $L$ is a list-assignment for $G$ in which every vertex has a 5-list except for a collection of pairwise far-apart components, each precolored with an ordinary 2-coloring, as long as the face-width of $G$ is at least $2^{Ω(g)}$ and the precolored components are of distance at least $2^{Ω(g)}$ apart. This provides an affirmative answer to a generalized version of a conjecture of Thomassen and also generalizes a result from 2017 of Dvořák, Lidický, Mohar, and Postle about distant precolored vertices. In a previous paper, we proved that the above result holds for a restricted class of embeddings which have no separating cycles of length three or four. In this paper, we use this special case to prove that the result holds in the general case.
Counting compatible indexing systems for $C_{p^n}$
Published
• View Publication
• BIB
We count the number of compatible pairs of indexing systems for the cyclic group $C_{p^n}$. Building on work of Balchin--Barnes--Roitzheim, we show that this sequence of natural numbers is another family of Fuss--Catalan numbers. We count this two different ways: showing how the conditions of compatibility give natural recursive formulas for the number of admissible sets and using an enumeration of ways to extend indexing systems by conceptually simpler pieces.
$N$-factor complexity of the infinite Fibonacci sequence and digital sequences
Published
• View Publication
• BIB
In this paper, we introduce a variation of the factor complexity, called the $N$-factor complexity, which allows us to characterize the complexity of sequences on an infinite alphabet. We evaluate precisely the $N$-factor complexity for the infinite Fibonacci sequence $\mathbf{f}$ given by Zhang, Wen and Wu [Electron. J. Comb., 24 (2017)]. The $N$-factor complexity of a class of digit sequences, whose $n$th term is defined to be the number of occurrences of a given block in the base-$k$ representation of $n$, is also discussed.
A nonlinear bound for the number of subsequence sums
Published
• View Publication
• BIB
We show that a finite zero-sum-free sequence $α$ over an abelian group has at least $c|α|^{4/3}$ distinct subsequence sums, unless $α$ is "controlled" by a small number of its terms; here $|α|$ denotes the number of terms of $α$, and $c>0$ is an absolute constant.
Distant 2-Colored Components on Embeddings Part II: The Short-Inseparable Case
This is the second in a sequence of three papers in which we prove the following generalization of Thomassen's 5-choosability theorem: Let $G$ be a graph embedded on a surface of genus $g$. Then $G$ can be $L$-colored, where $L$ is a list-assignment for $G$ in which every vertex has a 5-list except for a collection of pairwise far-apart components, each precolored with an ordinary 2-coloring, as long as the face-width of $G$ is at least $2^{Ω(g)}$ and the precolored components are of distance at least $2^{Ω(g)}$ apart. This provides an affirmative answer to a generalized version of a conjecture of Thomassen and also generalizes a result from 2017 of Dvořák, Lidický, Mohar, and Postle about distant precolored vertices. In this paper we prove that the above result holds for a restricted class of embeddings, i.e. those embeddings which satisfy certain triangulation conditions and do not have separating cycles of length at most four.