arXiv++ Combinatorics

Browse math.CO papers from arXiv

sequence

6845 papers tagged with this keyword
2008-10-17 v2
The Combinatorics of Al-Salam-Chihara $q$-Laguerre polynomials
Published • View PublicationBIB
We describe various aspects of the Al-Salam-Chihara $q$-Laguerre polynomials. These include combinatorial descriptions of the polynomials, the moments, the orthogonality relation and a combinatorial interpretation of the linearization coefficients. It is remarkable that the corresponding moment sequence appears also in the recent work of Postnikov and Williams on enumeration of totally positive Grassmann cells.
2008-10-15
Derangements and Euler's difference table for $C_\ell\wr S_n$
Published in The Electronic Journal of Combinatorics 15 (2008); #R65 • View PublicationBIB
Euler's difference table associated to the sequence $\{n!\}$ leads naturally to the counting formula for the derangements. In this paper we study Euler's difference table associated to the sequence $\{\ell^n n!\}$ and the generalized derangement problem. For the coefficients appearing in the later table we will give the combinatorial interpretations in terms of two kinds of $k$-successions of the group $C_\ell\wr S_n$. In particular for $\ell=1$ we recover the known results for the symmetric groups while for $\ell=2$ we obtain the corresponding results for the hyperoctahedral groups.
The q-Log-convexity of the Generating Functions of the Squares of Binomial Coefficients
We prove a conjecture of Liu and Wang on the q-log-convexity of the polynomial sequence $\{\sum_{k=0}^n{n\choose k}^2q^k\}_{n\geq 0}$. By using Pieri's rule and the Jacobi-Trudi identity for Schur functions, we obtain an expansion of a sum of products of elementary symmetric functions in terms of Schur functions with nonnegative coefficients. Then the principal specialization leads to the q-log-convexity. We also prove that a technical condition of Liu and Wang holds for the squares of the binomial coefficients. Hence we deduce that the linear transformation with respect to the triangular array $\{{n\choose k}^2\}_{0\leq k\leq n}$ is log-convexity preserving.
2008-10-09
Identifying almost sorted permutations from TCP buffer dynamics
Published • View PublicationBIB
Associate to each sequence $A$ of integers (intending to represent packet IDs) a sequence of positive integers of the same length ${\mathcal M}(A)$. The $i$'th entry of ${\mathcal M}(A)$ is the size (at time $i$) of the smallest buffer needed to hold out-of-order packets, where space is accounted for unreceived packets as well. Call two sequences $A$, $B$ {\em equivalent} (written $A\equiv_{FB} B$) if ${\mathcal M}(A)={\mathcal M}(B)$. We prove the following result: any two permutations $A,B$ of the same length with $SUS(A)$, $SUS(B)\leq 3$ (where SUS is the {\em shuffled-up-sequences} reordering measure), and such that $A\equiv_{FB} B$ are identical. The result (which is no longer valid if we replace the upper bound 3 by 4) was motivated by RESTORED, a receiver-oriented model of network traffic we have previously introduced.
2008-10-06 v2
Asymptotic energy of graphs
Published • View PublicationBIB
The energy of a simple graph $G$ arising in chemical physics, denoted by $\mathcal E(G)$, is defined as the sum of the absolute values of eigenvalues of $G$. We consider the asymptotic energy per vertex (say asymptotic energy) for lattice systems. In general for a type of lattice in statistical physics, to compute the asymptotic energy with toroidal, cylindrical, Mobius-band, Klein-bottle, and free boundary conditions are different tasks with different hardness. In this paper, we show that if $\{G_n\}$ is a sequence of finite simple graphs with bounded average degree and $\{G_n'\}$ a sequence of spanning subgraphs of $\{G_n\}$ such that almost all vertices of $G_n$ and $G_n'$ have the same degrees, then $G_n$ and $G_n'$ have the same asymptotic energy. Thus, for each type of lattices with toroidal, cylindrical, Mobius-band, Klein-bottle, and free boundary conditions, we have the same asymptotic energy. As applications, we obtain the asymptotic formulae of energies per vertex of the triangular, $3^3.4^2$, and hexagonal lattices with toroidal, cylindrical, Mobius-band, Klein-bottle, and free boundary conditions simultaneously.
2008-10-06
Algebraic Connectivity and Degree Sequences of Trees
We investigate the structure of trees that have minimal algebraic connectivity among all trees with a given degree sequence. We show that such trees are caterpillars and that the vertex degrees are non-decreasing on every path on non-pendant vertices starting at the characteristic set of the Fiedler vector.
2008-10-06
On a Speculated Relation Between Chvátal-Sankoff Constants of Several Sequences
Published in Combinatorics, Probability and Computing (2009) 18:4, 517-532 • View PublicationBIB
It is well known that, when normalized by n, the expected length of a longest common subsequence of d sequences of length n over an alphabet of size sigma converges to a constant gamma_{sigma,d}. We disprove a speculation by Steele regarding a possible relation between gamma_{2,d} and gamma_{2,2}. In order to do that we also obtain new lower bounds for gamma_{sigma,d}, when both sigma and d are small integers.
2008-09-25 v2
The edge-flipping group of a graph
Published • View PublicationBIB
Let $X=(V,E)$ be a finite simple connected graph with $n$ vertices and $m$ edges. A configuration is an assignment of one of two colors, black or white, to each edge of $X.$ A move applied to a configuration is to select a black edge $ε\in E$ and change the colors of all adjacent edges of $ε.$ Given an initial configuration and a final configuration, try to find a sequence of moves that transforms the initial configuration into the final configuration. This is the edge-flipping puzzle on $X,$ and it corresponds to a group action. This group is called the edge-flipping group $\mathbf{W}_E(X)$ of $X.$ This paper shows that if $X$ has at least three vertices, $\mathbf{W}_E(X)$ is isomorphic to a semidirect product of $(\mathbb{Z}/2\mathbb{Z})^k$ and the symmetric group $S_n$ of degree $n,$ where $k=(n-1)(m-n+1)$ if $n$ is odd, $k=(n-2)(m-n+1)$ if $n$ is even, and $\mathbb{Z}$ is the additive group of integers.
Near universal cycles for subsets exist
Published • View PublicationBIB
Let S be a cyclic n-ary sequence. We say that S is a {\it universal cycle} ((n,k)-Ucycle) for k-subsets of [n] if every such subset appears exactly once contiguously in S, and is a Ucycle packing if every such subset appears at most once. Few examples of Ucycles are known to exist, so the relaxation to packings merits investigation. A family {S_n} of (n,k)-Ucycle packings for fixed k is a near-Ucycle if the length of S_n is $(1-o(1))\binom{n}{k}$. In this paper we prove that near-(n,k)-Ucycles exist for all k.
2008-09-15
Spanning Trees in Grid Graphs
Building on work by Desjarlais, Molina, Faase, and others, a general method is obtained for counting the number of spanning trees of graphs that are a product of an arbitrary graph and either a path or a cycle, of which grid graphs are a subclass. Results are obtained pertaining to recurrences obtained in this manner, and numerous new integer sequences are found.
2008-09-09
On unimodality problems in Pascal's triangle
Published in The Electronic Journal of Combinatorics 15 (2008) #R113 • View PublicationBIB
Many sequences of binomial coefficients share various unimodality properties. In this paper we consider the unimodality problem of a sequence of binomial coefficients located in a ray or a transversal of the Pascal triangle. Our results give in particular an affirmative answer to a conjecture of Belbachir et al which asserts that such a sequence of binomial coefficients must be unimodal. We also propose two more general conjectures.
2008-09-09
Proof of a conjecture on unimodality
Published in European J. Combin. 26 (2005) 617--627 • Search Publication
Let $P(x)$ be a polynomial of degree $m$, with nonnegative and non-decreasing coefficients. We settle the conjecture that for any positive real number $d$, the coefficients of $P(x+d)$ form a unimodal sequence, of which the special case $d$ being a positive integer has already been asserted in a previous work. Further, we explore the location of modes of $P(x+d)$ and present some sufficient conditions on $m$ and $d$ for which $P(x+d)$ has the unique mode $\lceil{m-d\over d+1}\rceil$.
2008-09-08
On a family of tridiagonal matrices
We show that certain integral positive definite symmetric tridiagonal matrices of determinant $n$ are in one to one correspondence with elements of $(\mathbb Z/n\mathbb Z)^*$. We study some properties of this correspondence. In a somewhat unrelated second part we discuss a construction which associates a sequence of integral polytopes to every integral symmetric matrix.
Derangement Polynomials and Excedances of Type B
Published • View PublicationBIB
Adopting the definition of excedances of type B due to Brenti, we give a type B analogue of the q-derangement polynomials. The connection between q-derangement polynomials and Eulerian polynomials naturally extends to the type B case. Based on this relation, we derive some basic properties of the q-derangement polynomials of type B, including the generating function formula, the Sturm sequence property, and the asymptotic normal distribution. We also show that the q-derangement polynomials are almost symmetric in the sense that the coefficients possess the spiral property.
2008-09-03 v2
Non-Gatherable Triples for Non-Affine Root Systems
Published in SIGMA 4 (2008), 079, 12 pages • View PublicationBIB
This paper contains a complete description of minimal non-gatherable triangle triples in the lambda-sequences for the classical root systems, $F_4$ and $E_6$. Such sequences are associated with reduced decompositions (words) in affine and non-affine Weyl groups. The existence of the non-gatherable triples is a combinatorial obstacle for using the technique of intertwiners for an explicit description of the irreducible representations of the (double) affine Hecke algebras, complementary to their algebraic-geometric theory.
2008-09-01 v2
Some Hecke Algebra Products and Corresponding Random Walks
Published • View PublicationBIB
Let $\bm{i}=1+q+...+q^{i-1}$. For certain sequences $(r_1,...,r_l)$ of positive integers, we show that in the Hecke algebra $\mathscr{H}_n(q)$ of the symmetric group $\mathfrak{S}_n$, the product $(1+\bm{r_1}T_{r_1})... (1+\bm{r_l}T_{r_l})$ has a simple explicit expansion in terms of the standard basis $\{T_w\}$. An interpretation is given in terms of random walks on $\mathfrak{S}_n$.
2008-08-31 v2
The Reverse Ultra Log-Concavity of the Boros-Moll Polynomials
Published • View PublicationBIB
We prove the reverse ultra log-concavity of the Boros-Moll polynomials. We further establish an inequality which implies the log-concavity of the sequence $\{i!d_i(m)\}$ for any $m\geq 2$, where $d_i(m)$ are the coefficients of the Boros-Moll polynomials $P_m(a)$. This inequality also leads to the fact that in the asymptotic sense, the Boros-Moll sequences are just on the borderline between ultra log-concavity and reverse ultra log-concavity. We propose two conjectures on the log-concavity and reverse ultra log-concavity of the sequence $\{d_{i-1}(m) d_{i+1}(m)/d_i(m)^2\}$ for $m\geq 2$.
2008-08-21
A binary tree representation for the 2-adic valuation of a sequence arising from a rational integral
Published • View PublicationBIB
We present a binary tree that describes the 2-adic valuation of a sequence of coefficients arising from the evaluation of a rational integral.
2008-08-20
SPM Bulletin 25
Contents: 1. Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces, I; 2. Frechet-Urysohn fans in free topological groups; 3. Packing index of subsets in Polish groups; 4. Symmetric monochromatic subsets in colorings of the Lobachevsky plane; 5. Structural Ramsey theory of metric spaces and topological dynamics of isometry groups; 6. Distinguishing Number of Countable Homogeneous Relational Structures; 7. Indestructible colourings and rainbow Ramsey theorems; 8. Products of Borel subgroups; 9. Selection theorems and treeability; 10. Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces, IV; 11. A property of Cp[0, 1]; 12. A Dedekind Finite Borel Set; 13. Aronszajn Compacta; 14. A strong antidiamond principle compatible with CH; 15. On the strength of Hausdorff's gap condition; 16. Nonhomogeneous analytic families of trees; 17. Reasonable non-Radon-Nikodym ideals; 18. Continuity and related forcing; 19. An exact Ramsey principle for block sequences; 20. Baire reflection; 21. Tukey classes of ultrafilters on; 22. Countably determined compact abelian groups; 23. A topological reflection principle equivalent to Shelah's Strong Hypothesis; 24. Superfilters, Ramsey theory, and van der Waerden's Theorem.
2008-08-16
On the geometry of a class of invariant measures and a problem of Aldous
In his 1985 survey of notions of exchangeability, Aldous introduced a form of exchangeability corresponding to the symmetries of the infinite discrete cube, and asked whether these exchangeable probability measures enjoy a representation theorem similar to those for exchangeable sequences, arrays and set-indexed families. In this note we to prove that, whereas the known representation theorems for different classes of partially exchangeable probability measure imply that the compact convex set of such measures is a Bauer simplex (that is, its subset of extreme points is closed), in the case of cube-exchangeability it is a copy of the Poulsen simplex (in which the extreme points are dense). This follows from the arguments used by Glasner and Weiss' for their characterization of property (T) in terms of the geometry of the simplex of invariant measures for associated generalized Bernoulli actions. The emergence of this Poulsen simplex suggests that, if a representation theorem for these processes is available at all, it must take a very different form from the case of set-indexed exchangeable families.