arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83190 papers, 48060 authors in database)
2010-01-14 v2
Jucys-Murphy elements, orthogonal matrix integrals, and Jack measures
Published in The Ramanujan Journal 26 (2011), 69--107 • View Publication • BIB
We study symmetric polynomials whose variables are odd-numbered Jucys-Murphy elements. They define elements of the Hecke algebra associated to the Gelfand pair of the symmetric group with the hyperoctahedral group. We evaluate their expansions in zonal spherical functions and in double coset sums. These evaluations are related to integrals of polynomial functions over orthogonal groups. Furthermore, we give an extension of them, based on Jack polynomials.
2010-01-14
Partitioning $α$-large sets for $α<\varepsilon_ω$
We generalise the results by Bigorajska and Kotlarski about partitioning $α$-large sets, by extending the domain up to ordinals below $\varepsilon_ω$. These results will be very useful to give a miniaturisation of the infinite Ramsey Theorem.
2010-01-14
Relations between exceptional sets for additive problems
Published in J. London Math. Soc. (2) 82 (2010), 1-23 • View Publication • BIB
We describe a method for bounding the set of exceptional integers not represented by a given additive form in terms of the exceptional set corresponding to a subform. Illustrating our ideas with examples stemming from Waring's problem for cubes, we show, in particular, that the number of positive integers not exceeding N, that fail to have a representation as the sum of six cubes of natural numbers, is O(N^{3/7}).
2010-01-14 v2
Conway polynomial and Magnus expansion
Published • View Publication • BIB
The Magnus expansion is a universal finite type invariant of pure braids with values in the space of horizontal chord diagrams. The Conway polynomial composed with the short circuit map from braids to knots gives rise to a series of finite type invariants of pure braids and thus factors through the Magnus map. We describe explicitly the resulting mapping from horizontal chord diagrams on 3 strands to univariate polynomials and evaluate it on the Drinfeld associator obtaining, conjecturally, a beautiful generating function whose coefficients are integer combinations of multiple zeta values.
2010-01-14
The Elementary Divisors of the Incidence Matrices of Skew Lines in PG(3,p)
Published in Proc. Amer. Math. Soc. 140 (2012) 2561-2573 • Search Publication
The elementary divisors of the incidence matrices of lines in $PG(3,p)$ are computed, where two lines are incident if and only if they are skew.
2010-01-14
Subword complexity and Laurent series with coefficients in a finite field
Decimal expansions of classical constants such as $\sqrt2$, $π$ and $ζ(3)$ have long been a source of difficult questions. In the case of Laurent series with coefficients in a finite field, where no carry-over difficulties appear, the situation seems to be simplified and drastically different. On the other hand, Carlitz introduced analogs of real numbers such as $π$, $e$ or $ζ(3)$. Hence, it became reasonable to enquire how "complex" the Laurent representation of these "numbers" is. In this paper we prove that the inverse of Carlitz's analog of $π$, $Π_q$, has in general a linear complexity, except in the case $q=2$, when the complexity is quadratic. In particular, this implies the transcendence of $Π_2$ over $\F_2(T)$. In the second part, we consider the classes of Laurent series of at most polynomial complexity and of zero entropy. We show that these satisfy some nice closure properties.
2010-01-13
Chromatic number and mimimum degree of K_r-free graphs
A number of famous results about triangle-free graphs determine the maximum chromatic number of graphs of order n with minimum degree greater than n/3. In this note these results are extended to Kr-free graphs.
2010-01-13
Large joints in graphs
We show that if G is a graph of sufficiently large order n containing as many r-cliques as the r-partite Turan graph of order n; then for some C>0 G has more than Cn^(r-1) (r+1)-cliques sharing a common edge unless G is isomorphic to the the r-partite Turan graph of order n. This structural result generalizes a previous result that has been useful in extremal graph theory.
2010-01-13
A new type of Ramsey-Turan problems
Published • View Publication • BIB
We introduce and study a new type of Ramsey-Turan problems, a typical example of which is the following one: let c>0 and G be a graph of sufficiently large order n with minimum degree >3n/4. If the edges of G are colored in blue or red, then for every 3<k<(1/8-c)n, there exists a monochromatic cycle of length k.
2010-01-13
Basic Polyhedral Theory
Published • View Publication • BIB
This is a chapter (planned to appear in Wiley's upcoming Encyclopedia of Operations Research and Management Science) describing parts of the theory of convex polyhedra that are particularly important for optimization. The topics include polyhedral and finitely generated cones, the Weyl-Minkowski Theorem, faces of polyhedra, projections of polyhedra, integral polyhedra, total dual integrality, and total unimodularity.
2010-01-13
The arctic curve of the domain-wall six-vertex model in its anti-ferroelectric regime
Published in J. Stat. Mech.: Theor. Exp. (2010) L03002 • View Publication • BIB
An explicit expression for the spatial curve separating the region of ferroelectric order (`frozen' zone) from the disordered one (`temperate' zone) in the six-vertex model with domain wall boundary conditions in its anti-ferroelectric regime is obtained.
2010-01-13 v2
The G-Hilbert scheme for 1/r(1,a,r-a)
Following Craw, Maclagan, Thomas and Nakamura's work on Hilbert schemes for abelian groups, we give an explicit description of the G-Hilbert scheme for G equal to a cyclic group of order r, acting on C^3 with weights 1,a,r-a. We describe how the combinatorial properties of the fan of G-Hilbert scheme relates to the Euclidean algorithm.
Deriving the Probabilistic Capacity of General Run-Length Sets Using Generating Functions
In "Reliable Communication in the Absence of a Common Clock" (Yeung et al., 2009), the authors introduce general run-length sets, which form a class of constrained systems that permit run-lengths from a countably infinite set. For a particular definition of probabilistic capacity, they show that probabilistic capacity is equal to combinatorial capacity. In the present work, it is shown that the same result also holds for Shannon's original definition of probabilistic capacity. The derivation presented here is based on generating functions of constrained systems as developed in "On the Capacity of Constrained Systems" (Boecherer et al., 2010) and provides a unified information-theoretic treatment of general run-length sets.
2010-01-13
New Results on Two Hypercube Coloring Problems
Published • View Publication • BIB
In this paper, we study the following two hypercube coloring problems: Given $n$ and $d$, find the minimum number of colors, denoted as $χ'_{d}(n)$ (resp. $χ_{d}(n)$), needed to color the vertices of the $n$-cube such that any two vertices with Hamming distance at most $d$ (resp. exactly $d$) have different colors. These problems originally arose in the study of the scalability of optical networks. Using methods in coding theory, we show that $χ'_{4}(2^{r+1}-1)=2^{2r+1}$, $χ'_{5}(2^{r+1})=4^{r+1}$ for any odd number $r\geq3$, and give two upper bounds on $χ_{d}(n)$. The first upper bound improves on that of Kim, Du and Pardalos. The second upper bound improves on the first one for small $n$. Furthermore, we derive an inequality on $χ_{d}(n)$ and $χ'_{d}(n)$.
2010-01-13
Circuit partitions and #P-complete products of inner products
We present a simple, natural #P-complete problem. Let G be a directed graph, and let k be a positive integer. We define q(G;k) as follows. At each vertex v, we place a k-dimensional complex vector x_v. We take the product, over all edges (u,v), of the inner product <x_u,x_v>. Finally, q(G;k) is the expectation of this product, where the x_v are chosen uniformly and independently from all vectors of norm 1 (or, alternately, from the Gaussian distribution). We show that q(G;k) is proportional to G's cycle partition polynomial, and therefore that it is #P-complete for any k>1.
2010-01-12 v3
The number of nonzero binomial coefficients modulo p^alpha
Published in Journal of Combinatorics and Number Theory 3 (2011) 15-25 • Search Publication
In 1947 Fine obtained an expression for the number of binomial coefficients on row n of Pascal's triangle that are nonzero modulo p. In this paper we use Kummer's theorem to generalize Fine's theorem to prime powers, expressing the number of nonzero binomial coefficients modulo p^alpha as a sum over certain integer partitions. For fixed alpha, this expression can be rewritten to show explicit dependence on the number of occurrences of each subword in the base-p representation of n.
Fountain Codes with Varying Probability Distributions
Published • View Publication • BIB
Fountain codes are rateless erasure-correcting codes, i.e., an essentially infinite stream of encoded packets can be generated from a finite set of data packets. Several fountain codes have been proposed recently to minimize overhead, many of which involve modifications of the Luby transform (LT) code. These fountain codes, like the LT code, have the implicit assumption that the probability distribution is fixed throughout the encoding process. In this paper, we will use the theory of posets to show that this assumption is unnecessary, and by dropping it, we can achieve overhead reduction by as much as 64% lower than LT codes. We also present the fundamental theory of probability distribution designs for fountain codes with non-constant probability distributions that minimize overhead.
2010-01-12
A classification of sharp tridiagonal pairs
Published • View Publication • BIB
Let $F$ denote a field and let $V$ denote a vector space over $F$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i\rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\lbrace V^*_i\rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for $0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d=δ$ and for $ 0 \leq i \leq d$ the dimensions of $V_i,V_{d-i},V^*_i, V^*_{d-i}$ coincide. The pair $A,A^*$ is called {\it sharp} whenever ${\rm dim} V_0=1$. It is known that if $F$ is algebraically closed then $A,A^*$ is sharp. In this paper we classify up to isomorphism the sharp tridiagonal pairs. As a corollary, we classify up to isomorphism the tridiagonal pairs over an algebraically closed field. We obtain these classifications by proving the $μ$-conjecture.
2010-01-12 v2
Generalized energies and integrable D^{(1)}_n cellular automaton
Published • View Publication • BIB
We introduce generalized energies for a class of U_q(D^{(1)}_n) crystals by using the piecewise linear functions that are building blocks of the combinatorial R. They include the conventional energy in the theory of affine crystals as a special case. It is shown that the generalized energies count the particles and anti-particles in a quadrant of the two dimensional lattice generated by time evolutions of an integrable D^{(1)}_n cellular automaton. Explicit formulas are conjectured for some of them in the form of ultradiscrete tau functions.
2010-01-12 v3
Mixing times for random k-cycles and coalescence-fragmentation chains
Published in Annals of Probability 2011, Vol. 39, No. 5, 1815-1843 • View Publication • BIB
Let $\mathcal{S}_n$ be the permutation group on $n$ elements, and consider a random walk on $\mathcal{S}_n$ whose step distribution is uniform on $k$-cycles. We prove a well-known conjecture that the mixing time of this process is $(1/k)n\log n$, with threshold of width linear in $n$. Our proofs are elementary and purely probabilistic, and do not appeal to the representation theory of $\mathcal{S}_n$.