arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81378 papers, 47165 authors in database)
2004-01-08
Expansion in $n^{-1}$ for percolation critical values on the $n$-cube and $Z^n$: the first three terms
Published • View PublicationBIB
Let $p_c(\mathbb{Q}_n)$ and $p_c(\mathbb{Z}^n)$ denote the critical values for nearest-neighbour bond percolation on the $n$-cube $\mathbb{Q}_n = \{0,1\}^n$ and on $\Z^n$, respectively. Let $Ω= n$ for $\mathbb{G} = \mathbb{Q}_n$ and $Ω= 2n$ for $\mathbb{G} = \mathbb{Z}^n$ denote the degree of $\mathbb{G}$. We use the lace expansion to prove that for both $\mathbb{G} = \mathbb{Q}_n$ and $\mathbb{G} = \mathbb{Z}^n$, $p_c(\mathbb{G}) & = \cn^{-1} + \cn^{-2} + {7/2} \cn^{-3} + O(\cn^{-4}).$ This extends by two terms the result $p_c(\mathbb{Q}_n) = \cn^{-1} + O(\cn^{-2})$ of Borgs, Chayes, van der Hofstad, Slade and Spencer, and provides a simplified proof of a previous result of Hara and Slade for $\mathbb{Z}^n$.
2004-01-08
Asymptotic expansions in $n^{-1}$ for percolation critical values on the $n$-cube and $\mathbb{Z}^n$
We use the lace expansion to prove that the critical values for nearest-neighbour bond percolation on the $n$-cube $\{0,1\}^n$ and on $\mathbb{Z}^n$ have asymptotic expansions, with rational coefficients, to all orders in powers of $n^{-1}$.
2004-01-08
A Littlewood-Richardson rule for evaluation representations of quantum affine sl(n)
We give a combinatorial description of the composition factors of the induction product of two evaluation modules of the affine Iwahori-Hecke algebra of type GL(m). Using quantum affine Schur-Weyl duality, this yields a combinatorial description of the composition factors of the tensor product of two evaluation modules of the quantum affine algebra of type sl(n).
2004-01-07 v2
An extension of a curious binomial identity
Published in Int. J. Mod. Math. 2(2007), no.2, 247-251 • Search Publication
In 2002 Zhi-Wei Sun [Integers 2(2002)] published a curious identity involving binomial coefficients. In this paper we present a generalization of the identity.
2004-01-06
Unitary Space Time Constellation Analysis: An Upper Bound for the Diversity
Published • View PublicationBIB
The diversity product and the diversity sum are two very important parameters for a good-performing unitary space time constellation. A basic question is what the maximal diversity product (or sum) is. In this paper we are going to derive general upper bounds on the diversity sum and the diversity product for unitary constellations of any dimension $n$ and any size $m$ using packing techniques on the compact Lie group U(n).
2004-01-05
On Mathon's construction of maximal arcs in Desarguesian planes. II
Published • View PublicationBIB
In a recent paper [M], Mathon gives a new construction of maximal arcs which generalizes the construction of Denniston. In relation to this construction, Mathon asks the question of determining the largest degree of a non-Denniston maximal arc arising from his new construction. In this paper, we give a nearly complete answer to this problem. Specifically, we prove that when $m\geq 5$ and $m\neq 9$, the largest $d$ of a non-Denniston maximal arc of degree $2^d$ in PG(2,2^m) generated by a {p,1}-map is $(\floor {m/2} +1)$. This confirms our conjecture in [FLX]. For {p,q}-maps, we prove that if $m\geq 7$ and $m\neq 9$, then the largest $d$ of a non-Denniston maximal arc of degree $2^d$ in PG(2,2^m) generated by a {p,q}-map is either $\floor {m/2} +1$ or $\floor{m/2} +2$.
2004-01-05 v3
A short proof of generalized Jacobi-Trudi expansions for Macdonald polynomials
Published in Contemporary Mathematics, 417 (2006), 271-280. • View PublicationBIB
We give an elementary proof of the development of Macdonald polynomials in terms of "modified complete" and elementary symmetric functions.
2004-01-05
On Lattice Barycentric Tetrahedra
We say a lattice tetrahedron whose centroid is its only non-vertex lattice point is lattice barycentric. The notation T(a,b,c) describes the lattice tetrahedron with vertices {0, e_1, e_2, a e_1 + b e_2 + c e_3}. Our result is that all such T(a,b,c) are unimodularly equivalent to T(3,3,4) or T(7,11,20).
2004-01-04 v2
Spanning forests and the q-state Potts model in the limit q \to 0
Published in J.Statist.Phys. 119 (2005) 1153-1281 • View PublicationBIB
We study the q-state Potts model with nearest-neighbor coupling v=e^{βJ}-1 in the limit q,v \to 0 with the ratio w = v/q held fixed. Combinatorially, this limit gives rise to the generating polynomial of spanning forests; physically, it provides information about the Potts-model phase diagram in the neighborhood of (q,v) = (0,0). We have studied this model on the square and triangular lattices, using a transfer-matrix approach at both real and complex values of w. For both lattices, we have computed the symbolic transfer matrices for cylindrical strips of widths 2 \le L \le 10, as well as the limiting curves of partition-function zeros in the complex w-plane. For real w, we find two distinct phases separated by a transition point w=w_0, where w_0 = -1/4 (resp. w_0 = -0.1753 \pm 0.0002) for the square (resp. triangular) lattice. For w > w_0 we find a non-critical disordered phase, while for w < w_0 our results are compatible with a massless Berker-Kadanoff phase with conformal charge c = -2 and leading thermal scaling dimension x_{T,1} = 2 (marginal operator). At w = w_0 we find a "first-order critical point": the first derivative of the free energy is discontinuous at w_0, while the correlation length diverges as w \downarrow w_0 (and is infinite at w = w_0). The critical behavior at w = w_0 seems to be the same for both lattices and it differs from that of the Berker-Kadanoff phase: our results suggest that the conformal charge is c = -1, the leading thermal scaling dimension is x_{T,1} = 0, and the critical exponents are ν= 1/d = 1/2 and α= 1.
2004-01-03
On the Andrews-Stanley Refinement of Ramanujan's Partition Congruence Modulo 5
Published • View PublicationBIB
In a recent study of sign-balanced, labelled posets Stanley [13], introduced a new integral partition statistic srank(pi) = O(pi) - O(pi'), where O(pi) denotes the number of odd parts of the partition pi and pi' the conjugate of pi. In [1] Andrews proved the following refinement of Ramanujan's partition congruence mod 5: p[0](5n +4) = p[2](5n + 4) = 0 (mod 5), p(n) = p[0](n) + p[2](n), where p[i](n) (i = 0, 2) denotes the number of partitions of n with srank = i (mod 4) and p(n) is the number of unrestricted partitions of n. Andrews asked for a partition statistic that would divide the partitions enumerated by p[i](5n + 4) (i = 0, 2) into five equinumerous classes. In this paper we discuss two such statistics. The first one, while new, is intimately related to the Andrews-Garvan [2] crank. The second one is in terms of the 5-core crank, introduced by Garvan, Kim and Stanton [9]. Finally, we discuss some new formulas for partitions that are 5-cores.
2004-01-03
Fundamental groupoids of k-graphs
k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop a theory of the fundamental groupoid of a k-graph, and relate it to the fundamental groupoid of an associated graph called the 1-skeleton. We also explore the failure, in general, of k-graphs to faithfully embed into their fundamental groupoids.
2004-01-03 v2
Coverings of k-graphs
Published in J. Algebra 289 (2005), 161-191 • View PublicationBIB
k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop the theory of covering spaces for k-graphs, obtaining a satisfactory version of the usual topological classification in terms of subgroups of a fundamental group. We then use this classification to describe the C*-algebras of covering k-graphs as crossed products by coactions of homogeneous spaces, generalizing recent results on the C*-algebras of graphs.
2004-01-02
Adjacency method for extreme Delaunay polytopes
The {\em hypermetric cone} is defined as the cone of semimetrics satisfying the {\em hypermetric inequalities}. Every {\em Delaunay polytope} corresponds to a ray of this polyhedral cone. The Delaunay polytopes, which correspond to extreme rays are called {\em extreme}. We use this polyhedral cone and the {\em closest vector problem} to present a new technique that allow to find, from a given extreme Delaunay polytope, some new ones. Then, we show some examples of applications of this technique in low-dimensions.
2004-01-02 v2
A unique representation of polyhedral types
Published in Math. Z. 249 (2005), 513-517 • View PublicationBIB
It is known that for each combinatorial type of convex 3-dimensional polyhedra, there is a representative with edges tangent to the unit sphere. This representative is unique up to projective transformations that fix the unit sphere. We show that there is a unique representative (up to congruence) with edges tangent to the unit sphere such that the origin is the barycenter of the points where the edges touch the sphere.
2004-01-02
Geometrically constructed bases for homology of partition lattices of types A, B and D
We use the theory of hyperplane arrangements to construct natural bases for the homology of partition lattices of types A, B and D. This extends and explains the "splitting basis" for the homology of the partition lattice given in [Wa96], thus answering a question asked by R. Stanley. More explicitly, the following general technique is presented and utilized. Let A be a central and essential hyperplane arrangement in R^d. Let R_1,...,R_k be the bounded regions of a generic hyperplane section of A. We show that there are induced polytopal cycles ρ_{R_i} in the homology of the proper part \bar{L_A} of the intersection lattice such that {ρ_{R_i}}_{i=1,...,k} is a basis for \tilde H_{d-2}(\bar{L_A}). This geometric method for constructing combinatorial homology bases is applied to the Coxeter arrangements of types A, B and D, and to some interpolating arrangements.
2004-01-01
Enumerative problems inspired by Mayer's theory of cluster integrals
Published in Electronic Journal of Combinatorics 11 (2004), #R32 • View PublicationBIB
The basic functional equations for connected and 2-connnected graphs can be traced back to the statistical physicists Mayer and Husimi. They play an essential role in establishing rigorously the virial expansion for imperfect gases. We survey this approach and inspired by these equations, we investigate the problem of enumerating some classes of connected graphs all of whose blocks are contained in a given class B. Included are the species of Husimi graphs (B = "complete graphs"), cacti (B = "unoriented cycles"), and oriented cacti (B = "oriented cycles"). For each of these, we consider the question of their labelled or unlabelled enumeration and of their molecular expansion, according (or not) to their block-size distributions.
2003-12-31
Segre and Rees products of posets, with ring-theoretic applications
We introduce (weighted) Segre and Rees products for posets and show that these constructions preserve the Cohen-Macaulay property over a field $k$ and homotopically. As an application we show that the weighted Segre product of two affine semigroup rings that are Koszul is again Koszul. This result generalizes previous results by Crona on weighted Segre products of polynomial rings. We also give a new proof of the fact that the Rees ring of a Koszul affine semigroup ring is again Koszul. The paper ends with a list of some open problems in the area.
2003-12-31 v4
Enumerative tropical algebraic geometry in R2
Published • View PublicationBIB
The paper establishes a formula for enumeration of curves of arbitrary genus in toric surfaces. It turns out that such curves can be counted by means of certain lattice paths in the Newton polygon. The formula was announced earlier in http://arxiv.org/abs/math.AG/0209253. The result is established with the help of the so-called tropical algebraic geometry. This geometry allows one to replace complex toric varieties with the Euclidean n-space and holomorphic curves with certain piecewise-linear graphs there.
2003-12-30
Groebner basis degree bounds on $\Tor^{k[Λ]}_\bullet(k,k)_\bullet$ and discrete Morse theory for posets
Published • View PublicationBIB
The purpose of this paper is twofold. 1. We give combinatorial bounds on the ranks of the groups $\Tor^{R}_\bullet(k,k)_\bullet$ in the case where $R = k[Λ]$ is an affine semi-group ring, and in the process provide combinatorial proofs for bounds by Eisenbud, Reeves and Totaro on which Tor groups vanish. In addition, we show that if the bounds hold for a field $k$ then they hold for $\field[Λ]$ and any field $\field$. Moreover, we provide a combinatorial construction for a free resolution of $\field$ over $\field[Λ]$ which achieves these bounds. 2. We extend the lexicographic discrete Morse function construction of Babson and Hersh for the determination of the homotopy type and homology of order complexes of posets to a larger class of facet orderings that includes orders induced by monomial term orders. Since it is known that the order complexes of finite intervals in the poset of monomials in $k[Λ]$ ordered by divisibility in $k[Λ]$ govern the $\Tor$-groups, the newly developed tools are applicable and serve as the main ingredients for the proof of the bounds and the construction of the resolution.
2003-12-30
The invariant factors of the incidence matrices of points and subspaces in PG(n,q) and AG(n,q)
Published in Trans. Amer. Math. Soc. 358 (2006) 3537-3559 • View PublicationBIB
We determine the Smith normal forms of the incidence matrices of points and projective (r-1)-dimensional subspaces of PG(n,q) and of the incidence matrices of points and r-dimensional affine subspaces of AG(n,q) for all n, r, and arbitrary prime power q.