arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81378 papers, 47165 authors in database)
2004-12-11
Permutation statistics on involutions
Published • View PublicationBIB
In this paper we look at polynomials arising from statistics on the classes of involutions, $I_n$, and involutions with no fixed points, $J_n$, in the symmetric group. Our results are motivated by F. Brenti's conjecture which states that the Eulerian distribution of $I_n$ is log-concave. Symmetry of the generating functions is shown for the statistics $des,maj$ and the joint distribution $(des,maj)$. We show that $exc$ is log-concave on $I_n$, $inv$ is log-concave on $J_n$ and $des$ is partially unimodal on both $I_n$ and $J_n$. We also give recurrences and explicit forms for the generating functions of the inversions statistic on involutions in Coxeter groups of types $B_n$ and $D_n$. Symmetry and unimodality of $inv$ is shown on the subclass of signed permutations in $D_n$ with no fixed points. In light of these new results, we present further conjectures at the end of the paper.
2004-12-10 v4
Inhomogenous model of crossing loops and multidegrees of some algebraic varieties
Published • View PublicationBIB
We consider a quantum integrable inhomogeneous model based on the Brauer algebra B(1) and discuss the properties of its ground state eigenvector. In particular we derive various sum rules, and show how some of its entries are related to multidegrees of algebraic varieties.
2004-12-10 v2
On odd covering systems with distinct moduli
Published in Adv. Appl. Math. 35(2005), 182--187 • View PublicationBIB
A famous unsolved conjecture of P. Erdos and J. L. Selfridge states that there does not exist a covering system {a_s(mod n_s)}_{s=1}^k with the moduli n_1,...,n_k odd, distinct and greater than one. In this paper we show that if such a covering system {a_s(mod n_s)}_{s=1}^k exists with n_1,...,n_k all square-free, then the least common multiple of n_1,...,n_k has at least 22 prime divisors.
2004-12-08
Well--Poised Macdonald Functions W_lambda and Jackson Coefficients omega_lambda On BC_n
Published • View PublicationBIB
The very well--poised elliptic Macdonald functions W_lambda in n independent variables are defined and their properties are investigated. The W_lambda are generalized by introducing an extra parameter to the elliptic Jackson coefficients omega_lambda and their properties are studied. BC_n multivariable Jackson sums in terms of both W_lambda and omega_lambda functions are proved.
2004-12-08 v2
Destruction of very simple trees
Published in Algorithmica, 46:3-4 (2006), pp. 345-366 • View PublicationBIB
We consider the total cost of cutting down a random rooted tree chosen from a family of so-called very simple trees (which include ordered trees, $d$-ary trees, and Cayley trees); these form a subfamily of simply generated trees. At each stage of the process an edge is chose at random from the tree and cut, separating the tree into two components. In the one-sided variant of the process the component not containing the root is discarded, whereas in the two-sided variant both components are kept. The process ends when no edges remain for cutting. The cost of cutting an edge from a tree of size $n$ is assumed to be $n^α$. Using singularity analysis and the method of moments, we derive the limiting distribution of the total cost accrued in both variants of this process. A salient feature of the limiting distributions obtained (after normalizing in a family-specific manner) is that they only depend on $α$.
2004-12-08 v2
Ergodic Averages for Independent Polynomials and Applications
Published • View PublicationBIB
Szemerédi's Theorem states that a set of integers with positive upper density contains arbitrarily long arithmetic progressions. Bergelson and Leibman generalized this, showing that sets of integers with positive upper density contain arbitrarily long polynomial configurations; Szemerédi's Theorem corresponds to the linear case of the polynomial theorem. We focus on the case farthest from the linear case, that of rationally independent polynomials. We derive results in ergodic theory and in combinatorics for rationally independent polynomials, showing that their behavior differs sharply from the general situation.
2004-12-07 v2
On the geometry of graph arrangements
We use the results of AG/0406290 to discuss the counting formulas of network flow polytopes and magic squares, i.e. the formula for the corresponding Ehrhart polynomial in terms of residues. We also discuss a description of the big cells using the theory of non broken circuit bases.
2004-12-07
On the radical of a monomial ideal
Published • View PublicationBIB
Algebraic and combinatorial properties of a monomial ideal and its radical are compared.
2004-12-06
Bipartite Multigraphs with Expander-Like Properties
Published • View PublicationBIB
A graph with vertex set V and edge set E is called a (d,c)-expander if the maximum degree of a vertex is d and, for every subset W of V that has cardinality at most |V|/2, the number of edges between vertices in W and vertices outside of W is at least c|V|. This note considers a related combinatorial question: "For which integers d and functions f_d does there exist, for every large enough v, a bipartite d-regular multigraph on 2v nodes with node sets V and W having the following property: For every U that is a subset of either V or W, the cardinality of the set of neighbours of U is at least f_d(|U|)?" Graphs with the above property seem to behave well also with respect to other, more complicated, expansion-type properties. We provide results for d in {5,6,7,8} and give a description of a fairly general methodology for devising computer-assisted proofs for a wide class of mathematical claims using so called interval arithmetic.
2004-12-06
(-1)-enumeration of self-complementary plane partitions
We prove a product formula for the remaining cases of the weighted enumeration of self-complementary plane partitions contained in a given box where adding one half of an orbit of cubes and removing the other half of the orbit changes the sign of the weight. We use nonintersecting lattice path families to express this enumeration as a Pfaffian which can be expressed in terms of the known ordinary enumeration of self-complementary plane partitions.
2004-12-06
The Tchebyshev transforms of the first and second kind
Published in Annals of Combinatorics, Volume 14, Number 2 (2010), 211-244 • View PublicationBIB
We give an in-depth study of the Tchebyshev transforms of the first and second kind of a poset, recently discovered by Hetyei. The Tchebyshev transform (of the first kind) preserves desirable combinatorial properties, including Eulerianess (due to Hetyei) and EL-shellability. It is also a linear transformation on flag vectors. When restricted to Eulerian posets, it corresponds to the Billera, Ehrenborg and Readdy omega map of oriented matroids. One consequence is that nonnegativity of the cd-index is maintained. The Tchebyshev transform of the second kind is a Hopf algebra endomorphism on the space of quasisymmetric functions QSym. It coincides with Stembridge's peak enumerator for Eulerian posets, but differs for general posets. The complete spectrum is determined, generalizing work of Billera, Hsiao and van Willigenburg. The type B quasisymmetric function of a poset is introduced. Like Ehrenborg's classical quasisymmetric function of a poset, this map is a comodule morphism with respect to the quasisymmetric functions QSym. Similarities among the omega map, Ehrenborg's r-signed Birkhoff transform, and the Tchebyshev transforms motivate a general study of chain maps. One such occurrence, the chain map of the second kind, is a Hopf algebra endomorphism on the quasisymmetric functions QSym and is an instance of Aguiar, Bergeron and Sottile's result on the terminal object in the category of combinatorial Hopf algebras. In contrast, the chain map of the first kind is both an algebra map and a comodule endomorphism on the type B quasisymmetric functions BQSym.
2004-12-05
Euler-Mahonian polynomials for C_a \wr S_n
Published • View PublicationBIB
In a recent paper, Regev and Roichman introduced the <_L order and the L-descent number statistic, des_L, on the group of colored permutations, C_a \wr S_n. Here we define the L-reverse major index statistic, rmaj_L, on the same group and study the distribution of des_L and the bi-statistic (des_L, rmaj_L). We obtain new wreath-product analogues of the Eulerian and q-Euler-Mahonian polynomials, and a generalization of Carlitz's identity.
2004-12-05
Polyhedral surfaces of high genus
Published • View PublicationBIB
The construction of the COMBINATORIAL data for a surface with n vertices of maximal genus is a classical problem: The maximal genus g=[(n-3)(n-4)/12] was achieved in the famous ``Map Color Theorem'' by Ringel et al. (1968). We present the nicest one of Ringel's constructions, for the case when n is congruent to 7 mod 12, but also an alternative construction, essentially due to Heffter (1898), which easily and explicitly yields surfaces of genus g ~ 1/16 n^2. For GEOMETRIC (polyhedral) surfaces with n vertices the maximal genus is not known. The current record is g ~ n log n, due to McMullen, Schulz & Wills (1983). We present these surfaces with a new construction: We find them in Schlegel diagrams of ``neighborly cubical 4-polytopes,'' as constructed by Joswig & Ziegler (2000).
2004-12-03
Signals for Cellular Automata in dimension 2 or higher
Published in LATIN 2002: Theoretical Informatics (2002) 451-464 • Search Publication
We investigate how increasing the dimension of the array can help to draw signals on cellular automata.We show the existence of a gap of constructible signals in any dimension. We exhibit two cellular automata in dimension 2 to show that increasing the dimension allows to reduce the number of states required for some constructions.
2004-12-02
An elliptic generalization of Schur's Pfaffian identity
Published • View PublicationBIB
We present a Pfaffian identity involving elliptic functions, whose rational limit gives a generalization of Schur's Pfaffian identity for Pf ((x_j - x_i)/(x_j + x_i)). This identity is regarded as a Pfaffian counterpart of Frobenius identity, which is an elliptic generalization of Cauchy's determinant identity for det (1/ (x_i + x_j)).
2004-12-02
A CLT for a band matrix model
Published • View PublicationBIB
A law of large numbers and a central limit theorem are derived for linear statistics of random symmetric matrices whose on-or-above diagonal entries are independent, but neither necessarily identically distributed, nor necessarily all of the same variance. The derivation is based on systematic combinatorial enumeration, study of generating functions, and concentration inequalities of the Poincare type. Special cases treated, with an explicit evaluation of limiting variances, are generalized Wigner and Wishart matrices.
2004-12-02
A Simple Proof of the Aztec Diamond Theorem
Published • View PublicationBIB
Based on a bijection between domino tilings of an Aztec diamond and non-intersecting lattice paths, a simple proof of the Aztec diamond theorem is given in terms of Hankel determinants of the large and small Schröder numbers.
2004-12-02 v3
Generalized Cauchy identities, trees and multidimensional Brownian motions. Part I: bijective proof of generalized Cauchy identities
Published in Electron. J. Combin. 13(1), 2006, Research Paper 62 • Search Publication
In this series of articles we study connections between combinatorics of multidimensional generalizations of Cauchy identity and continuous objects such as multidimensional Brownian motions and Brownian bridges. In Part I of the series we present a bijective proof of multidimensional generalizations of the Cauchy identity. Our bijection uses oriented planar trees equipped with some linear orders.
2004-12-02
An umbral setting for cumulants and factorial moments
Published • View PublicationBIB
We provide an algebraic setting for cumulants and factorial moments through the classical umbral calculus. Main tools are the compositional inverse of the unity umbra, connected with the logarithmic power series, and a new umbra here introduced, the singleton umbra. Various formulae are given expressing cumulants, factorial moments and central moments by umbral functions.
2004-12-02
Umbral nature of the Poisson random variables
Extending the rigorous presentation of the classical umbral calculus given by Rota and Taylor in 1994, the so-called partition polynomials are interpreted with the aim to point out the umbral nature of the Poisson random variables. Among the new umbrae introduced, the main tool is the partition umbra that leads also to a simple expression of the functional composition of the exponential power series. Moreover a new short proof of the Lagrange inversion formula is given.