arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81378 papers, 47165 authors in database)
2004-07-16 v3
Transfer Matrices and Partition-Function Zeros for Antiferromagnetic Potts Models. IV. Chromatic polynomial with cyclic boundary conditions
Published in J.Statist.Phys. 122 (2006) 705-760 • View PublicationBIB
We study the chromatic polynomial P_G(q) for m \times n square- and triangular-lattice strips of widths 2\leq m \leq 8 with cyclic boundary conditions. This polynomial gives the zero-temperature limit of the partition function for the antiferromagnetic q-state Potts model defined on the lattice G. We show how to construct the transfer matrix in the Fortuin--Kasteleyn representation for such lattices and obtain the accumulation sets of chromatic zeros in the complex q-plane in the limit n\to\infty. We find that the different phases that appear in this model can be characterized by a topological parameter. We also compute the bulk and surface free energies and the central charge.
2004-07-15 v2
On the extreme eigenvalues of regular graphs
In this paper, we present an elementary proof of a theorem of Serre concerning the greatest eigenvalues of $k$-regular graphs. We also prove an analogue of Serre's theorem regarding the least eigenvalues of $k$-regular graphs: given $ε>0$, there exist a positive constant $c=c(ε,k)$ and a nonnegative integer $g=g(ε,k)$ such that for any $k$-regular graph $X$ with no odd cycles of length less than $g$, the number of eigenvalues $μ$ of $X$ such that $μ\leq -(2-ε)\sqrt{k-1}$ is at least $c|X|$. This implies a result of Winnie Li.
2004-07-15
Metric structures in L_1: Dimension, snowflakes, and average distortion
Published in European J. Combinatorics 26(8): 1180-1190,2005 • View PublicationBIB
We study the metric properties of finite subsets of L_1. The analysis of such metrics is central to a number of important algorithmic problems involving the cut structure of weighted graphs, including the Sparsest Cut Problem, one of the most compelling open problems in the field of approximation algorithms. Additionally, many open questions in geometric non-linear functional analysis involve the properties of finite subsets of L_1.
2004-07-15
Proper partitions of a polygon and k-Catalan numbers
Let P be a polygon whose vertices have been colored (labeled) cyclically with the numbers 1,2,...,c. Motivated by conjectures of Propp, we are led to consider partitions of P into k-gons which are proper in the sense that each k-gon contains all c colors on its vertices. Counting the number of proper partitions involves a generalization of the k-Catalan numbers. We also show that in certain cases, any proper partition can be obtained from another by a sequence of moves called flips.
2004-07-14
A note on equitable colorings of forests
Published • View PublicationBIB
This note gives a short proof on characterizations of a forest to be equitably k-colorable.
2004-07-13
Representation theory of the 0-Ariki-Koike-Shoji algebras
We investigate the representation theory of certain specializations of the Ariki-Koike algebras, obtained by setting $q=0$ in a suitably normalized version of Shoji's presentation. We classify the simple and projective modules, and describe restrictions, induction products, Cartan invariants and decomposition matrices. This allows us to identify the Grothendieck rings of the towers of algebras in terms of certain graded Hopf algebras known as the Mantaci-Reutenauer descent algebras, and Poirier Quasi-symmetric functions.
2004-07-13 v2
Coxeter Complexes and Graph-Associahedra
Published in Topology and its Applications, 153 (2006) 2155-2168 • View PublicationBIB
Given a graph G, we construct a simple, convex polytope whose face poset is based on the connected subgraphs of G. This provides a natural generalization of the Stasheff associahedron and the Bott-Taubes cyclohedron. Moreover, we show that for any simplicial Coxeter system, the minimal blow-ups of its associated Coxeter complex has a tiling by graph-associahedra. The geometric and combinatorial properties of the complex as well as of the polyhedra are given. These spaces are natural generalizations of the Deligne-Knudsen-Mumford compactification of the real moduli space of curves.
The Gromov Norm of the Product of Two Surfaces
Published in Topology 44:2 (March 2005), 321-339 • View PublicationBIB
We make an estimation of the value of the Gromov norm of the Cartesian product of two surfaces. Our method uses a connection between these norms and the minimal size of triangulations of the products of two polygons. This allows us to prove that the Gromov norm of this product is between 32 and 52 when both factors have genus 2. The case of arbitrary genera is easy to deduce form this one.
Signature of rotors
Rotors were introduced in Graph Theory by W.Tutte. The concept was adapted to Knot Theory as a generalization of mutation by Anstee, Przytycki and Rolfsen in 1987. In this paper we show that Tristram-Levine signature is preserved by orientation-preserving rotations. Moreover, we show that any link invariant obtained from the characteristic polynomial of Goeritz matrix, including Murasugi signature, is not changed by rotations. In 2001, P. Traczyk showed that the Conway polynomials of any pair of orientation-preserving rotants coincide. But it was still an open problem if an orientation-reversing rotation preserves Conway polynomial. We show that there is a pair of orientation-reversing rotants with different Conway polynomials. This provides a negative solution to the problem.
2004-07-11
Two results on domino and ribbon tableaux
Published • View PublicationBIB
Inspired by the spin-inversion statistics of Schilling et al. and Haglund et al., we relate the symmetry of ribbon functions to a result of van Leeuwen, and also describe the multiplication of a domino function by a Schur function.
2004-07-11
Routing Complexity of Faulty Networks
Published • View PublicationBIB
One of the fundamental problems in distributed computing is how to efficiently perform routing in a faulty network in which each link fails with some probability. This paper investigates how big the failure probability can be, before the capability to efficiently find a path in the network is lost. Our main results show tight upper and lower bounds for the failure probability which permits routing, both for the hypercube and for the $d-$dimensional mesh. We use tools from percolation theory to show that in the $d-$dimensional mesh, once a giant component appears -- efficient routing is possible. A different behavior is observed when the hypercube is considered. In the hypercube there is a range of failure probabilities in which short paths exist with high probability, yet finding them must involve querying essentially the entire network. Thus the routing complexity of the hypercube shows an asymptotic phase transition. The critical probability with respect to routing complexity lies in a different location then that of the critical probability with respect to connectivity. Finally we show that an oracle access to links (as opposed to local routing) may reduce significantly the complexity of the routing problem. We demonstrate this fact by providing tight upper and lower bounds for the complexity of routing in the random graph $G_{n,p}$.
2004-07-11
Logarithmic equivalence of Welschinger and Gromov-Witten invariants
Published • View PublicationBIB
The Welschinger numbers, a kind of a real analog of the Gromov-Witten numbers which count the complex rational curves through a given generic collection of points, bound from below the number of real rational curves for any real generic collection of points. By the logarithmic equivalence of sequences we mean the asymptotic equivalence of their logarithms. We prove such an equivalence for the Welschinger and Gromov-Witten numbers of any toric Del Pezzo surface with its tautological real structure, in particular, of the projective plane, under the hypothesis that all, or almost all, chosen points are real. We also study the positivity of Welschinger numbers and their monotonicity with respect to the number of imaginary points.
2004-07-11
Spitzer's Identity and the Algebraic Birkhoff Decomposition in pQFT
Published in J.Phys. A37 (2004) 11037-11052 • View PublicationBIB
In this article we continue to explore the notion of Rota-Baxter algebras in the context of the Hopf algebraic approach to renormalization theory in perturbative quantum field theory. We show in very simple algebraic terms that the solutions of the recursively defined formulae for the Birkhoff factorization of regularized Hopf algebra characters, i.e. Feynman rules, naturally give a non-commutative generalization of the well-known Spitzer's identity. The underlying abstract algebraic structure is analyzed in terms of complete filtered Rota-Baxter algebras.
2004-07-11
The Chromatic Number of Random Regular Graphs
Published in Proc. RANDOM 2004 • View PublicationBIB
Given any integer d >= 3, let k be the smallest integer such that d < 2k log k. We prove that with high probability the chromatic number of a random d-regular graph is k, k+1, or k+2, and that if (2k-1) \log k < d < 2k \log k then the chromatic number is either k+1 or k+2.
2004-07-10
Baxter Algebras and Differential Algebras
Published in Differential Algebra and Related Topics, World Scientific Publishing Company, 2002, 281-305 • Search Publication
A Baxter algebra is a commutative algebra $A$ that carries a generalized integral operator. In the first part of this paper we review past work of Baxter, Miller, Rota and Cartier in this area and explain more recent work on explicit constructions of free Baxter algebras that extended the constructions of Rota and Cartier. In the second part of the paper we will use these explicit constructions to relate Baxter algebras to Hopf algebras and give applications of Baxter algebras to the umbral calculus in combinatorics.
2004-07-10
Baxter Algebras and Hopf Algebras
Published in Trans. Amer. Math. Soc., 355 (2003), 4639-4656 • View PublicationBIB
By applying a recent construction of free Baxter algebras, we obtain a new class of Hopf algebras that generalizes the classical divided power Hopf algebra. We also study conditions under which these Hopf algebras are isomorphic.
2004-07-09
Baxter Algebras and Shuffle Products
Published in Adv. in Math. 150 (2000), 117-149 • Search Publication
In this paper we generalize the well-known construction of shuffle product algebras by using mixable shuffles, and prove that any free Baxter algebra is isomorphic to a mixable shuffle product algebra. This gives an explicit construction of the free Baxter algebra, extending the work of Rota and Cartier.
2004-07-09
On Free Baxter Algebras: Completions and the Internal Construction
Published in Advances in Math, 151 (2000), 101-127 • Search Publication
We continue the study of free Baxter algebras. There are two goals of this paper. The first goal is to extend the construction of shuffle Baxter algebras to completions of Baxter algebras. This process is motivated by a construction of Cartier and is analogous to the process of completing a polynomial algebra to obtain a power series algebra. However, as we will see later, unlike the close similarity of properties of a polynomial algebra and a power series algebra, properties of a shuffle Baxter algebra and its completion can be quite different.
2004-07-09
Properties of Free Baxter Algebras
Published in Advances in Math, 151 (2000), 346-374 • Search Publication
The study of free Baxter algebras was started by Rota and Cartier thirty years ago. We continue this study by applying two recent constructions of free Baxter algebras. We investigate the basic structure of a free Baxter algebra, and characterize in detail when a free Baxter algebra is a domain or a reduced algebra. We also describe the nilpotent radical of a free Baxter algebra when it is not reduced.
2004-07-09
Baxter Algebras and Umbral Calculus
Published in Adv. in Appl. Math. 27 (2001), 405-426 • Search Publication
We apply recent constructions of free Baxter algebras to the study of the umbral calculus. We give a characterization of the umbral calculus in terms of Baxter algebra. This characterization leads to a natural generalization of the umbral calculus that include the classical umbral calculus in a family of $λ$-umbral calculi parameterized by $λ$ in the base ring.