arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2006-02-01 v3
Bounds on graph eigenvalues I
Published • View Publication • BIB
We improve recent results relating graph eigenvalues to other graph parameters like girth, domination number, and minimum degree.
2006-02-01
Spectral Radius and maximum degree of connected graphs
We give an upper bound on the maximal eigenvalue of the adjacency matrix of a connected graph in terms of its maximum degree, diameter and order. This bound is best possible up to a constant factor and improves prevoius results of Stevanovic, Zhang, and Alon and Sudakov.
On the Number of Pseudo-Triangulations of Certain Point Sets
Published in J. Combin. Theory Ser. A, 115 (2008) 254-278. • View Publication • BIB
We pose a monotonicity conjecture on the number of pseudo-triangulations of any planar point set, and check it on two prominent families of point sets, namely the so-called double circle and double chain. The latter has asymptotically $12^n n^{Θ(1)}$ pointed pseudo-triangulations, which lies significantly above the maximum number of triangulations in a planar point set known so far.
2006-01-31
Graph and Union of Graphs Compositions
Knopfmacher et all [1] was introduced the graph compositions` notion. In this note we add to these a new construction of tree-like graphs where nodes are graphs themselves. The first examples of these tree-like compositions, a corresponding theorem and resulting conclusions are provided.
2006-01-31
A polynomial generalization of the power-compositions determinant
Published • View Publication • BIB
Let $C(n,p)$ be the set of $p$-compositions of an integer $n$, i.e., the set of $p$-tuples $\bmα=(α_1,...,α_p)$ of nonnegative integers such that $α_1+...+α_p=n$, and $\mathbf{x}=(x_1,...,x_p)$ a vector of indeterminates. For $\bmα$ and ${\bmβ}$ two $p$-compositions of $n$, define $(\mathbf{x}+\bmα)^{\bmβ} = (x_1+α_1)^{β_1}... x_p+α_p)^{β_p}$. In this paper we prove an explicit formula for the determinant $\det_{\bmα,{\bmβ}\in C(n,p)}((\mathbf{x}+\bmα)^{\bmβ})$. In the case $x_1=...=x_p$ the formula gives a proof of a conjecture by C.~Krattenthaler.
2006-01-31 v3
Quantum automorphism groups of vertex-transitive graphs of order $\leq 11$
Published in J. Algebraic Combin. 26 (2007), 83-105 • View Publication • BIB
We study quantum automorphism groups of vertex-transitive graphs having less than 11 vertices. With one possible exception, these can be obtained from cyclic groups ${\mathbb Z}_n$, symmetric groups $S_n$ and quantum symmetric groups $\mathcal Q_n$, by using various product operations. The exceptional case is that of the Petersen graph, and we present some questions about it.
2006-01-31
Empty Rectangles and Graph Dimension
We consider rectangle graphs whose edges are defined by pairs of points in diagonally opposite corners of empty axis-aligned rectangles. The maximum number of edges of such a graph on $n$ points is shown to be 1/4 n^2 +n -2. This number also has other interpretations: * It is the maximum number of edges of a graph of dimension $\bbetween{3}{4}$, i.e., of a graph with a realizer of the form $π_1,π_2,\ol{π_1},\ol{π_2}$. * It is the number of 1-faces in a special Scarf complex. The last of these interpretations allows to deduce the maximum number of empty axis-aligned rectangles spanned by 4-element subsets of a set of $n$ points. Moreover, it follows that the extremal point sets for the two problems coincide. We investigate the maximum number of of edges of a graph of dimension $\between{3}{4}$, i.e., of a graph with a realizer of the form $π_1,π_2,π_3,\ol{π_3}$. This maximum is shown to be $1/4 n^2 + O(n)$. Box graphs are defined as the 3-dimensional analog of rectangle graphs. The maximum number of edges of such a graph on $n$ points is shown to be $7/16 n^2 + o(n^2)$.
2006-01-30 v2
Higher spin vertex models with domain wall boundary conditions
Published in J.Stat.Mech.0603:P03012,2006 • View Publication • BIB
We derive determinant expressions for the partition functions of spin-k/2 vertex models on a finite square lattice with domain wall boundary conditions.
2006-01-30 v2
On polynomial digraphs
Published in Discrete Math. (2006), 306/4, p 401-412 • View Publication • BIB
Let $Φ(x,y)$ be a bivariate polynomial with complex coefficients. The zeroes of $Φ(x,y)$ are given a combinatorial structure by considering them as arcs of a directed graph $G(Φ)$. This paper studies some relationship between the polynomial $Φ(x,y)$ and the structure of $G(Φ)$.
2006-01-30
The characteristic ideal of a finite, connected, regular graph
Published in Proc. ISSAC-2004, ACM, 50-57 • View Publication • BIB
Let $Φ(x,y)\in\mathbb{C}[x,y]$ be a symmetric polynomial of partial degree $d$. The graph $G(Φ)$ is defined by taking $\mathbb{C}$ as set of vertices and the points of $\mathbb{V}(Φ(x,y))$ as edges. We study the following problem: given a finite, connected, $d$-regular graph $H$, find the polynomials $Φ(x,y)$ such that $G(Φ)$ has some connected component isomorphic to $H$ and, in this case, if $G(Φ)$ has (almost) all components isomorphic to $H$. The problem is solved by associating to $H$ a characteristic ideal which offers a new perspective to the conjecture formulated in a previous paper, and allows to reduce its scope. In the second part, we determine the characteristic ideal for cycles of lengths $\le 5$ and for complete graphs of order $\le 6$. This results provide new evidence for the conjecture.
2006-01-30
Intersections of Leray complexes and regularity of monomial ideals
Published • View Publication • BIB
For a simplicial complex X and a field K, let h_i(X)=\dim \tilde{H}_i(X;K). It is shown that if X,Y are complexes on the same vertex set, then for all k h_{k-1}(X\cap Y) \leq \sum_{σ\in Y} \sum_{i+j=k} h_{i-1}(X[σ])\cdot h_{j-1}(\lk(Y,σ)) . A simplicial complex X is d-Leray over K, if h_i(Y)=0 for all induced subcomplexes Y \subset X and i \geq d. Let L_K(X) denote the minimal d such that X is d-Leray over K. The above theorem implies that if X,Y are simplicial complexes on the same vertex set then L_K(X \cap Y) \leq L_K(X) +L_K(Y). Reformulating this inequality in commutative algebra terms, we obtain the following result conjectured by Terai: If I,J are square-free monomial ideals in S=K[x_1,...,x_n], then reg(I+J) \leq reg(I)+reg(J)-1 where reg(I) denotes the Castelnuovo-Mumford regularity of I.
2006-01-30
Geometric bistellar flips. The setting, the context and a construction
Published in In "Proceedings of the International Congress of Mathematicians, 2006" (M. Sanz-Sole, J. Soria, J. L. Varona, J. Verdera, eds.), Eur. Math. Soc., 2006, Vol III, pp. 931-962 • Search Publication
We give a self-contained introduction to the theory of secondary polytopes and geometric bistellar flips in triangulations of polytopes and point sets, as well as a review of some of the known results and connections to algebraic geometry, topological combinatorics, and other areas. As a new result, we announce the construction of a point set in general position with a disconnected space of triangulations. This shows, for the first time, that the poset of strict polyhedral subdivisions of a point set is not always connected.
The Ehrhart Function for Symbols
Published in Surveys in Differential Geometry X, 31-41 (2006) • View Publication • BIB
We derive an Ehrhart function for symbols from the Euler-MacLaurin formula with remainder.
2006-01-28 v3
A combinatorial formula for non-symmetric Macdonald polynomials
Published • View Publication • BIB
We give a combinatorial formula for the non-symmetric Macdonald polynomials E_μ(x;q,t). The formula generalizes our previous combinatorial interpretation of the integral form symmetric Macdonald polynomials J_μ(x;q,t). We prove the new formula by verifying that it satisfies a recurrence, due to Knop, that characterizes the non-symmetric Macdonald polynomials.
2006-01-28
The Euler characteristic of the Whitehead automorphism group of a free product
Published • View Publication • BIB
A combinatorial summation identity over the lattice of labelled hypertrees is established that allows one to gain concrete information on the Euler characteristics of various automorphism groups of free products of groups.
2006-01-27
Motivic decomposition of a generalized Severi-Brauer variety
Let A and B be two central simple algebras of a prime degree n over a field F generating the same subgroup in the Brauer group. We show that the Chow motive of a Severi-Brauer variety SB(A) is a direct summand of the motive of a generalized Severi-Brauer variety SB_d(B) if and only if [A]=d[B] or [A]=-d[B] in the Brauer group. The proof uses methods of Schubert calculus and combinatorial properties of Young tableaux, e.g., Robinson-Schensted correspondence.
2006-01-27 v5
The $M$-triangle of generalised non-crossing partitions for the types $E_7$ and $E_8$
Published in Séminaire Lotharingien Combin. 54 (2006), Article B54l, 34 pages • Search Publication
The $M$-triangle of a ranked locally finite poset $P$ is the generating function $\sum_{u,w\in P} ^{}μ(u,w) x^{\rk u}y^{\rk w}$, where $μ(.,.)$ is the Möbius function of $P$. We compute the $M$-triangle of Armstrong's poset of $m$-divisible non-crossing partitions for the root systems of type $E_7$ and $E_8$. For the other types except $D_n$ this had been accomplished in the earlier paper "The $F$-triangle of the generalised cluster complex." Altogether, this almost settles Armstrong's $F=M$ Conjecture predicting a surprising relation between the $M$-triangle of the $m$-divisible partitions poset and the $F$-triangle (a certain refined face count) of the generalised cluster complex of Fomin and Reading, the only gap remaining in type $D_n$. Moreover, we prove a reciprocity result for this $M$-triangle, again with the possible exception of type $D_n$. Our results are based on the calculation of certain decomposition numbers for the reflection groups of types $E_7$ and $E_8$, which carry in fact finer information than does the $M$-triangle. The decomposition numbers for the other exceptional reflection groups had been computed in the earlier paper. We present a conjectured formula for the type $A_n$ decomposition numbers.
2006-01-27
On triangulations with high vertex degree
Published in Annals of Combinatorics 12, 1 (2008) 17-44 • View Publication • BIB
We solve three enumerative problems concerning families of planar maps. More precisely, we establish algebraic equations for the generating function of non-separable triangulations in which all vertices have degree at least d, for a certain value d chosen in {3, 4, 5}. The originality of the problem lies in the fact that degree restrictions are placed both on vertices and faces. Our proofs first follow Tutte's classical approach: we decompose maps by deleting the root and translate the decomposition into an equation satisfied by the generating function of the maps under consideration. Then we proceed to solve the equation obtained using a recent technique that extends the so-called quadratic method.
2006-01-27 v2
Hessenberg varieties are not pure dimensional
Published • View Publication • BIB
We study a family of subvarieties of the flag variety defined by certain linear conditions, called Hessenberg varieties. We compare them to Schubert varieties. We prove that some Schubert varieties can be realized as Hessenberg varieties and vice versa. Our proof explicitly identifies these Schubert varieties by their permutation and computes their dimension. We use this to answer an open question by proving that Hessenberg varieties are not always pure dimensional. We give examples that neither semisimple nor nilpotent Hessenberg varieties need be pure; the latter are connected, non-pure-dimensional Hessenberg varieties. Our methods require us to generalize the definition of Hessenberg varieties.
2006-01-27
Bijective counting of tree-rooted maps and shuffles of parenthesis systems
Published in The Electronic Journal of Combinatorics 14 (2007) R9 • View Publication • BIB
The number of tree-rooted maps, that is, rooted planar maps with a distinguished spanning tree, of size $n$ is C(n)C(n+1) where C(n)=binomial(2n,n)/(n+1) is the nth Catalan number. We present a (long awaited) simple bijection which explains this result. We prove that our bijection is isomorphic to a former recursive construction on shuffles of parenthesis systems due to Cori, Dulucq and Viennot.