arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Acyclic Digraphs and Eigenvalues of (0,1)-Matrices
Published in J. Integer Sequences 7 (2004), #04.3.3 • Search Publication
We show that the number of acyclic directed graphs with n labeled vertices is equal to the number of n X n (0,1)-matrices whose eigenvalues are positive real numbers.
2003-10-28 v2
A Combinatorial Formula for the Character of the Diagonal Coinvariants
Published • View PublicationBIB
Let R_n be the ring of coinvariants for the diagonal action of the symmetric group S_n. It is known that the character of R_n as a doubly-graded S_n module can be expressed using the Frobenius characteristic map as \nabla e_n, where e_n is the n-th elementary symmetric function, and \nabla is an operator from the theory of Macdonald polynomials. We conjecture a combinatorial formula for \nabla e_n and prove that it has many desirable properties which support our conjecture. In particular, we prove that our formula is a symmetric function (which is not obvious) and that it is Schur positive. These results make use of the theory of ribbon tableau generating functions of Lascoux, Leclerc and Thibon. We also show that a variety of earlier conjectures and theorems on \nabla e_n are special cases of our conjecture. Finally, we extend our conjectures on \nabla e_n and several of the results supporting them to higher powers \nabla^m e_n.
2003-10-28 v4
Generalized Path Algebras and Pointed Hopf Algebras
Published in Journal of Mathematical Research and Exposition 29 (2009), 395-406 • Search Publication
Most of pointed Hopf algebras of dimension $p^m$ with large coradical are shown to be generalized path algebras. By the theory of generalized path algebras it is obtained that the representations, homological dimensions and radicals of these Hopf algebras. The relations between the radicals of path algebras and connectivity of directed graphs are given.
2003-10-28 v2
The Classification of Rank 4 Locally Projective Polytopes and Their Quotients
This article announces the completion of the classification of rank 4 locally projective polytopes and their quotients. There are seventeen universal locally projective polytopes (nine nondegenerate). Amongst their 441 quotients are a further four (nonuniversal) regular polytopes, and 152 nonregular but section regular polytopes. All 156 of the latter have hemidodecahedral facets or hemi-icosahedral vertex figures. It is noted that, remarkably, every rank 4 locally projective section regular polytope is finite. The article gives a survey of the literature of locally projective polytopes and their quotients, and fills one small gap in the classification in rank 4.
Waiting for a bat to fly by (in polynomial time)
Published • View PublicationBIB
We observe returns of a simple random walk on a finite graph to a fixed node, and would like to infer properties of the graph, in particular properties of the spectrum of the transition matrix. This is not possible in general, but at least the eigenvalues can be recovered under fairly general conditions, e.g. when the graph has a node-transitive automorphism group. The main result is that by observing polynomially many returns, it is possible to estimate the spectral gap of such a graph up to a constant factor.
2003-10-28
A Constructive Proof of Ky Fan's Generalization of Tucker's Lemma
Published in J. Combin. Theory Ser. A 111 (2005), 257--265 • View PublicationBIB
We present a constructive proof of Ky Fan's combinatorial lemma concerning labellings of triangulated spheres. Our construction works for triangulations of $S^n$ that contain a flag of hemispheres. As a consequence, we produce a constructive proof of Tucker's lemma that holds for a larger class of triangulations than previous constructive proofs.
2003-10-27
Tangling and Braiding the Chessboard Complex
We describe a series of complexes that relate to the braid groups as the matching complexes relate to the symmetric groups. A modified construction applies as well to other complexes based on edge sets in graphs. We show that our constructions will yield Cohen-Macauley complexes provided the underlying complexes are Cohen-Macauley. Finally, we discuss a related series of complexes to provide some positive evidence that the braided Houghton groups, introduced by F. Degenhardt, are a series of groups with linearly increasing finiteness length as are the (unbraided) Houghton groups.
2003-10-26
Packing 4-cycles in Eulerian and bipartite Eulerian tournaments with an application to distances in interchange graphs
Published • View PublicationBIB
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 PublicationBIB
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 PublicationBIB
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 PublicationBIB
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 PublicationBIB
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 PublicationBIB
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 PublicationBIB
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 PublicationBIB
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 PublicationBIB
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 PublicationBIB
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 PublicationBIB
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 PublicationBIB
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.