Showing 20 papers (Total: 82851 papers, 47869 authors in database)
The Kadison-Singer problem in discrepancy theory
Published
• View Publication
• BIB
We give a combinatorial form of the Kadison-Singer problem, a famous problem in C*-algebra. This combinatorial problem, which has several minor variations, is a discrepancy question about vectors in C^n. Some partial results can be easily deduced from known facts in discrepancy theory.
(Bi-)Cohen-Macaulay simplicial complexes and their associated coherent sheaves
Published in Communications in Algebra 33, (2005), no.9, p. 3121-3136
• View Publication
• BIB
Via the BGG correspondence a simplicial complex Delta on [n] is transformed into a complex of coherent sheaves on P^n-1. We show that this complex reduces to a coherent sheaf F exactly when the Alexander dual Delta^* is Cohen-Macaulay. We then determine when both Delta and Delta^* are Cohen-Macaulay. This corresponds to F being a locally Cohen-Macaulay sheaf. Lastly we conjecture for which range of invariants of such Delta it must be a cone.
Counting real rational functions with all real critical values
Published
• View Publication
• BIB
We study the number of real rational degree n functions (considered up to linear fractional transformations of the independent variable) with a given set of 2n-2 distinct real critical values. We present a combinatorial reformulation of this number and pose several related questions.
Criteria for Irrationality of Euler's Constant
Published in Proc. Amer. Math. Soc. 131 (2003) 3335-3344
• View Publication
• BIB
By modifying Beukers' proof of Apery's theorem that zeta(3) is irrational, we derive criteria for irrationality of Euler's constant, gamma. For n > 0, we define a double integral I(n) and a positive integer S(n), and prove that if d(n) = LCM(1,...,n), then the fractional part of logS(n) is given by {logS(n)} = d(2n)I(n), for all n sufficiently large, if and only if gamma is a rational number. A corollary is that if {logS(n)} > 1/2^n infinitely often, then gamma is irrational. Indeed, if the inequality holds for a given n (we present numerical evidence for 0 < n < 2500 and n = 10000) and gamma is rational, then its denominator does not divide the product d(2n)Binomial(2n,n). We prove a new combinatorial identity in order to show that a certain linear form in logarithms is in fact logS(n). A by-product is a rapidly converging asymptotic formula for gamma, used by P. Sebah to compute it correct to 18063 decimals.
A Two-Variable Interlace Polynomial
Published
• View Publication
• BIB
We introduce a new graph polynomial in two variables. This ``interlace'' polynomial can be computed in two very different ways. The first is an expansion analogous to the state space expansion of the Tutte polynomial; the significant differences are that our expansion is over vertex rather than edge subsets, and the rank and nullity employed are those of an adjacency matrix rather than an incidence matrix.
The second computation is by a three-term reduction formula involving a graph pivot; the pivot arose previously in the study of interlacement and Euler circuits in four-regular graphs.
We consider a few properties and specializations of the two-variable interlace polynomial. One specialization, the ``vertex-nullity interlace polynomial'', is the single-variable interlace graph polynomial we studied previously, closely related to the Tutte-Martin polynomial on isotropic systems previously considered by Bouchet. Another, the ``vertex-rank interlace polynomial'', is equally interesting. Yet another specialization of the two-variable polynomial is the independent-set polynomial.
A Hopf operad of forests of binary trees and related finite-dimensional algebras
Published
• View Publication
• BIB
The theme of this article is the algebraic combinatorics of leaf-labeled rooted binary trees and forests of such trees. The structure of a Hopf operad is defined on the vector spaces spanned by forests of leaf-labeled, rooted, binary trees. An explicit formula for the coproduct and its dual product is given, using a poset on forests.
Symmetric polynomials vanishing on the shifted diagonals and Macdonald polynomials
For each pair (k,r) of positive integers with r>1, we consider an ideal I^(k,r)_n of the ring of symmetric polynomials in n variables. The ideal I_n^(k,r) has a basis consisting of Macdonald polynomials P(x_1,...,x_n;q,t) at t^{k+1}q^{r-1}=1, and is a deformed version of the one studied earlier in the context of Jack polynomials.
In this paper we give a characterization of I^(k,r)_n in terms of explicit zero conditions on the k-codimensional shifted diagonals of the form x_{2}=tq^{s_1}x_1,...,x_{k+1}=tq^{s_k}x_k.
The ideal I^(k,r)_n may be viewed as a deformation of the space of correlation functions of an abelian current of the affine Lie algebra \hat{sl_r}. We give a brief discussion about this connection.
Approaches to Network Classification
We introduce a novel approach to description of networks/graphs. It is based on an analogue physical model which is dynamically evolved. This evolution depends on the connectivity matrix and readily brings out many qualitative features of the graph.
Graph equivalence and characterization via a continuous evolution of a physical analog
A general novel approach mapping discrete, combinatorial, graph-theoretic problems onto ``physical'' models - namely $n$ simplexes in $n-1$ dimensions - is applied to the graph equivalence problem. It is shown to solve this long standing problem in polynomial, short, time.
The Interlace Polynomial of a Graph
Published
• View Publication
• BIB
Motivated by circle graphs, and the enumeration of Euler circuits, we define a one-variable ``interlace polynomial'' for any graph. The polynomial satisfies a beautiful and unexpected reduction relation, quite different from the cut and fuse reduction characterizing the Tutte polynomial.
It emerges that the interlace graph polynomial may be viewed as a special case of the Martin polynomial of an isotropic system, which underlies its connections with the circuit partition polynomial and the Kauffman brackets of a link diagram. The graph polynomial, in addition to being perhaps more broadly accessible than the Martin polynomial for isotropic systems, also has a two-variable generalization that is unknown for the Martin polynomial. We consider extremal properties of the interlace polynomial, its values for various special graphs, and evaluations which relate to basic graph properties such as the component and independence numbers.
Computation in Coxeter groups II. Minimal roots
Published
• View Publication
• BIB
In the recent paper (Casselman, 2001) I described how a number of ideas due to Fokko du Cloux and myself could be incorporated into a reasonably efficient program to carry out multiplication in arbitrary Coxeter groups. At the end of that paper I discussed how this algorithm could be used to build the reflection table of minimal roots, which could in turn form the basis of a much more efficient multiplication algorithm. In this paper, following a suggestion of Bob Howlett, I explain how results due to Brigitte Brink can be used to construct the minimal root reflection table directly and more efficiently.
Regular closed classes of permutations
Published
• View Publication
• BIB
Machines whose main purpose is to permute and sort data are studied. The sets of permutations that can arise are analysed by means of finite automata and avoided pattern techniques. Conditions are given for these sets being enumerated by rational generating functions.
Degenerated third order linear recurrences
We study a) the limit of the ratio of two consecutive terms in such a sequence and b) the limit of the ratio of two terms in which one has a lag equal to 2. In the general case limit a) does not exist but we have two limiting values depending on the parity of the index. And these limits depend on the initial conditions. Limit b) exists and does not depend on the the initial conditions. Finally we seek the set of initial conditions for which this limit exists (that is, the two limiting values coincide) and obtain this limit.
Counting Meromorphic Functions with Critical Points of Large Multiplicities
Published
• View Publication
• BIB
We study the number of meromorphic functions on a Riemann surface with given critical values and prescribed multiplicities of critical points and values.
When the Riemann surface is $\CP^1$ and the function is a polynomial, we give an elementary way of finding this number.
In the general case, we show that, as the multiplicities of critical points tend to infinity, the asymptotic for the number of meromorphic functions is given by the volume of some space of graphs glued from circles. We express this volume as a matrix integral.
Combinatorial properties of stable spin curves
Published
• View Publication
• BIB
The geometry of the moduli space of stable spin curves is studied, with emphasis on its combinatorial properties. In this context, the standard graph theoretic framework is not just a book-keeping device: some purely combinatorial results are proved, having moduli theoretic applications. In particular, certain strata of the moduli space of stable curves are characterized by a (finite) set of integers, measuring the non-reducedness of the scheme of spin curves, and definable in purely graph-theoretical terms.
Lattice structure for orientations of graphs
Published
• View Publication
• BIB
In 1986, Oliver Pretzel studied the set of orientations of a connected finite graph $G$ and showed that any two such orientations having the same flow-difference around all closed loops can be obtained from one another by a succession of local moves of a simple type. Here I show that the set of orientations of $G$ having the same flow-differences around all closed loops can be given the structure of a distributive lattice. When the graph is drawn on the plane, a dual version of the construction puts a distributive lattice structure on the set of orientations of $G$ having the same indegrees at all vertices. In both settings, adjacent lattice-elements are related by simple local moves. This construction unifies earlier, similar constructions in combinatorics and statistical mechanics. It also gives rise to an interesting lattice structure on spanning trees. This article is an updated version of a preprint originally distributed in 1993.
On Non-intersecting Arithmetic Progressions
Published
• View Publication
• BIB
We prove that if one has k non-intersecting arithmetic progressions of integers, with common differences 2 <= q_1,...,q_k <= x, then k < x exp((-1/6 + o(1)) sqrt(log x loglog x)). This improves a result of Szemeredi and Erdos.
Cluster algebras II: Finite type classification
Published
• View Publication
• BIB
This paper continues the study of cluster algebras initiated in math.RT/0104151. Its main result is the complete classification of the cluster algebras of finite type, i.e., those with finitely many clusters. This classification turns out to be identical to the Cartan-Killing classification of semisimple Lie algebras and finite root systems, which is intriguing since in most cases, the symmetry exhibited by the Cartan-Killing type of a cluster algebra is not at all apparent from its geometric origin.
The combinatorial structure behind a cluster algebra of finite type is captured by its cluster complex. We identify this complex as the normal fan of a generalized associahedron introduced and studied in hep-th/0111053 and math.CO/0202004. Another essential combinatorial ingredient of our arguments is a new characterization of the Dynkin diagrams.
Topological Borsuk problem
Classical Borsuk problem asks about the minimal number of closed subsets of smaller diameter necessary to partition every compact in the Euclidean space. Topological version of the Borsuk problem is discussed.
Hereditary topological diagonalizations and the Menger-Hurewicz Conjectures
Published in Proceedings of the American Mathematical Society 134 (2006), 605--615
• View Publication
• BIB
We consider the question, which of the major classes defined by topological diagonalizations of open or Borel covers is hereditary. Many of the classes in the open case are not hereditary already in ZFC, and none of them is provably hereditary. This is contrasted with the Borel case, where some of the classes are provably hereditary. Two of the examples are counter-examples of sizes d$ and b, respectively, to the Menger and Hurewicz Conjectures, and one of them answers a question of Steprans on perfectly meager sets.