sequence
6845 papers tagged with this keyword
Vertex decompositions of two-dimensional complexes and graphs
Published
• View Publication
• BIB
We investigate families of two-dimensional simplicial complexes defined in terms of vertex decompositions. They include nonevasive complexes, strongly collapsible complexes of Barmak and Miniam and analogues of 2-trees of Harary and Palmer. We investigate the complexity of recognition problems for those families and some of their combinatorial properties. Certain results follow from analogous decomposition techniques for graphs. For example, we prove that it is NP-complete to decide if a graph can be reduced to a discrete graph by a sequence of removals of vertices of degree 3.
Certain Binomial Sums with recursive coefficients
Published in Fibonacci Quart. 48 (2010), no. 2, 161-167
• View Publication
• BIB
In this short note, we establish some identities containing sums of binomials with coefficients satisfying third order linear recursive relations. As a result and in particular, we obtain general forms of earlier identities involving binomial coefficients and Fibonacci type sequences.
On the number of a SDRs of a valued (t,n)-family
A system of distinct representatives (SDR) of a family $F = (A_1, \cdots, A_n)$ is a sequence $(x_1, \cdots, x_n)$ of $n$ distinct elements with $x_i \in A_i$ for $1 \le i \le n$. Let $N(F)$ denote the number of SDRs of a family $F$; two SDRs are considered distinct if they are different in at least one component. For a nonnegative integer $t$, a family $F=(A_1,\cdots,A_n)$ is called a $(t,n)$-family if the union of any $k\ge 1$ sets in the family contains at least $k+t$ elements. The famous Hall's Theorem says that $N(F)\ge 1$ if and only if $F$ is a $(0,n)$-family. Denote by $M(t,n)$ the minimum number of SDRs in a $(t,n)$-family. The problem of determining $M(t,n)$ and those families containing exactly $M(t,n)$ SDRs was first raised by Chang [European J. Combin.{\bf 10}(1989), 231-234]. He solved the cases when $0\le t\le 2$ and gave a conjecture for $t\ge 3$. In this paper, we solve the conjecture. In fact, we get a more general result for so-called valued $(t,n)$-family.
Functorial relationships between quantum cohomology of complete and partial flag varieties
Published
• View Publication
• BIB
We give a natural filtration F on quantum cohomology QH(G/B) of G/B, which respects the quantum product structure. Its associated graded algebra is isomorphic to the tensor product of QH(G/P) and a corresponding graded algebra of QH(P/B) after localization. When the quantum parameter goes to zero, this specializes to the filtration on the classical cohomology H(G/B) from the Leray spectral sequence associated to the fibration P/B --> G/B --> G/P.
Approximation by the Dickman distribution and quasi-logarithmic combinatorial structures
Published
• View Publication
• BIB
Quasi-logarithmic combinatorial structures are a class of decomposable combinatorial structures which extend the logarithmic class considered by Arratia, Barbour and Tavaré (2003). In order to obtain asymptotic approximations to their component spectrum, it is necessary first to establish an approximation to the sum of an associated sequence of independent random variables in terms of the Dickman distribution. This in turn requires an argument that refines the Mineka coupling by incorporating a blocking construction, leading to exponentially sharper coupling rates for the sums in question. Applications include distributional limit theorems for the size of the largest component and for the vector of counts of the small components in a quasi-logarithmic combinatorial structure.
$λ$-factorials of $n$
Published
• View Publication
• BIB
Recently, by the Riordan's identity related to tree enumerations, \begin{eqnarray*} \sum_{k=0}^{n}\binom{n}{k}(k+1)!(n+1)^{n-k} &=& (n+1)^{n+1}, \end{eqnarray*} Sun and Xu derived another analogous one, \begin{eqnarray*} \sum_{k=0}^{n}\binom{n}{k}D_{k+1}(n+1)^{n-k} &=& n^{n+1}, \end{eqnarray*} where $D_{k}$ is the number of permutations with no fixed points on $\{1,2,\dots, k\}$. In the paper, we utilize the $λ$-factorials of $n$, defined by Eriksen, Freij and W$\ddot{a}$stlund, to give a unified generalization of these two identities. We provide for it a combinatorial proof by the functional digraph theory and another two algebraic proofs. Using the umbral representation of our generalized identity and the Abel's binomial formula, we deduce several properties for $λ$-factorials of $n$ and establish the curious relations between the generating functions of general and exponential types for any sequence of numbers or polynomials.
The largest singletons of set partitions
Published
• View Publication
• BIB
Recently, Deutsch and Elizalde studied the largest and the smallest fixed points of permutations. Motivated by their work, we consider the analogous problems in set partitions. Let $A_{n,k}$ denote the number of partitions of $\{1,2,\dots, n+1\}$ with the largest singleton $\{k+1\}$ for $0\leq k\leq n$. In this paper, several explicit formulas for $A_{n,k}$, involving a Dobinski-type analog, are obtained by algebraic and combinatorial methods, many combinatorial identities involving $A_{n,k}$ and Bell numbers are presented by operator methods, and congruence properties of $A_{n,k}$ are also investigated. It will been showed that the sequences $(A_{n+k,k})_{n\geq 0}$ and $(A_{n+k,k})_{k\geq 0}$ (mod $p$) are periodic for any prime $p$, and contain a string of $p-1$ consecutive zeroes. Moreover their minimum periods are conjectured to be $N_p=\frac{p^p-1}{p-1}$ for any prime $p$.
Zero-sum problems with congruence conditions
Published
• View Publication
• BIB
For a finite abelian group $G$ and a positive integer $d$, let $\mathsf s_{d \mathbb N} (G)$ denote the smallest integer $\ell \in \mathbb N_0$ such that every sequence $S$ over $G$ of length $|S| \ge \ell$ has a nonempty zero-sum subsequence $T$ of length $|T| \equiv 0 \mod d$. We determine $\mathsf s_{d \mathbb N} (G)$ for all $d\geq 1$ when $G$ has rank at most two and, under mild conditions on $d$, also obtain precise values in the case of $p$-groups. In the same spirit, we obtain new upper bounds for the Erd{\H o}s--Ginzburg--Ziv constant provided that, for the $p$-subgroups $G_p$ of $G$, the Davenport constant $\mathsf D (G_p)$ is bounded above by $2 \exp (G_p)-1$. This generalizes former results for groups of rank two.
Restricted inverse zero-sum problems in groups of rank two
Published
• View Publication
• BIB
Let $(G,+)$ be a finite abelian group. Then, $\so(G)$ and $η(G)$ denote the smallest integer $\ell$ such that each sequence over $G$ of length at least $\ell$ has a subsequence whose terms sum to $0$ and whose length is equal to and at most, resp., the exponent of the group. For groups of rank two, we study the inverse problems associated to these constants, i.e., we investigate the structure of sequences of length $\so(G)-1$ and $η(G)-1$ that do not have such a subsequence. On the one hand, we show that the structure of these sequences is in general richer than expected. On the other hand, assuming a well-supported conjecture on this problem for groups of the form $C_m \oplus C_m$, we give a complete characterization of all these sequences for general finite abelian groups of rank two. In combination with partial results towards this conjecture, we get unconditional characterizations in special cases.
An application of coding theory to estimating Davenport constants
Published
• View Publication
• BIB
We investigate a certain well-established generalization of the Davenport constant. For $j$ a positive integer (the case $j=1$, is the classical one) and a finite Abelian group $(G,+,0)$, the invariant $\Dav_j(G)$ is defined as the smallest $\ell$ such that each sequence over $G$ of length at least $\ell$ has $j$ disjoint non-empty zero-sum subsequences. We investigate these quantities for elementary $2$-groups of large rank (relative to $j$). Using tools from coding theory, we give fairly precise estimates for these quantities. We use our results to give improved bounds for the classical Davenport constant of certain groups.
Constructing k-radius sequences
Published
• View Publication
• BIB
An n-ary k-radius sequence is a finite sequence of elements taken from an alphabet of size n such that any two distinct elements of the alphabet occur within distance k of each other somewhere in the sequence. These sequences were introduced by Jaromczyk and Lonc to model a caching strategy for computing certain functions on large data sets such as medical images. Let f_k(n) be the shortest length of any k-radius sequence. We improve on earlier estimates for f_k(n) by using tilings and logarithms. The main result is that f_k(n) ~ n^2/(2k) as n tends to infinity whenever a certain tiling of Z^r exists. In particular this result holds for infinitely many k, including all k < 195 and all k such that k+1 or 2k+1 is prime. For certain k, in particular when 2k+1 is prime, we get a sharper error term using the theory of logarithms.
On the uniform generation of modular diagrams
Published
• View Publication
• BIB
In this paper we present an algorithm that generates $k$-noncrossing, $σ$-modular diagrams with uniform probability. A diagram is a labeled graph of degree $\le 1$ over $n$ vertices drawn in a horizontal line with arcs $(i,j)$ in the upper half-plane. A $k$-crossing in a diagram is a set of $k$ distinct arcs $(i_1, j_1), (i_2, j_2),\ldots,(i_k, j_k)$ with the property $i_1 < i_2 < \ldots < i_k < j_1 < j_2 < \ldots< j_k$. A diagram without any $k$-crossings is called a $k$-noncrossing diagram and a stack of length $σ$ is a maximal sequence $((i,j),(i+1,j-1),\dots,(i+(σ-1),j-(σ-1)))$. A diagram is $σ$-modular if any arc is contained in a stack of length at least $σ$. Our algorithm generates after $O(n^k)$ preprocessing time,
$k$-noncrossing, $σ$-modular diagrams in $O(n)$ time and space complexity.
Two New Interpretations of the Fishburn Numbers and their Refined Generating Functions
Published
• View Publication
• BIB
We show that two classes of combinatorial objects--inversion tables with no subsequence of decreasing consecutive numbers and matchings with no 2-nestings--are enumerated by the Fishburn numbers. In particular, we give a simple bijection between matchings with no 2-nestings and inversion tables with no subsequence of decreasing consecutive numbers. We then prove using the involution principle that inversion tables with no subsequence of decreasing consecutive numbers have the same generating function as the Fishburn numbers. The Fishburn numbers have previously been shown by Bousquet-Mélou, Claesson, Dukes and Kitaev to enumerate $\textbf{(2+2)}$-avoiding posets, matchings with no left- or right-nestings, permutations avoiding a particular pattern, and so-called ascent sequences, and by Dukes and Parviainen to enumerate upper triangular matrices with non-negative entries and no empty rows or columns. Claesson and Linusson conjectured they also enumerated matchings with no 2-nestings. Using these new interpretations of the Fishburn numbers and another version of the involution, we prove the conjectured equality (also proven using matrices by Jelínek and by Yan) of two refinements by Remmel and Kitaev of the Fishburn generating function. In an appendix, we state and prove another conjecture of Claesson and Linusson giving the distribution of left-nestings over the set of all matchings.
Enumerating (2+2)-free posets by indistinguishable elements
Published
• View Publication
• BIB
A poset is said to be (2+2)-free if it does not contain an induced subposet that is isomorphic to 2+2, the union of two disjoint 2-element chains. Two elements in a poset are indistinguishable if they have the same strict up-set and the same strict down-set. Being indistinguishable defines an equivalence relation on the elements of the poset. We introduce the statistic maxindist, the maximum size of a set of indistinguishable elements. We show that, under a bijection of Bousquet-Melou et al., indistinguishable elements correspond to letters that belong to the same run in the so-called ascent sequence corresponding to the poset. We derive the generating function for the number of (2+2)-free posets with respect to both maxindist and the number of different strict down-sets of elements in the poset. Moreover, we show that (2+2)-free posets P with maxindist(P) at most k are in bijection with upper triangular matrices of nonnegative integers not exceeding k, where each row and each column contains a nonzero entry. (Here we consider isomorphic posets to be equal.) In particular, (2+2)-free posets P on n elements with maxindist(P)=1 correspond to upper triangular binary matrices where each row and column contains a nonzero entry, and whose entries sum to n. We derive a generating function counting such matrices, which confirms a conjecture of Jovovic, and we refine the generating function to count upper triangular matrices consisting of nonnegative integers not exceeding k and having a nonzero entry in each row and column. That refined generating function also enumerates (2+2)-free posets according to maxindist. Finally, we link our enumerative results to certain restricted permutations and matrices.
Partition and composition matrices
Published in Journal of Combinatorial Theory Series A 118 (2011), no. 5, 1624-1637
• View Publication
• BIB
This paper introduces two matrix analogues for set partitions. A composition matrix on a finite set X is an upper triangular matrix whose entries partition X, and for which there are no rows or columns containing only empty sets. A partition matrix is a composition matrix in which an order is placed on where entries may appear relative to one-another. We show that partition matrices are in one-to-one correspondence with inversion tables. Non-decreasing inversion tables are shown to correspond to partition matrices with a row ordering relation. Partition matrices which are s-diagonal are classified in terms of inversion tables. Bidiagonal partition matrices are enumerated using the transfer-matrix method and are equinumerous with permutations which are sortable by two pop-stacks in parallel. We show that composition matrices on X are in one-to-one correspondence with (2+2)-free posets on X. Also, composition matrices whose rows satisfy a column-ordering relation are shown to be in one-to-one correspondence with parking functions. Finally, we show that pairs of ascent sequences and permutations are in one-to-one correspondence with (2+2)-free posets whose elements are the cycles of a permutation, and use this relation to give an expression for the number of (2+2)-free posets on {1,...,n}.
Control of cancellations that restrain the growth of a binomial recursion
Published
• View Publication
• BIB
We study a recursion that generates real sequences depending on a parameter $x$. Given a negative $x$ the growth of the sequence is very difficult to estimate due to canceling terms. We reduce the study of the recursion to a problem about a family of integral operators, and prove that for every parameter value except -1, the growth of the sequence is factorial. In the combinatorial part of the proof we show that when $x=-1$ the resulting recurrence yields the sequence of alternating Catalan numbers, and thus has exponential growth. We expect our methods to be useful in a variety of similar situations.
Spreading Models in Banach Space Theory
We extend the classical Brunel-Sucheston definition of the spreading model by introducing the $\mathcal{F}$-sequences $(x_s)_{s\in\mathcal{F}}$ in a Banach space and the plegma families in $\mathcal{F}$ where $\mathcal{F}$ is a regular thin family. The new concept yields a transfinite increasing hierarchy of classes of spreading sequences. We explore the corresponding theory and we present examples establishing this hierarchy and illustrating the limitation of the theory.
Integer Sequences from Queueing Theory
Published in Journal Of Integer Sequences, Vol. 13 (2010), Article 10.5.5, published May 3, 2010
• Search Publication
Operators on probability distributions can be expressed as operators on the associated moment sequences, and so correspond to operators on integer sequences. Thus, there is an opportunity to apply each theory to the other. Moreover, probability models can be sources of integer sequences, both classical and new, as we show by considering the classical M/G/1 single-server queueing model. We identify moment sequences that are integer sequences. We establish connections between the M/M/1 busy period distribution and the Catalan and Schroeder numbers.
Circular Sequences and the Diameter of Multipermutohedra
We derive bounds on the number of switches at an arbitrary set of positions in a circular sequence of permutations and relate them to the diameter of Multipermutohedra.
Twisting the Stern sequence
We describe a twisted version of the Stern sequence and study a few of its properties.