arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2005-01-04
Chiral polyhedra in ordinary space, II
Published • View Publication • BIB
A chiral polyhedron has a geometric symmetry group with two orbits on the flags, such that adjacent flags are in distinct orbits. Part I of the paper described the discrete chiral polyhedra in ordinary Euclidean 3-space with finite skew faces and finite skew vertex-figures; they occur in infinite families and are of types {4,6}, {6,4} and {6,6}. Part II completes the enumeration of all discrete chiral polyhedra in 3-space. There exist several families of chiral polyhedra with infinite, helical faces. In particular, there are no discrete chiral polyhedra with finite faces in addition to those described in Part I.
2005-01-02
Symmetric Bush-type Hadamard matrices of order $4m^4$ exist for all odd $m$
Published • View Publication • BIB
Using reversible Hadamard difference sets, we construct symmetric Bush-type Hadamard matrices of order $4m^4$ for all odd integer $m$.
2005-01-01
The Stationary Measure of a 2-type Totally Asymmetric Exclusion Process
Published • View Publication • BIB
We give a combinatorial description of the stationary measure for a totally asymmetric exclusion process (TASEP) with second class particles, on either Z or on the cycle Z_N. The measure is the image by a simple operation of the uniform measure on some larger finite state space. This reveals a combinatorial structure at work behind several results on the TASEP with second class particles.
2004-12-31 v2
Branching rules, Kostka-Foulkes polynomials and $q$-multiplicities in tensor product for the root systems $B\_{n},C\_{n}$ and $D\_{n}$
Published • View Publication • BIB
The Kostka-Foulkes polynomials $K$ related to a root system $φ$ can be defined as alternated sums running over the Weyl group associated to $φ.$ By restricting these sums over the elements of the symmetric group when $% φ$ is of type $B,C$ or $D$, we obtain again a class $\widetilde{K}$ of Kostka-Foulkes polynomials. When $φ$ is of type $C$ or $D$ there exists a duality beetween these polynomials and some natural $q$-multiplicities $U$ in tensor product \cite{lec}. In this paper we first establish identities for the $\widetilde{K}$ which implies in particular that they can be decomposed as sums of Kostka-Foulkes polynomials related to the root system of type $A$ with nonnegative integer coefficients. Moreover these coefficients are branching rule coefficients. This allows us to clarify the connection beetween the $q$-multiplicities $U$ and the polynomials defined by Shimozono and Zabrocki in \cite{SZ}. Finally we establish that the $q$-multiplicities $U$ defined for the tensor powers of the vector representation coincide up to a power of $q$ with the one dimension sum $X$ introduced in \cite{Ok} This shows that in this case the one dimension sums $% X$ are affine Kazhdan-Lusztig polynomials.
2004-12-31
Educational production and optimal class size
Lazear (2001) (Quarterly Journal of Economics, v. 116, p. 777-803) provided a model of a private school with a particular profit function. Using an alternative, related profit function I show that an optimal solution has nearly equal class sizes. I also offer a conjecture about the roots of a certain family of polynomials, which if true, allows one to conclude that if students become less disruptive or teacher cost increases, then the optimal solution for a profit maximizing school is generally, but not always, to use fewer classes. I also show that if the school has s>1 types of students, then the optimal solution will have at most s-1 mixed classes and its bipartite graph is a forest.
2004-12-31 v3
The Minimal Number of Three-Term Arithmetic Progressions Modulo a Prime Converges to a Limit
Published • View Publication • BIB
Given a density t in (0,1], and a prime p, let S be any subset of F_p having at least tp elements, and having the least number of three-term arithmetic progressions mod p among all subsets of F_p with at least tp elements. Define N(t,p) to be 1/p^2 times the number of three-term arithmetic progressions in S modulo p. Note that N(t,p) does not depend on S -- it only depends on t and p. An old result of Varnavides shows that for fixed t, N(t,p) > c(t) > 0 for all primes p sufficiently large. But, does N(t,p) converge to a limit as p -> infinity? We prove that it does.
2004-12-30
Compressed polytopes and statistical disclosure limitation
Published • View Publication • BIB
We provide a characterization of the compressed lattice polytopes in terms of their facet defining inequalities and we show that every compressed lattice polytope is affinely isomorphic to a 0/1-polytope. As an application, we characterize those graphs whose cut polytopes are compressed and discuss consequences for studying linear programming relaxations in statistical disclosure limitation.
2004-12-29
Orthogonal polynomials in several non-commuting variables. II
In this paper we continue to investigate a certain class of Hankel-like positive definite kernels using their associated orthogonal polynomials. The main result of this paper is about the structure of this kind of kernels.
2004-12-29
Maximum run length in a toroidal grid graph
A toroidal grid graph is a Cartesian product of cycles, and the run length of a Hamiltonian cycle in a grid graph is defined to be the maximum number r such that any r consecutive edges include no more than one edge in any dimension. By constructive methods, we place bounds on the maximum run length possible for a Hamiltonian cycle in several families of grid graphs.
2004-12-28 v3
A Construction of Coxeter Group Representations (II)
Published • View Publication • BIB
An axiomatic approach to the representation theory of Coxeter groups and their Hecke algebras was presented in [1]. Combinatorial aspects of this construction are studied in this paper. In particular, the symmetric group case is investigated in detail. The resulting representations are completely classified and include the irreducible ones.
2004-12-28 v2
Sharp thresholds and percolation in the plane
Published in Random Structures and Algorithms 29 (2006), 524--548. • View Publication • BIB
Recently, the authors showed that the critical probability for random Voronoi percolation in the plane is 1/2. A by-product of the method was a short proof of the Harris-Kesten Theorem concerning bond percolation in the planar square lattice. The aim of this paper is to show that the same techniques can be applied to many other planar percolation models, both to obtain short proofs of known results, and to prove new ones.
2004-12-27
A semifilter approach to selection principles
We develop the semifilter approach to the classical Menger and Hurewicz covering properties and show that the small cardinal g is a lower bound of the additivity number of the family of Menger subspaces of the Baire space, and under u< g every subset X of the real line with the property Split(Lambda,Lambda) is Hurewicz.
2004-12-25
Exchangeable Gibbs partitions and Stirling triangles
Published • View Publication • BIB
For two collections of nonnegative and suitably normalised weights $\W=(\W_j)$ and $\V=(\V_{n,k})$, a probability distribution on the set of partitions of the set $\{1,...,n\}$ is defined by assigning to a generic partition $\{A_j, j\leq k\}$ the probability $\V_{n,k} \W_{|A_1|}... \W_{|A_k|}$, where $|A_j|$ is the number of elements of $A_j$. We impose constraints on the weights by assuming that the resulting random partitions $Π_n$ of $[n]$ are consistent as $n$ varies, meaning that they define an exchangeable partition of the set of all natural numbers. This implies that the weights $\W$ must be of a very special form depending on a single parameter $α\in [-\infty,1]$. The case $α=1$ is trivial, and for each value of $α\neq 1$ the set of possible $\V$-weights is an infinite-dimensional simplex. We identify the extreme points of the simplex by solving the boundary problem for a generalised Stirling triangle. In particular, we show that the boundary is discrete for $-\infty\leqα<0$ and continuous for $0\leqα<1$. For $α\leq 0$ the extremes correspond to the members of the Ewens-Pitman family of random partitions indexed by $(α,θ)$, while for $0<α<1$ the extremes are obtained by conditioning an $(α,θ)$-partition on the asymptotics of the number of blocks of $Π_n$ as $n$ tends to infinity.
2004-12-23 v3
Volume and lattice points of reflexive simplices
Published in Discr. Comp. Geom. 37 (2007), 301-320 • View Publication • BIB
We prove sharp upper bounds on the volume and the number of lattice points on edges of higher-dimensional reflexive simplices. These convex-geometric results are derived from new number-theoretic bounds on the denominators of unit fractions summing up to one. The main algebro-geometric application is a sharp upper bound on the anticanonical degree of higher-dimensional Q-factorial Gorenstein toric Fano varieties with Picard number one, where we completely characterize the case of equality.
2004-12-23
Equipartitions of measures in $\mathbb{R}^4$
We prove that each measure $μ$ in $R^4$ admits an equipartition by 4 hyperplanes, provided that it is symmetric with respect to a 2-dimensional, affine subspace $L$ of $R^4$. Moreover we show, by computing the complete obstruction in the relevant group of normal bordisms, that without the symmetry condition, a naturally associated topological problem has a negative solution. The computation is based on the Koschorke's exact singularity sequence and the remarkable properties of the essentially unique, balanced binary Gray code in dimension 4.
2004-12-22
Tensorial square of the Hyperoctahedral group Coinvariant Space
Published • View Publication • BIB
The purpose of this paper is to give an explicit description of the trivial and alternating components of the irreducible representation decomposition of the bigraded module obtained as the tensor square of the coinvariant space for hyperoctahedral groups.
2004-12-22
Chromatic Polynomial, Colered Jones Function and q-Binomial Counting
Published • View Publication • BIB
We define a q-chromatic function on graphs, list some of its properties and provide some formulas in the class of general chordal graphs. Then we relate the q-chromatic function to the colored Jones function of knots. This leads to a curious expression of the colored Jones function of a knot diagram as a 'defected chromatic operator' applied to a power series whose coefficients are linear combinations of chord diagrams constructed from 'flows' on the reduced knot diagram.
2004-12-20
The Trivial L(F_1)-Valued moment Series of the Generating Operator of L(F_2)
In [13] and [14], we found so-called the reccurence diagram. This paper is the application of such recurrence diagram. As a first application for the reccurence diagram, we will re-compute the well-known moment series of the generating opeator of the free group factor L(F_N). Also, we will compute the trivial L(F_1)-valued moment series of the generating operator of L(F_2). This result can be extended for the general case when we have L(F_N), instead of L(F_2). To study operator-valued moment series is to study the operator-valued distribution. By doing that, we can get some algebraic and combinatorial free probability information about the operator-valued distribution of certain random variables. So, this paper provides a good example for studying the operator-valued distribution.
2004-12-19
Longest common subsequences and the Bernoulli matching model: numerical work and analyses of the r-reach simplification
The expected length of longest common subsequences is a problem that has been in the literature for at least twenty five years. Determining the limiting constants γ_k appears to be quite difficult, and the current best bounds leave much room for improvement. Boutet de Monvel explores an independent version of the problem he calls the Bernoulli Matching model. He explores this problem and its relation to the longest common subsequence problem. This paper continues this pursuit by focusing on a simplification we term r-reach. For the string model, L_r(u,v) is the longest common subsequence of u and v given that each matched pair of letters is no more than r letters apart.
2004-12-19 v2
X=M for symmetric powers
Published in J. Algebra 295 (2006) 562-610 • View Publication • BIB
The X=M conjecture of Hatayama et al. asserts the equality between the one-dimensional configuration sum X expressed as the generating function of crystal paths with energy statistics and the fermionic formula M for all affine Kac--Moody algebra. In this paper we prove the X=M conjecture for tensor products of Kirillov--Reshetikhin crystals B^{1,s} associated to symmetric powers for all nonexceptional affine algebras.