arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Ranking Participants in Tournaments by means of Rating Functions
Published • View Publication • BIB
In this paper we bring a novel approach to the theory of tournament rankings. We combine two different theories that are widely used to establish rankings of populations after a given tournament. First, we use the statistical approach of paired comparison analysis to define the performance of a player in a natural way. Then, we determine a ranking (and rating) of the players in the given tournament. Finally, we show, among other properties, that the new ranking method is the unique one satisfying a natural consistency requirement.
2006-01-02 v3
List Decoding of Reed-Solomon Codes from a Groebner Basis Perspective
Published • View Publication • BIB
The interpolation step of Guruswami and Sudan's list decoding of Reed-Solomon codes poses the problem of finding the minimal polynomial of an ideal with respect to a certain monomial order. An efficient algorithm that solves the problem is presented based on the theory of Groebner bases of modules. In a special case, this algorithm reduces to a simple Berlekamp-Massey-like decoding algorithm.
2006-01-01
Periodic Schur process and cylindric partitions
Published • View Publication • BIB
Periodic Schur process is a generalization of the Schur process introduced in math.CO/0107056. We compute its correlation functions and their bulk scaling limits, and discuss several applications including asymptotic analysis of uniform measures on cylindric partitions, time-dependent extensions of the discrete sine kernel, and bulk limit behavior of certain measures on partitions introduced in hep-th/0306238 in connection with supersymmetric gauge theories.
2006-01-01 v2
On covering numbers
Published • View Publication • BIB
A positive integer n is called a covering number if there are some distinct divisors n_1,...,n_k of n greater than one and some integers a_1,...,a_k such that Z is the union of the residue classes a_1(mod n_1),...,a_k(mod n_k). A covering number is said to be primitive if none of its proper divisors is a covering number. In this paper we give some sufficient conditions for n to be a (primitive) covering number; in particular, we show that for any r=2,3,... there are infinitely many primitive covering numbers having exactly r distinct prime divisors. In 1980 P. Erdos asked whether there are infinitely many positive integers n such that among the subsets of D_n={d>1: d|n} only D_n can be the set of all the moduli in a cover of Z with distinct moduli; we answer this question affirmatively. We also conjecture that any primitive covering number must have a prime factorization p_1^{alpha_1}...p_r^{alpha_r} (with p_1,...,p_r in a suitable order) which satisfies $\prod_{0<t<s}(alpha_t+1)\ge p_s-1$ for each s=1,...,r, with strict inequality when s=r.
2005-12-31
A Generalized Enumeration of Labeled Trees and Reverse Prüfer Algorithm
Published in Journal of Combinatorial Theory, Series A, 114(7), 1357-1361, 2007 • View Publication • BIB
A {\em leader} of a tree $T$ on $[n]$ is a vertex which has no smaller descendants in $T$. Gessel and Seo showed $$\sum_{T \in \mathcal{T}_n}u^\text{(# of leaders in $T$)} c^\text{(degree of 1 in $T$)}=u P_{n-1}(1,u,cu),$$ which is a generalization of Cayley formula, where $\mathcal{T}_n$ is the set of trees on $[n]$ and $$P_n(a,b,c)=c\prod_{i=1}^{n-1}(ia+(n-i)b+c).$$ Using a variation of Prüfer code which is called a {\em RP-code}, we give a simple bijective proof of Gessel and Seo's formula.
2005-12-30
An extension of Delsarte's method. The kissing problem in three and four dimensions
Published in The Proceedings of COE Workshop on Sphere Packings (Nov. 1st - Nov. 5th, 2004), Kyushu University, Japan, 2005, 1-25 • Search Publication
These lecture notes treat the solution of the kissing number problem in four dimesions which is based on an extension of the Delsarte method for spherical codes.
2005-12-30
Counting permutations by congruence class of major index
Published • View Publication • BIB
Consider S_n, the symmetric group on n letters, and let maj pi denote the major index of a permutation pi in S_n. Given positive integers k,l and nonnegative integers i,j, define m_n^{k,l}(i,j) := number of pi in S_n such that maj pi = i (mod k) and maj pi^{-1} = j (mod l). We prove bijectively that if k,l are relatively prime and at most n then m_n^{k,l}(i,j) = n!/(kl) which, surprisingly, does not depend on i and j. Equivalently, if m_n^{k,l}(i,j) is interpreted as the (i,j)-entry of a matrix m_n^{k,l}, then this is a constant matrix under the stated conditions. This bijection is extended to show the more general result that for d at least 1 and k,l relatively prime, the matrix m_n^{kd,ld} admits a block decompostion where each block is the matrix m_n^{d,d}/(kl). We also give an explicit formula for m_n^{n,n} and show that if p is prime then m_{np}^{p,p} has a simple block decomposition. To prove these results, we use the representation theory of the symmetric group and certain restricted shuffles.
2005-12-30 v4
Best lower bound for the maximum heterochromatic matchings in edge-colored bipartite graphs
This paper has been withdrawn by the author(s), due an error in the proof.
2005-12-29
Edge-isoperimetric inequalities and influences
Published • View Publication • BIB
We give a combinatorial proof of the result of Kahn, Kalai, and Linial, which states that every balanced boolean function on the $n$-dimensional boolean cube has a variable with influence of at least Omega(\frac{log n}{n}). The methods of the proof are then used to recover additional isoperimetric results for the cube, with improved constants. We also state some conjectures about optimal constants and discuss their possible implications
2005-12-29
The Grone Merris Conjecture and a quadratic eigenvalue problem
We verify the Grone Merris conjecture for a class of graphs. We do this by curve sketching in the sense of first year calculus. That is, we do it by homotopy methods.
2005-12-28 v2
A categorification for the Tutte polynomial
Published in Algebr. Geom. Topol. 6 (2006) 2031-2049 • View Publication • BIB
For each graph, we construct a bigraded chain complex whose graded Euler characteristic is a version of the Tutte polynomial. This work is motivated by earlier work of Khovanov, Helme-Guizon and Rong, and others.
2005-12-28
Ehrhart polynomials of lattice-face polytopes
Published • View Publication • BIB
There is a simple formula for the Ehrhart polynomial of a cyclic polytope. The purpose of this paper is to show that the same formula holds for a more general class of polytopes, lattice-face polytopes. We develop a way of decomposing any d-dimensional simplex in general position into d! signed sets, each of which corresponds to a permutation in the symmetric group, and reduce the problem of counting lattice points in a polytope in general position to that of counting lattice points in these special signed sets. Applying this decomposition to a lattice-face simplex, we obtain signed sets with special properties that allow us to count the number of lattice points inside them. We are thus able to conclude the desired formula for the Ehrhart polynomials of lattice-face polytopes.
2005-12-28 v2
On the existence of crepant resolutions of Gorenstein Abelian quotient singularities in dimensions \geq 4
Published • View Publication • BIB
For which finite subgroups G of SL(r,C), r \geq 4, are there crepant desingularizations of the quotient space C^r/G? A complete answer to this question (also known as "Existence Problem" for such desingularizations) would classify all those groups for which the high-dimensional versions of McKay correspondence are valid. In the paper we consider this question in the case of abelian finite subgroups of SL(r,C) by using techniques from toric and discrete geometry. We give two necessary existence conditions, involving the Hilbert basis elements of the cone supporting the junior simplex, and an Upper Bound Theorem, respectively. Moreover, to the known series of Gorenstein abelian quotient singularities admitting projective, crepant resolutions (which are briefly recapitulated) we add a new series of non-c.i. cyclic quotient singularities having this property.
2005-12-27
M-matrices satisfy Newton's inequalities
Published in Proc. Amer. Math. Soc. 133 (2005), 711-717 • View Publication • BIB
Newton's inequalities $c_n^2 \ge c_{n-1}c_{n+1}$ are shown to hold for the normalized coefficients $c_n$ of the characteristic polynomial of any $M$- or inverse $M$-matrix. They are derived by establishing first an auxiliary set of inequalities also valid for both of these classes. They are also used to derive some new necessary conditions on the eigenvalues of nonnegative matrices.
2005-12-27
Berge Sorting
In 1966, Claude Berge proposed the following sorting problem. Given a string of $n$ alternating white and black pegs on a one-dimensional board consisting of an unlimited number of empty holes, rearrange the pegs into a string consisting of $\lceil\frac{n}{2}\rceil$ white pegs followed immediately by $\lfloor\frac{n}{2}\rfloor$ black pegs (or vice versa) using only moves which take 2 adjacent pegs to 2 vacant adjacent holes. Avis and Deza proved that the alternating string can be sorted in $\lceil\frac{n}{2}\rceil$ such {\em Berge 2-moves} for $n\geq 5$. Extending Berge's original problem, we consider the same sorting problem using {\em Berge $k$-moves}, i.e., moves which take $k$ adjacent pegs to $k$ vacant adjacent holes. We prove that the alternating string can be sorted in $\lceil\frac{n}{2}\rceil$ Berge 3-moves for $n\not\equiv 0\pmod{4}$ and in $\lceil\frac{n}{2}\rceil+1$ Berge 3-moves for $n\equiv 0\pmod{4}$, for $n\geq 5$. In general, we conjecture that, for any $k$ and large enough $n$, the alternating string can be sorted in $\lceil\frac{n}{2}\rceil$ Berge $k$-moves. This estimate is tight as $\lceil\frac{n}{2}\rceil$ is a lower bound for the minimum number of required Berge $k$-moves for $k\geq 2$ and $n\geq 5$.
2005-12-26 v3
Noncommutative Symmetric Functions and Lagrange Inversion
Published in Adv. Appl. Math. 40 (2008), 8-35 • View Publication • BIB
We compute the noncommutative Frobenius characteristic of the natural action of the 0-Hecke algebra on parking functions, and obtain as corollaries various forms of the noncommutative Lagrange inversion formula.
2005-12-26 v2
Short Proofs of Summation and Transformation Formulas for Basic Hypergeometric Series
Published in J. Math. Anal. Appl. 327 (2007), 310-325 • View Publication • BIB
We show that several terminating summation and transformation formulas for basic hypergeometric series can be proved in a straightforward way. Along the same line, new finite forms of Jacobi's triple product identity and Watson's quintuple product identity are also proved.
2005-12-26 v5
On cobweb posets and their combinatorially admissible sequences
Published in Adv. Studies Contemp. Math. Vol. 18 No 1, 2009 17-32 • Search Publication
The main purpose of this article is to pose three problems which are easy to be formulated in an elementary way. These problems which are specifically important also for the new class of partially ordered sets seem to be not yet solved.
2005-12-23 v2
Twenty combinatorial examples of asymptotics derived from multivariate generating functions
Published • View Publication • BIB
Let $\{a_\rr : \rr \in (\Z^+)^d \}$ be a $d$-dimensional array of numbers, for which the generating function $F(\zz) := \sum_\rr a_\rr \zz^\rr$ is meromorphic in a neighborhood of the origin. For example, $F$ may be a rational multivariate generating function. We discuss recent results that allow the effective computation of asymptotic expansions for the coefficients of $F$. Our purpose is to illustrate the use of these techniques on a variety of problems of combinatorial interest. The survey begins by summarizing previous work on the asymptotics of univariate and multivariate generating functions. Next we describe the Morse-theoretic underpinnings of some new asymptotic techniques. We then quote and summarize these results in such a way that only elementary analyses are needed to check hypotheses and carry out computations. The remainder of the survey focuses on combinatorial applications, such as enumeration of words with forbidden substrings, edges and cycles in graphs, polyominoes, and descents in permutations. After the individual examples, we discuss three broad classes of examples, namely functions derived via the transfer matrix method, those derived via the kernel method, and those derived via the method of Lagrange inversion. These methods have the property that generating functions derived from them are amenable to our asymptotic analyses, and we describe further machinery that facilitates computations for these classes of examples.
2005-12-22 v2
Edge-choosability and total-choosability of planar graphs with no adjacent 3-cycles
Published in Discussiones Mathematicae Graph Theory. Vol. 29 (1), 2009, pp. 163-178 • View Publication • BIB
Let $G$ be a planar graph with no two 3-cycles sharing an edge. We show that if $Δ(G)\geq 9$, then $χ'_l(G) = Δ(G)$ and $χ''_l(G)=Δ(G)+1.$ We also show that if $Δ(G)\geq 6$, then $χ'_l(G)\leqΔ(G)+1$ and if $Δ(G)\geq 7$, then $χ''_l(G)\leqΔ(G)+2$. All of these results extend to graphs in the projective plane and when $Δ(G)\geq 7$ the results also extend to graphs in the torus and Klein bottle. This second edge-choosability result improves on work of Wang and Lih and of Zhang and Wu. All of our results use the discharging method to prove structural lemmas about the existence of subgraphs with small degree-sum. For example, we prove that if $G$ is a planar graph with no two 3-cycles sharing an edge and with $Δ(G)\geq 7$, then $G$ has an edge $uv$ with $d(u)\leq 4$ and $d(u)+d(v)\leq Δ(G)+2$. All of our proofs yield linear-time algorithms that produce the desired colorings.