arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Geometry of rank tests
We study partitions of the symmetric group which have desirable geometric properties. The statistical tests defined by such partitions involve counting all permutations in the equivalence classes. These permutations are the linear extensions of partially ordered sets specified by the data. Our methods refine rank tests of non-parametric statistics, such as the sign test and the runs test, and are useful for the exploratory analysis of ordinal data. Convex rank tests correspond to probabilistic conditional independence structures known as semi-graphoids. Submodular rank tests are classified by the faces of the cone of submodular functions, or by Minkowski summands of the permutohedron. We enumerate all small instances of such rank tests. Graphical tests correspond to both graphical models and to graph associahedra, and they have excellent statistical and algorithmic properties.
2006-05-07
Few-cosine spherical codes and Barnes-Wall lattices
Published • View Publication • BIB
Using Barnes-Wall lattices and 1-cocycles on finite groups of monomial matrices, we give a procedure to construct tricosine spherical codes. This was inspired by a 14-dimensional code which Ballinger, Cohn, Giansiracusa and Morris discovered in studies of the universally optimal property. It has 64 vectors and cosines $-3/7, -1/7, 1/7$. We construct the {\it Optimism Code}, a 4-cosine spherical code with 256 unit vectors in 16-dimensions. The cosines are $0, 1/4, -1/4, -1$. Its automorphism group has shape $2^{1+8}{\cdot}GL(4,2)$. The Optimism Code contains a subcode related to the BCGM code. The Optimism Code implies existence of a nonlinear binary code with parameters $(16,256,6)$, a Nordstrom-Robinson code, and gives a context for determining its automorphism group, which has form $2^4{:}Alt_7$.
2006-05-07
A note on complete subdivisions in digraphs of large outdegree
Mader conjectured that for all k there is an integer d(k) such that every digraph of minimum outdegree at least d(k) contains a subdivision of a transitive tournament of order k. In this note we observe that if the minimum outdegree of a digraph is sufficiently large compared to its order then one can even guarantee a subdivision of a large complete digraph. More precisely, let G be a digraph of order n whose minimum outdegree is at least d. Then G contains a subdivision of a complete digraph of order at least d^2/(8n^{3/2}).
2006-05-06
Simple closed form Hankel transforms based on the central coefficients of certain Pascal-like triangles
We study the Hankel transforms of sequences related to the central coefficients of a family of Pascal-like triangles. The mechanism of Riordan arrays is used to elucidate the structure of these transforms.
Non-Holonomicity of Sequences Defined via Elementary Functions
Published • View Publication • BIB
We present a new method for proving non-holonomicity of sequences, which is based on results about the number of zeros of elementary and of analytic functions. Our approach is applicable to sequences that are defined as the values of an elementary function at positive integral arguments. We generalize several recent results; e.g., non-holonomicity of the logarithmic sequence is extended to rational functions involving $\log n$. Moreover, we show that the sequence that arises from evaluating the Riemann zeta function at odd integers is not holonomic.
2006-05-05
Enumeration of generalized polyominoes
As a generalization of polyominoes we consider edge-to-edge connected nonoverlapping unions of regular $k$-gons. For $n\le 4$ we determine formulas for the number $a_k(n)$ of generalized polyominoes consisting of $n$ regular $k$-gons. Additionally we give a table of the numbers $a_k(n)$ for small $k$ and $n$ obtained by computer enumeration. We finish with some open problems for $k$-polyominoes.
The Distribution of Patterns in Random Trees
Published • View Publication • BIB
Let $T\_n$ denote the set of unrooted labeled trees of size $n$ and let $T\_n$ be a particular (finite, unlabeled) tree. Assuming that every tree of $T\_n$ is equally likely, it is shown that the limiting distribution as $n$ goes to infinity of the number of occurrences of $M$ as an induced subtree is asymptotically normal with mean value and variance asymptotically equivalent to $μn$ and $σ^2n$, respectively, where the constants $μ>0$ and $σ\ge 0$ are computable.
2006-05-05 v2
An upper bound for permanents of nonnegative matrices
Published • View Publication • BIB
A recent conjecture of Caputo, Carlen, Lieb, and Loss, and, independently, of the author, states that the maximum of the permanent of a matrix whose rows are unit vectors in l_p is attained either for the identity matrix I or for a constant multiple of the all-1 matrix J. The conjecture is known to be true for p = 1 (I) and for p \ge 2 (J). We prove the conjecture for a subinterval of (1,2), and show the conjectured upper bound to be true within a subexponential factor (in the dimension) for all 1 < p < 2. In fact, for p bounded away from 1, the conjectured upper bound is true within a constant factor. This leads to a mild (subexponential) improvement in deterministic approximation factor for the permanent. We present an efficient deterministic algorithm that approximates the permanent of a nonnegative n\times n matrix within exp{n - O(n/\log n)}.
2006-05-05 v2
On toric face rings
Published in J. Pure Appl. Algebra 210 (2007), no. 1, 249-266 • View Publication • BIB
Following a construction of Stanley we consider toric face rings associated to rational pointed fans. This class of rings is a common generalization of the concepts of Stanley--Reisner and affine monoid algebras. The main goal of this article is to unify parts of the theories of Stanley--Reisner- and affine monoid algebras. We consider (non-pure) shellable fan's and the Cohen--Macaulay property. Moreover, we study the local cohomology, the canonical module and the Gorenstein property of a toric face ring.
2006-05-05
Graphical Condensation Generalizations Involving Pfaffians and Determinants
Graphical condensation is a technique used to prove combinatorial identities among numbers of perfect matchings of plane graphs. Propp and Kuo first applied this technique to prove identities for bipartite graphs. Yan, Yeh, and Zhang later applied graphical condensation to nonbipartite graphs to prove more complex identities. Here we generalize some of the identities of Yan, Yeh, and Zhang. We also describe the latest generalization of graphical condensation in which the number of perfect matchings of a plane graph is expressed as a Pfaffian or a determinant where the entries are also numbers of perfect matchings of subgraphs.
2006-05-04
The Random Edge Simplex Algorithm on Dual Cyclic 4-Polytopes
The simplex algorithm using the random edge pivot-rule on any realization of a dual cyclic 4-polytope with n facets does not take more than O(n) pivot-steps. This even holds for general abstract objective functions (AOF) / acyclic unique sink orientations (AUSO). The methods can be used to show analogous results for products of two polygons. In contrast, we show that the random facet pivot-rule is slow on dual cyclic 4-polytopes, i.e. there are AUSOs on which random facet takes at least Ω(n^2) steps.
2006-05-03 v2
Spanning trees in complete uniform hypergraphs and a connection to extended r-Shi hyperplane arrangements
We give a Cayley type formula to count the number of spanning trees in the complete r-uniform hypergraph for all r >= 3. Similar to the bijection between spanning trees in complete graphs and Parking functions, we derive a bijection from spanning trees of the complete (r+1)-uniform hypergraph which arise from a fixed r-perfect matching and r-Parking functions. We observe a simple consequence of this bijection in terms of the number of regions of the extended Shi arrangement.
Short Proofs for Cut-and-Paste Sorting of Permutations
Published in Discrete Math. Vol. 307, no. 22, 2007, pp. 2866-2870 • View Publication • BIB
We consider the problem of determining the maximum number of moves required to sort a permutation of $[n]$ using cut-and-paste operations, in which a segment is cut out and then pasted into the remaining string, possibly reversed. We give short proofs that every permutation of $[n]$ can be transformed to the identity in at most $\flr{2n/3}$ such moves and that some permutations require at least $\flr{n/2}$ moves.
A Characterization of the Degree Sequences of 2-Trees
Published in The Journal of Graph Theory, 58(3):191-209, 2008 • View Publication • BIB
A graph G is a 2-tree if G=K_3, or G has a vertex v of degree 2, whose neighbours are adjacent, and Gǐs a 2-tree. A characterization of the degree sequences of 2-trees is given. This characterization yields a linear-time algorithm for recognizing and realizing degree sequences of 2-trees.
2006-05-03
Asymptotics for the number of n-quasigroups of order 4
Published in Sib. Math. J. 47(4) 2006, 720-731. Transl. from Sib. Mat. Zh. 47(4) 2006, 873-887 (Russian) • View Publication • BIB
The asymptotic form of the number of n-quasigroups of order 4 is $3^{n+1} 2^{2^n +1} (1+o(1))$. Keywords: n-quasigroups, MDS codes, decomposability, reducibility.
2006-05-02 v2
Multivariate generalizations of the Foata-Schutzenberger equidistribution
Published • View Publication • BIB
A result of Foata and Schutzenberger states that two statistics on permutations, the number of inversions and the inverse major index, have the same distribution on a descent class. We give a multivariate generalization of this property: the sorted vectors of the Lehmer code, of the inverse majcode, and of a new code (the inverse saillance code), have the same distribution on a descent class, and their common multivariate generating function is a flagged ribbon Schur function.
2006-05-02
Polynomial realizations of some trialgebras
We realize several combinatorial Hopf algebras based on set compositions, plane trees and segmented compositions in terms of noncommutative polynomials in infinitely many variables. For each of them, we describe a trialgebra structure, an internal product, and several bases.
2006-05-02 v2
Eigenvalues and extremal degrees in graphs
Published • View Publication • BIB
We give inequalities relating the eigenvalues of the adjacency matrix and the Laplacian of a graph, and its minimum and maximum degrees. The results are applied to derive new conditions for quasi-randomness of graphs.
2006-05-01
Generalized characters of the symmetric group
Published • View Publication • BIB
Normalized irreducible characters of the symmetric group S(n) can be understood as zonal spherical functions of the Gelfand pair $(S(n)\times S(n),\Diag S(n))$. They form an orthogonal basis in the space of the functions on the group S(n) invariant with respect to conjugations by S(n). In this paper we consider a different Gelfand pair connected with the symmetric group, that is an ``unbalanced'' Gelfand pair $(S(n)\times S(n-1),\Diag S(n-1))$. Zonal spherical functions of this Gelfand pair form an orthogonal basis in a larger space of functions on S(n), namely in the space of functions invariant with respect to conjugations by $S(n-1)$. We refer to these zonal spherical functions as normalized \textit{generalized} characters of S(n). The main discovery of the present paper is that these generalized characters can be computed on the same level as the irreducible characters of the symmetric group. The paper gives a Murnaghan-Nakayama type rule, a Frobenius type formula, and an analogue of the determinantal formula for the generalized characters of S(n).
2006-05-01 v2
Idempotents and Nilpotents Modulo n
We study asymptotic properties of periods and transient phases associated with modular power sequences. The latter are simple; the former are vaguely related to the reciprocal sum of square-free integer kernels.