arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2003-09-12 v2
Tricyclic graphs with exactly two main eigenvalues
An eigenvalue of a graph $G$ is called a main eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. In this paper, all connected tricyclic graphs with exactly two main eigenvalues are determined.
2003-09-12 v2
Ennea-algebras
Published • View Publication • BIB
We propose a generalisation of a recent work of M. Aguiar and J.-L. Loday on Quadri-algebras, called Ennea-algebras. In this second version, this paper has been extended. We show that the augmented free Ennea-algebra is a connected Hopf algebra and construct explicit formal deformations of dendriform dialgebras, quari-algebras and ennea-algebras via Baxter operators.
2003-09-12 v3
Affine Weyl groups in K-theory and representation theory
Published • View Publication • BIB
We give an explicit combinatorial Chevalley-type formula for the equivariant K-theory of generalized flag varieties G/P which is a direct generalization of the classical Chevalley formula. Our formula implies a simple combinatorial model for the characters of the irreducible representations of G and, more generally, for the Demazure characters. This model can be viewed as a discrete counterpart of the Littelmann path model, and has several advantages. Our construction is given in terms of a certain R-matrix, that is, a collection of operators satisfying the Yang-Baxter equation. It reduces to combinatorics of decompositions in the affine Weyl group and enumeration of saturated chains in the Bruhat order on the (nonaffine) Weyl group. Our model easily implies several symmetries of the coefficients in the Chevalley-type formula. We also derive a simple formula for multiplying an arbitrary Schubert class by a divisor class, as well as a dual Chevalley-type formula. The paper contains other applications and examples.
2003-09-11 v3
Ramanujan's "Lost Notebook" and the Virasoro Algebra
Published in Commun.Math.Phys. 251 (2004) 567-588 • View Publication • BIB
By using the theory of vertex operator algebras, we gave a new proof of the famous Ramanujan's modulus 5 modular equation from his "Lost Notebook" (p.139 in \cite{R}). Furthermore, we obtained an infinite list of $q$-identities for all odd moduli; thus, we generalized the result of Ramanujan.
2003-09-10 v2
Blocking sets in small finite linear spaces II
The contents of this paper has been incorporated into math.CO/0308288.
2003-09-08
Small examples of non-constructible simplicial balls and spheres
Published • View Publication • BIB
We construct non-constructible simplicial $d$-spheres with $d+10$ vertices and non-constructible, non-realizable simplicial $d$-balls with $d+9$ vertices for $d\geq 3$.
2003-09-08 v2
On the entropy of spanning trees on a large triangular lattice
Published in Ramanujian J. 10, 205-214 (2005). • View Publication • BIB
The double integral representing the entropy S_{tri} of spanning trees on a large triangular lattice is evaluated using two different methods, one algebraic and one graphical. Both methods lead to the same result S_{tri} = [1/(2 Pi)]^2 \int_0^{2 Pi} dθ\int_0^{2 Pi} dφln [6-2 cos(θ) - 2 cos(φ) -2 cos(θ+φ)] = [3(\sqrt 3)/Pi](1 - 5^{-2} + 7^{-2} - 11^{-2} + 13^{-2} - ...)
2003-09-08
Independence polynomials of well-covered graphs: generic counterexamples for the unimodality conjecture
Published • View Publication • BIB
A graph $G$ is well-covered if all its maximal stable sets have the same size, denoted by alpha(G) (M. D. Plummer, 1970). If for any $k$ the $k$-th coefficient of a polynomial I(G;x) is equal to the number of stable sets of cardinality $k$ in graph $G$, then it is called the independence polynomial of $G$ (Gutman and Harary, 1983). J. I. Brown, K. Dilcher and R. J. Nowakowski (2000) conjectured that I(G;x) is unimodal (that is, there exists an index $k$ such that the part of the sequence of coefficients from the first to $k$-th is non-decreasing while the other part of coefficients is non-increasing) for any well-covered graph $G$. T. S. Michael and W. N. Traves (2002) proved that this assertion is true for alpha(G) < 4, while for alpha(G) from the set {4,5,6,7} they provided counterexamples. In this paper we show that for any integer $alpha$ > 7, there exists a (dis)connected well-covered graph $G$ with $alpha$ = alpha(G), whose independence polynomial is not unimodal. In addition, we present a number of sufficient conditions for a graph $G$ with alpha(G) < 7 to have unimodal independence polynomial.
2003-09-08
Test Sets for Integer Programs with Z-Convex Objective
In this paper we extend test set based augmentation methods for integer linear programs to programs with more general convex objective functions. We show existence and computability of finite test sets for these wider problem classes by providing an explicit relationship to Graver bases. One candidate where this new approach may turn out fruitful is the Quadratic Assignment Problem.
Non-crossing frameworks with non-crossing reciprocals
Published in Discrete Comput. Geom., 32:4 (2004), 567-600 • View Publication • BIB
We study non-crossing frameworks in the plane for which the classical reciprocal on the dual graph is also non-crossing. We give a complete description of the self-stresses on non-crossing frameworks whose reciprocals are non-crossing, in terms of: the types of faces (only pseudo-triangles and pseudo-quadrangles are allowed); the sign patterns in the self-stress; and a geometric condition on the stress vectors at some of the vertices. As in other recent papers where the interplay of non-crossingness and rigidity of straight-line plane graphs is studied, pseudo-triangulations show up as objects of special interest. For example, it is known that all planar Laman circuits can be embedded as a pseudo-triangulation with one non-pointed vertex. We show that if such an embedding is sufficiently generic, then the reciprocal is non-crossing and again a pseudo-triangulation embedding of a planar Laman circuit. For a singular (i.e., non-generic) pseudo-triangulation embedding of a planar Laman circuit, the reciprocal is still non-crossing and a pseudo-triangulation, but its underlying graph may not be a Laman circuit. Moreover, all the pseudo-triangulations which admit a non-crossing reciprocal arise as the reciprocals of such, possibly singular, stresses on pseudo-triangulation embeddings of Laman circuits. All self-stresses on a planar graph correspond to liftings to piece-wise linear surfaces in 3-space. We prove characteristic geometric properties of the lifts of such non-crossing reciprocal pairs.
2003-09-07 v2
Logarithmic Derivatives of Solutions to Linear Differential Equations
Published • View Publication • BIB
Given an ordinary differential field $K$ of characteristic zero, it is known that if $y$ and $1/y$ satisfy linear differential equations with coefficients in $K$, then $y'/y$ is algebraic over $K$. We present a new short proof of this fact using Gröbner basis techniques and give a direct method for finding a polynomial over $K$ that $y'/y$ satisfies. Moreover, we provide explicit degree bounds and extend the result to fields with positive characteristic. Finally, we give an application of our method to a class of nonlinear differential equations.
2003-09-07
Indecomposable Ideals in Incidence Algebras
Published in Mod.Phys.Lett. A18 (2003) 2491-2500 • View Publication • BIB
The elements of a finite partial order $P$ can be identified with the maximal indecomposable two-sided ideals of its incidence algebra $\A$, and then for two such ideals, $I\prec J \iff IJ \not=0$. This offers one way to recover a poset from its incidence algebra. In the course of proving the above, we classify all of the two-sided ideals of $\A$.
2003-09-07 v2
Aztec Diamonds and Baxter Permutations
Published in The Electronic Journal of Combinatorics 17 (2010), #R105 • View Publication • BIB
We present a proof of a conjecture about the relationship between Baxter permutations and pairs of alternating sign matrices that are produced from domino tilings of Aztec diamonds. It is shown that if and only if a tiling corresponds to a pair of ASMs that are both permutation matrices, the larger permutation matrix corresponds to a Baxter permutation. There has been a thriving literature on both pattern-avoiding permutations of various kinds and tilings of regions using dominos or rhombuses as tiles. However, there have not as of yet been many links between these two areas of enumerative combinatorics. This paper gives one such link.
2003-09-05
Convex Combinatorial Optimization
Published in Discrete and Computational Geometry, 32:549--566, 2004 • View Publication • BIB
We introduce the convex combinatorial optimization problem, a far reaching generalization of the standard linear combinatorial optimization problem. We show that it is strongly polynomial time solvable over any edge-guaranteed family, and discuss several applications.
2003-09-05 v2
On the structure of the adjacency matrix of the line digraph of a regular digraph
Published in Discrete Applied Mathematics, Volume 154, Issue 12, 15 July 2006, Pages 1763-1765 • View Publication • BIB
We show that the adjacency matrix M of the line digraph of a d-regular digraph D on n vertices can be written as M=AB, where the matrix A is the Kronecker product of the all-ones matrix of dimension d with the identity matrix of dimension n and the matrix B is the direct sum of the adjacency matrices of the factors in a dicycle factorization of D.
2003-09-05
Lecture Hall Theorems, q-series and Truncated Objects
Published • View Publication • BIB
We show here that the refined theorems for both lecture hall partitions and anti-lecture hall compositions can be obtained as straightforward consequences of two q-Chu Vandermonde identities, once an appropriate recurrence is derived. We use this approach to get new lecture hall-type theorems for truncated objects. We compute their generating function and give two different multivariate refinements of these new results : the q-calculus approach gives (u,v,q)-refinements, while a completely different approach gives odd/even (x,y)-refinements. From this, we are able to give a combinatorial characterization of truncated lecture hall partitions and new finitizations of refinements of Euler's theorem.
2003-09-05 v2
Explicit formulas for the generalized Hermite polynomials in superspace
Published in J.Phys.A37:1251-1268,2004 • View Publication • BIB
We provide explicit formulas for the orthogonal eigenfunctions of the supersymmetric extension of the rational Calogero-Moser-Sutherland model with harmonic confinement, i.e., the generalized Hermite (or Hi-Jack) polynomials in superspace. The construction relies on the triangular action of the Hamiltonian on the supermonomial basis. This translates into determinantal expressions for the Hamiltonian's eigenfunctions.
2003-09-05
Partitions and Compositions defined by inequalities
Published • View Publication • BIB
We consider sequences of integers defined by a system of linear inequalities with integer coefficients. We show that when the constraints are strong enough to guarantee that all the entries are nonnegative, the generating function for the integer solutions of weight $n$ has a finite product form. The results are proved bijectively and are used to give several examples of interesting identities for integer partitions and compositions. The method can be adapted to accommodate equalities along with inequalities and can be used to obtain multivariate forms of the generating function. We show how to extend the technique to obtain the generating function when some coefficients are allowed to be rational, generalizing the case of lecture hall partitions. Our initial results were conjectured thanks to the Omega package.
2003-09-04 v5
Enumeration of concave integer partitions
Published in Journal of Integer Sequences, Vol. 7 (2004), Article 04.1.3 • Search Publication
An integer partition λof n corresponds, via its Ferrers diagram, to an artinian monomial ideal I of colength n in the polynomial ring on two variables. If the partition λcorresponds to an integrally closed ideal we call λconcave. We study generating functions for the number of concave partitions, unrestricted or with at most r parts.
2003-09-04 v2
The Orchard Morphism
We describe and prove uniqueness of a natural homomorphism between some groups associated to finite sets.