arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81756 papers, 47371 authors in database)
2008-06-06 v4
Supertropical matrix algebra
Published • View PublicationBIB
The objective of this paper is to develop a general algebraic theory of supertropical matrix algebra, extending [11]. Our main results are as follows: * The tropical determinant (i.e., permanent) is multiplicative when all the determinants involved are tangible. * There exists an adjoint matrix $\adj{A}$ such that the matrix $A \adj{A}$ behaves much like the identity matrix (times $|A|$). * Every matrix $A$ is a supertropical root of its Hamilton-Cayley polynomial $f_A$. If these roots are distinct, then $A$ is conjugate (in a certain supertropical sense) to a diagonal matrix. * The tropical determinant of a matrix $A$ is a ghost iff the rows of $A$ are tropically dependent, iff the columns of $A$ are tropically dependent. * Every root of $f_A$ is a "supertropical" eigenvalue of $A$ (appropriately defined), and has a tangible supertropical eigenvector.
2008-06-06 v2
Note on bipartite graph tilings
Published in SIAM J. Discrete Math. 24, no. 2, 357-362 (2010) • View PublicationBIB
Let s<t be two fixed positive integers. We study what are the minimum degree conditions for a bipartite graph G, with both color classes of size n=k(s+t), which ensure that G has a K_{s,t}-factor. Exact result for large n is given. Our result extends the work of Zhao, who determined the minimum degree threshold which guarantees that a bipartite graph has a K_{s,s}-factor.
2008-06-06 v4
Paperfolding sequences, paperfolding curves and local isomorphism
Published • View PublicationBIB
For each integer n, an n-folding curve is obtained by folding n times a strip of paper in two, possibly up or down, and unfolding it with right angles. Generalizing the usual notion of infinite folding curve, we define complete folding curves as the curves without endpoint which are unions of increasing sequences of n-folding curves for n integer. We prove that there exists a standard way to extend any complete folding curve into a covering of the plane by disjoint such curves, which satisfies the local isomorphism property introduced to investigate aperiodic tiling systems. This covering contains at most six curves.
2008-06-06 v2
On the number of extreme measures with fixed marginals
In this paper we give an improved upper bound, as compared to the one given in [3] for the number of extreme points of the convex set of all G-invariant probability measures on X*Y with given marginals of full support.
Associated primes of monomial ideals and odd holes in graphs
Published • View PublicationBIB
Let $G$ be a finite simple graph with edge ideal $I(G)$. Let $J(G)$ denote the Alexander dual of $I(G)$. We show that a description of all induced cycles of odd length in $G$ is encoded in the associated primes of $J(G)^2$. This result forms the basis for a method to detect odd induced cycles of a graph via ideal operations, e.g., intersections, products and colon operations. Moreover, we get a simple algebraic criterion for determining whether a graph is perfect. We also show how to determine the existence of odd holes in a graph from the value of the arithmetic degree of $J(G)^2$.
2008-06-06
Degenerate and star colorings of graphs on surfaces
Published • View PublicationBIB
We study the degenerate, the star and the degenerate star chromatic numbers and their relation to the genus of graphs. As a tool we prove the following strengthening of a result of Fertin et al.: If $G$ is a graph of maximum degree $Δ$, then $G$ admits a degenerate star coloring using $O(Δ^{3/2})$ colors. We use this result to prove that every graph of genus $g$ admits a degenerate star coloring with $O(g^{3/5})$ colors. It is also shown that these results are sharp up to a logarithmic factor.
2008-06-06
Scaling of the atmosphere of self-avoiding walks
Published • View PublicationBIB
The number of free sites next to the end of a self-avoiding walk is known as the atmosphere. The average atmosphere can be related to the number of configurations. Here we study the distribution of atmospheres as a function of length and how the number of walks of fixed atmosphere scale. Certain bounds on these numbers can be proved. We use Monte Carlo estimates to verify our conjectures. Of particular interest are walks that have zero atmosphere, which are known as trapped. We demonstrate that these walks scale in the same way as the full set of self-avoiding walks, barring an overall constant factor.
2008-06-05
The Gram matrix of a Temperley-Lieb algebra is similar to the matrix of chromatic joins
Published • View PublicationBIB
In this paper we show that the matrix of chromatic joins and the Gram matrix of the Temperley-Lieb algebra are similar (after rescaling), with the change of basis given by diagonal matrices.
2008-06-05 v3
Homotopy Type of the Boolean Complex of a Coxeter System
Published • View PublicationBIB
In any Coxeter group, the set of elements whose principal order ideals are boolean forms a simplicial poset under the Bruhat order. This simplicial poset defines a cell complex, called the boolean complex. In this paper it is shown that, for any Coxeter system of rank n, the boolean complex is homotopy equivalent to a wedge of (n-1)-dimensional spheres. The number of such spheres can be computed recursively from the unlabeled Coxeter graph, and defines a new graph invariant called the boolean number. Specific calculations of the boolean number are given for all finite and affine irreducible Coxeter systems, as well as for systems with graphs that are disconnected, complete, or stars. One implication of these results is that the boolean complex is contractible if and only if a generator of the Coxeter system is in the center of the group. of these results is that the boolean complex is contractible if and only if a generator of the Coxeter system is in the center of the group.
2008-06-05 v2
Cycles Of Given Length In Oriented Graphs
Published • View PublicationBIB
We show that for each \ell\geq 4 every sufficiently large oriented graph G with δ^+(G), δ^-(G) \geq \lfloor |G|/3 \rfloor +1 contains an \ell-cycle. This is best possible for all those \ell\geq 4 which are not divisible by 3. Surprisingly, for some other values of \ell, an \ell-cycle is forced by a much weaker minimum degree condition. We propose and discuss a conjecture regarding the precise minimum degree which forces an \ell-cycle (with \ell \geq 4 divisible by 3) in an oriented graph. We also give an application of our results to pancyclicity and consider \ell-cycles in general digraphs.
2008-06-05
Some combinatorics related to central binomial coefficients: Grand-Dyck paths, coloured noncrossing partitions and signed pattern avoiding permutations
Published • View PublicationBIB
We give some interpretations to certain integer sequences in terms of parameters on Grand-Dyck paths and coloured noncrossing partitions, and we find some new bijections relating Grand-Dyck paths and signed pattern avoiding permutations. Next we transfer a natural distributive lattice structure on Grand-Dyck paths to coloured noncrossing partitions and signed pattern avoiding permutations, thus showing, in particular, that it is isomorphic to the structure induced by the (strong) Bruhat order on a certain set of signed pattern avoiding permutations.
2008-06-05 v2
Supersequences, rearrangements of sequences, and the spectrum of bases in additive number theory
Published in Journal Number Theory 129:6 (2009), 1608--1621 • View PublicationBIB
The set A = {a_n} of nonnegative integers is an asymptotic basis of order h if every sufficiently large integer can be represented as the sum of h elements of A. If a_n ~ alpha n^h for some real number alpha > 0, then alpha is called an additive eigenvalue of order h. The additive spectrum of order h is the set N(h) consisting of all additive eigenvalues of order h. It is proved that there is a positive number eta_h <= 1/h! such that N(h) = (0, eta_h) or N(h) = (0, eta_h]. The proof uses results about the construction of supersequences of sequences with prescribed asymptotic growth, and also about the asymptotics of rearrangements of infinite sequences. For example, it is proved that there does not exist a strictly increasing sequence of integers B = {b_n} such that b_n ~ 2^n and B contains a subsequence {b_{n_k}} such that b_{n_k} ~ 3^k.
2008-06-05
Competition between Discrete Random Variables, with Applications to Occupancy Problems
Published in J. Statistical Planning and Inference 140, 2204-2212, 2010 • View PublicationBIB
Consider $n$ players whose "scores" are independent and identically distributed values $\{X_i\}_{i=1}^n$ from some discrete distribution $F$. We pay special attention to the cases where (i) $F$ is geometric with parameter $p\to0$ and (ii) $F$ is uniform on $\{1,2,...,N\}$; the latter case clearly corresponds to the classical occupancy problem. The quantities of interest to us are, first, the $U$-statistic $W$ which counts the number of "ties" between pairs $i,j$; second, the univariate statistic $Y_r$, which counts the number of strict $r$-way ties between contestants, i.e., episodes of the form ${X_i}_1={X_i}_2=...={X_i}_r$; $X_j\ne {X_i}_1;j\ne i_1,i_2,...,i_r$; and, last but not least, the multivariate vector $Z_{AB}=(Y_A,Y_{A+1},...,Y_B)$. We provide Poisson approximations for the distributions of $W$, $Y_r$ and $Z_{AB}$ under some general conditions. New results on the joint distribution of cell counts in the occupancy problem are derived as a corollary.
2008-06-05
Gorenstein rings through face rings of manifolds
Published • View PublicationBIB
The face ring of a homology manifold (without boundary) modulo a generic system of parameters is studied. Its socle is computed and it is verified that a particular quotient of this ring is Gorenstein. This fact is used to prove that the sphere $g$-conjecture implies all enumerative consequences of its far reaching generalization (due to Kalai) to manifolds. A special case of Kalai's manifold $g$-conjecture is established for homology manifolds that have a codimension-two face whose link contains many vertices.
2008-06-05 v3
An upper bound on the multiplicative energy
Published • View PublicationBIB
We prove that the sumset or the productset of any finite set of real numbers, $A,$ is at least $|A|^{4/3-ε},$ improving earlier bounds. Our main tool is a new upper bound on the multiplicative energy, $E(A,A).$
(2+2)-free posets, ascent sequences and pattern avoiding permutations
Published • View PublicationBIB
We present bijections between four classes of combinatorial objects. Two of them, the class of unlabeled (2+2)-free posets and a certain class of involutions (or chord diagrams), already appeared in the literature, but were apparently not known to be equinumerous. We present a direct bijection between them. The third class is a family of permutations defined in terms of a new type of pattern. An attractive property of these patterns is that, like classical patterns, they are closed under the action of $D_8$, the symmetry group of the square. The fourth class is formed by certain integer sequences, called ascent sequences, which have a simple recursive structure and are shown to encode (2+2)-free posets and permutations. Our bijections preserve numerous statistics. We determine the generating function of these classes of objects, thus recovering a non-D-finite series obtained by Zagier for the class of chord diagrams. Finally, we characterize the ascent sequences that correspond to permutations avoiding the barred pattern $3{\bar 1}52{\bar 4}$ and use this to enumerate those permutations, thereby settling a conjecture of Pudwell.
2008-06-04
Simply branched covers of an elliptic curve and the moduli space of curves
Published • View PublicationBIB
Consider genus g curves that admit degree d covers to an elliptic curve simply branched at 2g-2 points. Vary a branch point and the locus of such covers forms a one-parameter family W. We investigate the geometry of W by using admissible covers to study its slope, genus and components. The results can also be applied to study slopes of effective divisors on the moduli space of genus g curves.
2008-06-04 v2
Automorphisms of polynomial algebras and Dirichlet series
Published • View PublicationBIB
Let GF(q)[x,y] be the polynomial algebra in two variables over the finite field GF(q) with q elements. We give an exact formula and the asymptotics for the number p(n) of automorphisms (f,g) of GF(q)[x,y] such that max{deg(f),deg(g)}=n. We describe also the Dirichlet series generating function p(1)/1^s+p(2)/2^s+p(3)/3^s+.... The same results hold for the automorphisms of the free associative algebra GF(q)<x,y>. We have also obtained analogues for free algebras with two generators in Nielsen - Schreier varieties of algebras.
Mixed succession rules: the commutative case
Published • View PublicationBIB
We begin a systematic study of the enumerative combinatorics of mixed succession rules, which are succession rules such that, in the associated generating tree, the nodes are allowed to produce their sons at several different levels according to different production rules. Here we deal with a specific case, namely that of two different production rules whose rule operators commute. In this situation, we are able to give a general formula expressing the sequence associated with the mixed succession rules in terms of the sequences associated with the component production rules. We end by providing some examples illustrating our approach.
2008-06-04 v2
Recurrence relations for powers of q-Fibonacci polynomials
We derive some q-analogs of Euler-Cassini-type identities and of recurrence formulas for powers of Fibonacci polynomials.