arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81378 papers, 47165 authors in database)
2005-08-29 v2
Perfect single error-correcting codes in the Johnson Scheme
Published • View PublicationBIB
Delsarte conjectured in 1973 that there are no nontrivial pefect codes in the Johnson scheme. Etzion and Schwartz recently showed that perfect codes must be k-regular for large k, and used this to show that there are no perfect codes correcting single errors in J(n,w) for n <= 50000. In this paper we show that there are no perfect single error-correcting codes for n <= 2^250.
2005-08-29 v3
Quantum Knizhnik-Zamolodchikov equation, generalized Razumov-Stroganov sum rules and extended Joseph polynomials
Published in J. Phys. A 38 (2005) L815-L822 • View PublicationBIB
We prove higher rank analogues of the Razumov--Stroganov sum rule for the groundstate of the O(1) loop model on a semi-infinite cylinder: we show that a weighted sum of components of the groundstate of the A_{k-1} IRF model yields integers that generalize the numbers of alternating sign matrices. This is done by constructing minimal polynomial solutions of the level 1 U_q(\hat{sl(k)}) quantum Knizhnik--Zamolodchikov equations, which may also be interpreted as quantum incompressible q-deformations of fractional quantum Hall effect wave functions at filling fraction nu=1/k. In addition to the generalized Razumov--Stroganov point q=-e^{i pi/k+1}, another combinatorially interesting point is reached in the rational limit q -> -1, where we identify the solution with extended Joseph polynomials associated to the geometry of upper triangular matrices with vanishing k-th power.
2005-08-27 v2
Arithmetic properties of q-Fibonacci numbers and q-Pell numbers
Published • View PublicationBIB
We investigate some arithmetic properties of the q-Fibonacci numbers and the q-Pell numbers.
2005-08-26 v2
A family of meta-Fibonacci sequences defined by variable order recursions
We define a family of meta-Fibonacci sequences where the order of the of recursion at stage n is a variable r(n), and the n^{th} term of a sequence is the sum of the previous r(n) terms. For the terms of any such sequence, we give upper and lower bounds which depend only on r(n).
2005-08-26
On a conjecture of Widom
Published • View PublicationBIB
We prove a conjecture of H.Widom stated in [W] (math/0108008) about the reality of eigenvalues of certain infinite matrices arising in asymptotic analysis of large Toeplitz determinants. As a byproduct we obtain a new proof of A.Okounkov's formula for the (determinantal) correlation functions of the Schur measures on partitions.
2005-08-25 v2
2-adic valuations of certain ratios of products of factorials and applications
Published in Linear Algebra Appl. 426 (2007), 159-189. • View PublicationBIB
We prove the conjecture of Falikman--Friedland--Loewy on the parity of the degrees of projective varieties of $n\times n$ complex symmetric matrices of rank at most $k$. We also characterize the parity of the degrees of projective varieties of $n\times n$ complex skew symmetric matrices of rank at most $2p$. We give recursive relations which determine the parity of the degrees of projective varieties of $m\times n$ complex matrices of rank at most $k$. In the case the degrees of these varieties are odd, we characterize the minimal dimensions of subspaces of $n\times n$ skew symmetric real matrices and of $m\times n$ real matrices containing a nonzero matrix of rank at most $k$. The parity questions studied here are also of combinatorial interest since they concern the parity of the number of plane partitions contained in a given box, on the one hand, and the parity of the number of symplectic tableaux of rectangular shape, on the other hand.
2005-08-25 v2
Lusztig's q-analogue of weight multiplicity and one-dimensional sums for affine root systems
Published in Adv. Math. 208 (2007) 438-466 • View PublicationBIB
In this paper we complete the proof of the X=K conjecture, that for every family of nonexceptional affine algebras, the graded multiplicities of tensor products of symmetric power Kirillov-Reshetikhin modules known as one-dimensional sums, have a large rank stable limit X that has a simple expression (called the K-polynomial) as nonnegative integer combination of Kostka-Foulkes polynomials. We consider a subfamily of Lusztig's q-analogues of weight multiplicity which we call stable KL polynomials and denote by KL. We give a type-independent proof that K=KL. This proves that X=KL: the family of stable one-dimensional sums coincides with family of stable KL polynomials. Our result generalizes the theorem of Nakayashiki and Yamada which establishes the above equality in the case of one-dimensional sums of affine type A and the Lusztig q-analogue of type A, where both are Kostka-Foulkes polynomials.
2005-08-25
On the Pólya Enumeration Theorem
Simple formulas for the number of different cyclic and dihedral necklaces containing $n_j$ beads of the $j$-th color, $j\leq m$ and $\sum_{j=1}^mn_j=N$, are derived.
2005-08-24
A simple solution to the k-core problem
Published • View PublicationBIB
We study the k-core of a random (multi)graph on n vertices with a given degree sequence. We let n tend to infinity. Then, under some regularity conditions on the degree sequences, we give conditions on the asymptotic shape of the degree sequence that imply that with high probability the k-core is empty, and other conditions that imply that with high probability the k-core is non-empty and the sizes of its vertex and edge sets satisfy a law of large numbers; under suitable assumptions these are the only two possibilities. In particular, we recover the result by Pittel, Spencer and Wormald on the existence and size of a k-core in G(n,p) and G(n,m). Our method is based on the properties of empirical distributions of independent random variables, and leads to simple proofs.
2005-08-23
Almost-bipartite distance-regular graphs with the $Q$-polynomial property
Published • View PublicationBIB
Let $G$ denote a $Q$-polynomial distance-regular graph with diameter $D$ at least 4. Assume that the intersection numbers of $G$ satisfy $a_i=0$ for $0 \leq i \leq D-1$ and $a_D\neq 0$. We show that $G$ is a polygon, a folded cube, or an Odd graph.
The Terwilliger algebra of an almost-bipartite P- and Q-polynomial association scheme
Published • View PublicationBIB
Let $Y$ denote a $D$-class symmetric association scheme with $D \geq 3$, and suppose $Y$ is almost-bipartite P- and Q-polynomial. Let $x$ denote a vertex of $Y$ and let $T=T(x)$ denote the corresponding Terwilliger algebra. We prove that any irreducible $T$-module $W$ is both thin and dual thin in the sense of Terwilliger. We produce two bases for $W$ and describe the action of $T$ on these bases. We prove that the isomorphism class of $W$ as a $T$-module is determined by two parameters, the dual endpoint and diameter of $W$. We find a recurrence which gives the multiplicities with which the irreducible $T$-modules occur in the standard module. We compute this multiplicity for those irreducible $T$-modules which have diameter at least $D-3$.
2005-08-22
Ramdom walks on hypergroup of circles in finite fields
In this paper we study random walks on the hypergroup of circles in a finite field of prime order p = 4l + 3. We investigating the behavior of random walks on this hypergroup, the equilibrium distribution and the mixing times. We use two different approaches - comparision of Dirichlet forms (geometric bound of eigenvalues), and coupling methods, to show that the mixing time of random walks on hypergroup of circles is only linear.
2005-08-22
Binomial posets with non-isomorphic intervals
The confluent binomial posets with the atomic function A(n) = max (1,2^(n-2)) are classified. In particular, it is shown that in general there are non-isomorphic intervals of the same length.
2005-08-22
Some trace formulae involving the split sequences of a Leonard pair
Published • View PublicationBIB
Let $K$ denote a field, and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy (i), (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a {\em Leonard pair} on $V$. In the literature on Leonard pairs there exist two parameter sequences called the first split sequence and the second split sequence. We display some attractive formulae for the first and second split sequence that involve the trace function.
2005-08-22 v3
A congruence involving products of $q$-binomial coefficients
Published • View PublicationBIB
In this paper we establish a $q$-analogue of a congruence of Sun concerning the products of binomial coefficients modulo the square of a prime.
2005-08-22
Three Mutually Adjacent Leonard Pairs
Published • View PublicationBIB
Let (A,B) and (C,D) denote Leonard pairs on V. We say these pairs are adjacent whenever each basis for V which is standard for (A,B) (resp. (C,D)) is split for (C,D) (resp. (A,B)). Our main results are as follows: Theorem 1. There exists at most 3 mutually adjacent Leonard pairs on V provided the dimension of V is at least 2. Theorem 2. Let (A,B), (C,D), and (E,F) denote three mutually adjacent Leonard pairs on V. There for each of these pairs, the eigenvalue sequence and dual eigenvalue sequence are in arithmetic progression. Theorem 3. Let (A,B) denote a Leonard pair on V whose eigenvalue sequence and dual eigenvalue sequence are in arithmetic progression. Then there exist Leonard pairs (C,D) and (E,F) on V such that (A,B), (C,D), and (E,F) are mutually adjacent.
String rewriting for Double Coset Systems
Published • View PublicationBIB
In this paper we show how string rewriting methods can be applied to give a new method of computing double cosets. Previous methods for double cosets were enumerative and thus restricted to finite examples. Our rewriting methods do not suffer this restriction and we present some examples of infinite double coset systems which can now easily be solved using our approach. Even when both enumerative and rewriting techniques are present, our rewriting methods will be competitive because they i) do not require the preliminary calculation of cosets; and ii) as with single coset problems, there are many examples for which rewriting is more effective than enumeration. Automata provide the means for identifying expressions for normal forms in infinite situations and we show how they may be constructed in this setting. Further, related results on logged string rewriting for monoid presentations are exploited to show how witnesses for the computations can be provided and how information about the subgroups and the relations between them can be extracted. Finally, we discuss how the double coset problem is a special case of the problem of computing induced actions of categories which demonstrates that our rewriting methods are applicable to a much wider class of problems than just the double coset problem.
2005-08-21 v2
h-vectors of Gorenstein polytopes
Published in J. Combin. Theory Ser. A 114 (2007), no. 1, 65-76 • View PublicationBIB
We show that the Ehrhart h-vector of an integer Gorenstein polytope with a regular unimodular triangulation satisfies McMullen's g-theorem; in particular, it is unimodal. This result generalizes a recent theorem of Athanasiadis (conjectured by Stanley) for compressed polytopes. It is derived from a more general theorem on Gorenstein affine normal monoids M: one can factor K[M] (K a field) by a "long" regular sequence in such a way that the quotient is still a normal affine monoid algebra. This technique reduces all questions about the Ehrhart h-vector of P to the Ehrhart h-vector of a Gorenstein polytope Q with exactly one interior lattice point, provided each lattice point in a multiple cP, c in N, can be written as the sum of n lattice points in P. (Up to a translation, the polytope Q belongs to the class of reflexive polytopes considered in connection with mirror symmetry.) If P has a regular unimodular triangulation, then it follows readily that the Ehrhart h-vector of P coincides with the combinatorial h-vector of the boundary complex of a simplicial polytope, and the g-theorem applies.
2005-08-21
Taut distance-regular graphs and the subconstituent algebra
Published • View PublicationBIB
We consider a bipartite distance-regular graph $G$ with diameter $D$ at least 4 and valency $k$ at least 3. We obtain upper and lower bounds for the local eigenvalues of $G$ in terms of the intersection numbers of $G$ and the eigenvalues of $G$. Fix a vertex of $G$ and let $T$ denote the corresponding subconstituent algebra. We give a detailed description of those thin irreducible $T$-modules that have endpoint 2 and dimension $D-3$. In an earlier paper the first author defined what it means for $G$ to be taut. We obtain three characterizations of the taut condition, each of which involves the local eigenvalues or the thin irreducible $T$-modules mentioned above.
2005-08-19 v4
Equi-distribution over Descent Classes of the Hyperoctahedral Group
Published • View PublicationBIB
A classical result of MacMahon shows that the length function and the major index are equi-distributed over the symmetric group. Foata and Schützenberger gave a remarkable refinement and proved that these parameters are equi-distributed over inverse descent classes, implying bivariate equi-distribution identities. Type $B$ analogues of these results, refinements and consequences are given in this paper.