sequence
6842 papers tagged with this keyword
The number of matroids on a finite set
In this paper we highlight some enumerative results concerning matroids of low rank and prove the tail-ends of various sequences involving the number of matroids on a finite set to be log-convex. We give a recursion for a new, slightly improved, lower bound on the number of rank-$r$ matroids on $n$ elements when $n=2^m-1$. We also prove an adjacent result showing the point-lines-planes conjecture to be true if and only if it is true for a special subcollection of matroids. Two new tables are also presented, giving the number of paving matroids on at most eight elements.
Higher order peak algebras
Published in Annals of Combinatorics 9:4 (2005), 411-430
• View Publication
• BIB
Using the theory of noncommutative symmetric functions, we introduce the higher order peak algebras, a sequence of graded Hopf algebras which contain the descent algebra and the usual peak algebra as initial cases (N = 1 and N = 2). We compute their Hilbert series, introduce and study several combinatorial bases, and establish various algebraic identities related to the multisection of formal power series with noncommutative coefficients.
Polynomial recurrences and cyclic resultants
Published
• View Publication
• BIB
Let $K$ be an algebraically closed field of characteristic zero and let $f \in K[x]$. The $m$-th {\it cyclic resultant} of $f$ is \[r_m = \text{Res}(f,x^m-1).\] A generic monic polynomial is determined by its full sequence of cyclic resultants; however, the known techniques proving this result give no effective computational bounds. We prove that a generic monic polynomial of degree $d$ is determined by its first $2^{d+1}$ cyclic resultants and that a generic monic reciprocal polynomial of even degree $d$ is determined by its first $2\cdot 3^{d/2}$ of them. In addition, we show that cyclic resultants satisfy a polynomial recurrence of length $d+1$. This result gives evidence supporting the conjecture of Sturmfels and Zworski that $d+1$ resultants determine $f$. In the process, we establish two general results of independent interest: we show that certain Toeplitz determinants are sufficient to determine whether a sequence is linearly recurrent, and we give conditions under which a linearly recurrent sequence satisfies a polynomial recurrence of shorter length.
Peg Jumping for Fun and Profit
We consider the problem of determining the minimum number of moves needed to solve a certain one-dimensional peg puzzle. Let N be a positive integer. The puzzle apparatus consists of a block with a single row of 2N+1 equally spaced holes which, apart from the central hole, are occupied by an equal number N of red and blue pegs. The object of the puzzle is to exchange the colors of the pegs by a succession of allowable moves. Allowable moves are of two types: a peg can be shifted from the hole it occupies into the empty hole adjacent to it, or a peg can jump over an adjacent peg into the empty hole. We exhibit a sequence of N^2+2N moves that solves the puzzle, and prove that no solution can employ fewer moves.
Generating functions for generating trees
Published in Discrete Mathematics 246 (1-3) (2002) 29-55
• View Publication
• BIB
Certain families of combinatorial objects admit recursive descriptions in terms of generating trees: each node of the tree corresponds to an object, and the branch leading to the node encodes the choices made in the construction of the object. Generating trees lead to a fast computation of enumeration sequences (sometimes, to explicit formulae as well) and provide efficient random generation algorithms. We investigate the links between the structural properties of the rewriting rules defining such trees and the rationality, algebraicity, or transcendence of the corresponding generating function.
Expected number of inversions after a sequence of random adjacent transpositions
Published in Springer Lecture Notes special volume for FPSAC 2000, pages 677-685
• Search Publication
In the evolution of a genome, the gene sequence is sometimes rearranged, for example by transposition of two adjacent gene blocks. In biocombinatorics, one tries to reconstruct these rearrangement incidents from the resulting permutation. It seems that the algorithms used are too effective and find a shorter path than the real one. For the simplified case of adjacent transpositions, we give expressions for the expected number of inversions after t random moves. This average can be much smaller than t, a fact that has largely been neglected so far.
A majorization bound for the eigenvalues of some graph Laplacians
Published
• View Publication
• BIB
It is conjectured that the Laplacian spectrum of a graph is majorized by its conjugate degree sequence. In this paper, we prove that this majorization holds for a class of graphs including trees. We also show that a generalization of this conjecture to graphs with Dirichlet boundary conditions is equivalent to the original conjecture.
Why Delannoy numbers?
Published in Journal of Statistical Planning and Inference 135, 1 (11/2005) 40-54
• View Publication
• BIB
This article is not a research paper, but a little note on the history of combinatorics: We present here a tentative short biography of Henri Delannoy, and a survey of his most notable works. This answers to the question raised in the title, as these works are related to lattice paths enumeration, to the so-called Delannoy numbers, and were the first general way to solve Ballot-like problems. These numbers appear in probabilistic game theory, alignments of DNA sequences, tiling problems, temporal representation models, analysis of algorithms and combinatorial structures.
Multiplicities in the mixed trace cocharacter sequence of two $3\times 3$ matrices
Published in International J. Algebra and Computations 16 (2006), No. 2, 275-285
• View Publication
• BIB
We find explicitly the multiplicities in the (mixed) trace cocharacter sequence of two $3\times 3$ matrices over a field of characteristic 0 and show that asymptotically they behave as polynomials of seventh degree. As a consequence we obtain also the multiplicities of certain irreducible characters in the cocharacter sequence of the polynomial identities of $3\times 3$ matrices.
Relative blocking in posets
Published in Journal of Combinatorial Optimization, Volume 13 (2007), Issue 4, Pages 379-403
• View Publication
• BIB
Poset-theoretic generalizations of set-theoretic committee constructions are presented. The structure of the corresponding subposets is described. Sequences of irreducible fractions associated to the principal order ideals of finite bounded posets are considered and those related to the Boolean lattices are explored; it is shown that such sequences inherit all the familiar properties of the Farey sequences.
Quivers, long exact sequences and Horn type inequalities
Published
• View Publication
• BIB
We give necessary and sufficient inequalities for the existence of long exact sequences of m finite abelian p-groups with fixed isomorphy types. This problem is related to some generalized Littlewood-Richardson coefficients that we define in this paper. We also show how this problem is related to eigenvalues of Hermitian matrices satisfying certain (in)equalities. When m=3, we recover the Horn type inequalities that solve the saturation conjecture for Littlewood-Richardson coefficients and Horn's conjecture.
Time-evolution of the Rule 150 cellular automaton activity from a Fibonacci iteration
Published in Journal of Mathematical Physics 49, 062701 (2008)
• View Publication
• BIB
The total activity of the single-seeded cellular rule 150 automaton does not follow a one-step iteration like other elementary cellular automata, but can be solved as a two-step vectorial, or string, iteration, which can be viewed as a generalization of Fibonacci iteration generating the time series from a sequence of vectors of increasing length. This allows to compute the total activity time series more efficiently than by simulating the whole spatio-temporal process, or even by using the closed expression.
Fluctuations of the Longest Common Subsequence in the Asymmetric Case of 2- and 3-Letter Alphabets
We investigate the asymptotic standard deviation of the Longest Common Subsequence (LCS) of two independent i.i.d. sequences of length n. The first sequence is drawn from a three letter alphabet {0,1,a}, whilst the second sequence is binary. The main result of this article is that in this asymmetric case, the standard deviation of the length of the LCS is of order square root of n. This confirms Waterman's conjecture for this special case. Our result seems to indicate that in many other situations the order of the standard deviation is also square root of n.
Conditions for Weighted Cover Pebbling of Graphs
In a graph G with a distribution of pebbles on its vertices, a pebbling move is the removal of two pebbles from one vertex and the addition of one pebble to an adjacent vertex. A weight function on G is a non-negative integer-valued function on the vertices of G. A distribution of pebbles on G covers a weight function if there exists a sequence of pebbling moves that gives a new distribution in which every vertex has at least as many pebbles as its weight. In this paper we give some necessary and some sufficient conditions for a distribution of pebbles to cover a given weight function on a connected graph G. As a corollary, we give a simple formulation for the `weighted cover pebbling number' of a weight function W and a connected graph G, defined by Crull et al. to be the smallest number m such that any distribution on G of m pebbles is a cover for W. Also, we prove a cover pebbling variant of Graham's Conjecture for pebbling.
The cover pebbling theorem
For any configuration of pebbles on the nodes of a graph, a pebbling move replaces two pebbles on one node by one pebble on an adjacent node. A cover pebbling is a move sequence ending with no empty nodes. The number of pebbles needed for a cover pebbling starting with all pebbles on one node is trivial to compute and it was conjectured that the maximum of these simple cover pebbling numbers is indeed the general cover pebbling number of the graph. That is, for any configuration of this size, there exists a cover pebbling. In this note, we prove a generalization of the conjecture. All previously published results about cover pebbling numbers for special graphs (trees, hypercubes etcetera) are direct consequences of this theorem. We also prove that the cover pebbling number of a product of two graphs equals the product of the cover pebbling numbers of the graphs.
Fibonacci connection between Huffman codes and Wythoff array
Fibonacci connection between non-decreasing sequences of positive integers producing maximum height Huffman trees and the Wythoff array has been proved.
Integer Polynomial Optimization in Fixed Dimension
Published in Mathematics of Operations Research 31 (2006), no. 1, 147-153
• View Publication
• BIB
We classify, according to their computational complexity, integer optimization problems whose constraints and objective functions are polynomials with integer coefficients and the number of variables is fixed. For the optimization of an integer polynomial over the lattice points of a convex polytope, we show an algorithm to compute lower and upper bounds for the optimal value. For polynomials that are non-negative over the polytope, these sequences of bounds lead to a fully polynomial-time approximation scheme for the optimization problem.
An application of graph pebbling to zero-sum sequences in abelian groups
A sequence of elements of a finite group G is called a zero-sum sequence if it sums to the identity of G. The study of zero-sum sequences has a long history with many important applications in number theory and group theory. In 1989 Kleitman and Lemke, and independently Chung, proved a strengthening of a number theoretic conjecture of Erdos and Lemke. Kleitman and Lemke then made more general conjectures for finite groups, strengthening the requirements of zero-sum sequences. In this paper we prove their conjecture in the case of abelian groups. Namely, we use graph pebbling to prove that for every sequence (g_k)_{k=1}^{|G|} of |G| elements of a finite abelian group G there is a nonempty subsequence (g_k)_{k in K} such that sum_{k in K}g_k=0_G and sum_{k in K}1/|g_k|\le 1, where |g| is the order of the element g in G.
In search of Robbins stability
Published in Advances in Applied Mathematics, Volume 34, Issue 4, May 2005, pp. 659-668
• View Publication
• BIB
We speculate on whether a certain p-adic stability phenomenon, observed by David Robbins empirically for Dodgson condensation, appears in other nonlinear recurrence relations that "unexpectedly" produce integer or nearly-integer sequences. We exhibit an example (number friezes) where this phenomenon provably occurs.
An extremal problem on potentially $K_{m}-P_{k}$-graphic sequences
A sequence $S$ is potentially $K_{m}-P_{k}$ graphical if it has a realization containing a $K_{m}-P_{k}$ as a subgraph. Let $σ(K_{m}-P_{k}, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_{m}-P_{k}, n)$ is potentially $K_{m}-P_{k}$ graphical. In this paper, we prove that $σ(K_{m}-P_{k}, n)\geq (2m-6)n-(m-3)(m-2)+2,$ for $n \geq m \geq k+1\geq 4.$ We conjecture that equality holds for $n \geq m \geq k+1\geq 4.$ We prove that this conjecture is true for $m=k+1=5$ and $m=k+2=5$.