arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2003-10-26
Packing 4-cycles in Eulerian and bipartite Eulerian tournaments with an application to distances in interchange graphs
Published • View Publication • BIB
We prove that every Eulerian orientation of $K_{m,n}$ contains $\frac{1}{4+\sqrt{8}}mn(1-o(1))$ arc-disjoint directed 4-cycles, improving earlier lower bounds. Combined with a probabilistic argument, this result is used to prove that every regular tournament with $n$ vertices contains $\frac{1}{8+\sqrt{32}}n^2(1-o(1))$ arc-disjoint directed 4-cycles. The result is also used to provide an upper bound for the distance between two antipodal vertices in interchange graphs.
2003-10-24 v2
Continued Fractions with Partial Quotients Bounded in Average
Published • View Publication • BIB
We ask, for which $n$ does there exists a $k$, $1 \leq k < n$ and $(k,n)=1$, so that $k/n$ has a continued fraction whose partial quotients are bounded in average by a constant $B$? This question is intimately connected with several other well-known problems, and we provide a lower bound in the case of B=2.
2003-10-24 v2
Quasirandom Arithmetic Permutations
Published • View Publication • BIB
Previously, the author introduced quasirandom permutations, permutations of $\mathbb{Z}_n$ which map intervals to sets with low discrepancy. Here we show that several natural number-theoretic permutations are quasirandom, some very strongly so. Quasirandomness is established via discrete Fourier analysis and the Erdos-Turan inequality, as well as by other means. We apply our results on Sos permutations to make progress on a number of questions relating to the sequence of fractional parts of multiples of an irrational. Several intriguing new open problems are presented throughout the discussion.
2003-10-24 v2
De Bruijn Cycles for Covering Codes
Published • View Publication • BIB
A de Bruijn covering code is a q-ary string S so that every q-ary string is at most R symbol changes from some n-word appearing consecutively in S. We introduce these codes and prove that they can have length close to the smallest possible covering code. The proof employs tools from field theory, probability, and linear algebra. We also prove a number of ``spectral'' results on de Bruijn covering codes. Included is a table of the best known bounds on the lengths of small binary de Bruijn covering codes, up to R=11 and n=13, followed by several open questions in this area.
2003-10-23 v2
Kostka-Foulkes polynomials cyclage graphs and charge statistic for the root system $C_{n}$
Published • View Publication • BIB
We establish a Morris type recurrence formula for the root system $C_{n}$.\ Next we introduce cyclage graphs for the corresponding Kashiwara-Nakashima's tableaux and use them to define a charge statistic. Finally we conjecture that this charge may be used to compute the Kostka-Foulkes polynomials for type $C_{n}.$
2003-10-23
A new look at the Burnside-Schur theorem
Published • View Publication • BIB
The famous Burnside-Schur theorem states that every primitive finite permutation group containing a regular cyclic subgroup is either 2-transitive or isomorphic to a subgroup of a 1-dimensional affine group of prime degree. It is known that this theorem can be expressed as a statement on Schur rings over a finite cyclic group. Generalizing the latters we introduce Schur rings over a finite commutative ring and prove an analog of this statement for them. Besides, the finite local commutative rings are characterized in the permutation group terms.
Topology and Combinatorics of Partitions of Masses by Hyperplanes
Published • View Publication • BIB
One of our result is that 5 measurable sets in $R^8$ always admit an equipartition by 2 hyperplanes. This is an instance of a general equipartition problem (formulated by B. Gr{\" u}nbaum and H. Hadwiger) which can be reduced to the question of (non)existence of a $W_k$-equivariant map where $W_k$ is the group of symmetries of a $k$-cube. We show that the computation of relevant cohomology/bordism obstruction classes often reduces to the question of enumerating the classes of immersed curves in $\mathbb{R}^2$ with a prescribed type and number of intersections with the coordinate axes, which in turn leads to a problem of enumerating classes of cyclic signed $AB$-words.
Independent sets in certain classes of (almost) regular graphs
We enumerate the independent sets of several classes of regular and almost regular graphs and compute the corresponding generating functions. We also note the relations between these graphs and other combinatorial objects and, in some cases, construct the corresponding bijections.
2003-10-21
Isometric path numbers of graphs
Published • View Publication • BIB
An isometric path between two vertices in a graph $G$ is a shortest path joining them. The isometric path number of $G$, denoted by $\ip(G)$, is the minimum number of isometric paths needed to cover all vertices of $G$. In this paper, we determine exact values of isometric path numbers of complete $r$-partite graphs and Cartesian products of 2 or 3 complete graphs.
Box complexes, neighborhood complexes, and the chromatic number
Published in Journal of Combinatorial Theory, Series A 108 (2004), pp. 159-168. • View Publication • BIB
Lovasz's striking proof of Kneser's conjecture from 1978 using the Borsuk--Ulam theorem provides a lower bound on the chromatic number of a graph. We introduce the shore subdivision of simplicial complexes and use it to show an upper bound to this topological lower bound and to construct a strong Z_2-deformation retraction from the box complex (in the version introduced by Matousek and Ziegler) to the Lovasz complex. In the process, we analyze and clarify the combinatorics of the complexes involved and link their structure via several ``intermediate'' complexes.
2003-10-21
The maximal chains of the extended Bruhat orders on the (W x W)-orbits of an infinite Renner monoid
Published • View Publication • BIB
Let (W, S) be a Coxeter system. We investigate combinatorially certain partial orders, called extended Bruhat orders, on a (W x W)-set W(N,C), which depends on W, a subset N of S, and a component C of N. We determine the length of the maximal chains between two elements. These posets generalize W equipped with its Bruhat order. They include the (W x W)-orbits of the Renner monoids of reductive algebraic monoids and of some infinite dimensional generalizations which are equipped with the partial orders obtained by the closure relations of the Bruhat and Birkhoff cells. They also include the (W x W)-orbits of certain posets obtained by generalizing the closure relation of the Bruhat cells of the wonderful compactification.
2003-10-20
Twisted descent algebras and the Solomon-Tits algebra
Published • View Publication • BIB
The purpose of the present article is to define and study a new class of descent algebras, called twisted descent algebras. These algebras are associated to the Barratt-Joyal theory of twisted bialgebras in the same way than classical descent algebras are associated to classical bialgebras. The formal properties of twisted descent algebras seem particularly meaningful in view of applications to discrete probabilities, to the geometry of Coxeter groups and buildings, and to symmetric group combinatorics.
2003-10-20
Profile classes and partial well-order for permutations
Published • View Publication • BIB
It is known that the set of permutations, under the pattern containment ordering, is not a partial well-order. Characterizing the partially well-ordered closed sets (equivalently: down sets or ideals) in this poset remains a wide-open problem. Given a 0/+-1 matrix M, we define a closed set of permutations called the profile class of M. These sets are generalizations of sets considered by Atkinson, Murphy, and Ruskuc. We show that the profile class of M is partially well-ordered if and only if a related graph is a forest. Related to the antichains we construct to prove one of the directions of this result, we construct exotic fundamental antichains, which lack the periodicity exhibited by all previously known fundamental antichains of permutations.
2003-10-20
Covers of Point-Hyperplane Graphs
Published • View Publication • BIB
We construct a cover of the non-incident point-hyperplane graph of projective dimension 3 for fields of characteristic 2. If the cardinality of the field is larger than 2, we obtain an elementary construction of the non-split extension of SL_4 (F) by F^6.
2003-10-20
An introduction to the dimer model
Lecture notes from a minicourse given at the ICTP in May 2002.
2003-10-20 v2
A common recursion for Laplacians of matroids and shifted simplicial complexes
Published • View Publication • BIB
A recursion due to Kook expresses the Laplacian eigenvalues of a matroid M in terms of the eigenvalues of its deletion M-e and contraction M/e by a fixed element e, and an error term. We show that this error term is given simply by the Laplacian eigenvalues of the pair (M-e, M/e). We further show that by suitably generalizing deletion and contraction to arbitrary simplicial complexes, the Laplacian eigenvalues of shifted simplicial complexes satisfy this exact same recursion. We show that the class of simplicial complexes satisfying this recursion is closed under a wide variety of natural operations, and that several specializations of this recursion reduce to basic recursions for natural invariants. We also find a simple formula for the Laplacian eigenvalues of an arbitrary pair of shifted complexes in terms of a kind of generalized degree sequence.
2003-10-19
A bijective proof of an unusual symmetric group generating function
For $σ\in S_n$, let $D(σ) = \{i : σ_{i} > σ_{i+1}\}$ denote the descent set of $σ$. The length of the permutation is the number of inversions, denoted by $inv(σ) = \big | \{(i,j) : i<j, σ_i > σ_j\} \big |$. Define an unusual quadratic statisitic by $baj(σ) = \sum_{i \in D(σ)} i (n-i)$. We present here a bijective proof of the identity $\sum_{{σ\in S_n} \atop {σ(n) = k}} q^{baj(σ) - inv(σ)} = \prod_{i=1}^{n-1} {1-q^{i (n-i)} \over {1-q^i}}$ where $k$ is a fixed integer.
2003-10-17 v3
Construction techniques for cubical complexes, odd cubical 4-polytopes, and prescribed dual manifolds
Published • View Publication • BIB
We provide a number of new construction techniques for cubical complexes and cubical polytopes, and thus for cubifications (hexahedral mesh generation). As an application we obtain an instance of a cubical 4-polytope that has a non-orientable dual manifold (a Klein bottle). This confirms an existence conjecture of Hetyei (1995). More systematically, we prove that every normal crossing codimension one immersion of a compact 2-manifold into R^3 PL-equivalent to a dual manifold immersion of a cubical 4-polytope. As an instance we obtain a cubical 4-polytope with a cubation of Boy's surface as a dual manifold immersion, and with an odd number of facets. Our explicit example has 17 718 vertices and 16 533 facets. Thus we get a parity changing operation for 3-dimensional cubical complexes (hexa meshes); this solves problems of Eppstein, Thurston, and others.
2003-10-16 v2
Ribbon Tableaux and the Heisenberg Algebra
Published • View Publication • BIB
Lascoux, Leclerc and Thibon have introduced symmetric functions which are spin and weight generating functions for ribbon tableaux. This article is aimed at studying these `ribbon functions' in analogy with Schur functions. In particular we will describe ribbon Pieri and Murnagham-Nakayama formulae, a ribbon Cauchy identity and an algebra involution which `conjugates' the ribbon functions. We will study these functions in the context of the action of the Heisenberg algebra on the Fock space representation of the quantum affine algebra U_q(sl_n)^, discovered by Kashiwara, Miwa and Stern. We will also connect our formulae with the ribbon insertion of Shimozono and White, giving combinatorial proofs for the domino n=2 case.
2003-10-16
The Minimum Period of the Ehrhart Quasi-polynomial of a Rational Polytope
Published • View Publication • BIB
If $P\subset \R^d$ is a rational polytope, then $i_P(n):=#(nP\cap \Z^d)$ is a quasi-polynomial in $n$, called the Ehrhart quasi-polynomial of $P$. The period of $i_P(n)$ must divide $\LL(P)= \min \{n \in \Z_{> 0} \colon nP \text{is an integral polytope}\}$. Few examples are known where the period is not exactly $\LL(P)$. We show that for any $\LL$, there is a 2-dimensional triangle $P$ such that $\LL(P)=\LL$ but such that the period of $i_P(n)$ is 1, that is, $i_P(n)$ is a polynomial in $n$. We also characterize all polygons $P$ such that $i_P(n)$ is a polynomial. In addition, we provide a counterexample to a conjecture by T. Zaslavsky about the periods of the coefficients of the Ehrhart quasi-polynomial.