Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Alexander duality in subdivisions of Lawrence polytopes
Published in Adv. Geom. 3 (2003), no. 2, 177-189
• View Publication
• BIB
The class of simplicial complexes representing triangulations and subdivisions of Lawrence polytopes is closed under Alexander duality.
This gives a new geometric model for oriented matroid duality.
Borsuk's Conjecture Fails in Dimensions 321 and 322
Borsuk's conjecture states that any bounded set in R^n can be partitioned into n+1 sets of smaller diameter. It is known to be false for all n bigger or equal to 323.
Here we show that Borsuk's conjecture fails in dimensions 321 and 322. (This result has been independently discovered by Hinrichs and Richter.)
Ovals and Hyperovals in Desarguesian Nets
Published
• View Publication
• BIB
We determine the Desarguesian planes which hold $r$-nets with ovals and those which hold $r$-nets with hyperovals for every $r \le 7$.
Non-rigidity degrees of root lattices and their duals
Published
• View Publication
• BIB
Non-rigidity degree of a lattice $L$, nrd$L$, is dimension of the L-type domain to which $L$ belongs. We complete here the table of nrd's of all root lattices and their duals; namely, the hardest remaining case of $D_n^*$, and the case of $E_7^*$ are decided.
We describe explicitly the $L$-type domain ${\cal D}(D_n^*)$, $n \ge 4$. For $n$ odd, it is a non-simplicial polyhedral open cone of dimension $n$. For $n$ even, it is one-dimensional, i.e. for even $n$, $D_n^*$ is an edge form.
Skew Schubert polynomials
Published in Proc. Amer. Math. Soc., 131 (2003), 3319-3328.
• View Publication
• BIB
We define skew Schubert polynomials to be normal form (polynomial) representatives of certain classes in the cohomology of a flag manifold. We show that this definition extends a recent construction of Schubert polynomials due to Bergeron and Sottile in terms of certain increasing labeled chains in Bruhat order of the symmetric group. These skew Schubert polynomials expand in the basis of Schubert polynomials with nonnegative integer coefficients that are precisely the structure constants of the cohomology of the complex flag variety with respect to its basis of Schubert classes. We rederive the construction of Bergeron and Sottile in a purely combinatorial way, relating it to the construction of Schubert polynomials in terms of rc-graphs.
Colimits, Stanley-Reisner algebras, and loop spaces
Published in Categorical decomposition techniques in algebraic topology (Isle of Skye, 2001). Progress in Math. 215. Birkhäuser, Basel, 2004, pp. 261-291
• View Publication
• BIB
We study diagrams associated with a finite simplicial complex K, in various algebraic and topological categories. We relate their colimits to familiar structures in algebra, combinatorics, geometry and topology. These include: right-angled Artin and Coxeter groups (and their complex analogues, which we call circulation groups); Stanley-Reisner algebras and coalgebras; Davis and Januszkiewicz's spaces DJ(K) associated with toric manifolds and their generalisations; and coordinate subspace arrangements. When K is a flag complex, we extend well-known results on Artin and Coxeter groups by confirming that the relevant circulation group is homotopy equivalent to the space of loops $ΩDJ(K)$. We define homotopy colimits for diagrams of topological monoids and topological groups, and show they commute with the formation of classifying spaces in a suitably generalised sense. We deduce that the homotopy colimit of the appropriate diagram of topological groups is a model for $ΩDJ(K)$ for an arbitrary complex K, and that the natural projection onto the original colimit is a homotopy equivalence when K is flag. In this case, the two models are compatible.
The polynomial algorithm for graphs' isomorphism testing
A polynomial algorithm for graphs' isomorphism testing is constructed in assumption that there exists a corresponding polynomial algorithm for graphs with trivial automorphism group.
Ideals of Quasi-Symmetric Functions and Super-Covariant Polynomials for S_n
Published in Adv. Math. 181 (2004), no. 2, 353--367
• View Publication
• BIB
The aim of this work is to study the quotient ring R_n of the ring Q[x_1,...,x_n] over the ideal J_n generated by non-constant homogeneous quasi-symmetric functions. We prove here that the dimension of R_n is given by C_n, the n-th Catalan number. This is also the dimension of the space SH_n of super-covariant polynomials, that is defined as the orthogonal complement of J_n with respect to a given scalar product. We construct a basis for R_n whose elements are naturally indexed by Dyck paths. This allows us to understand the Hilbert series of SH_n in terms of number of Dyck paths with a given number of factors.
Multinomial identities arising from the free probability theory
Published in J. Combin. Theory Ser. A, 101 (2003), no. 1, 1--19
• View Publication
• BIB
We prove a family of new identities fulfilled by multinomial coefficients, which were conjectured by Dykema and Haagerup. Our method bases on a study of the, so-called, triangular operator T by the means of the free probability theory.
A classification of plane and planar 2-trees
Published in Theorical Computer Science, 307 (2003), 337-363
• View Publication
• BIB
We present new functional equations for the species of plane and of planar (in the sense of Harary and Palmer, 1973) 2-trees and some associated pointed species. We then deduce the explicit molecular expansion of these species, i.e a classification of their structures according to their stabilizers. There result explicit formulas in terms of Catalan numbers for their associated generating series, including the asymmetry index series. This work is closely related to the enumeration of polyene hydrocarbons of molecular formula C_nH_n+2.
Homogeneous multivariate polynomials with the half-plane property
Published in Adv. Appl. Math. 32, 88-187 (2004)
• View Publication
• BIB
A polynomial P in n complex variables is said to have the "half-plane property" (or Hurwitz property) if it is nonvanishing whenever all the variables lie in the open right half-plane. Such polynomials arise in combinatorics, reliability theory, electrical circuit theory and statistical mechanics. A particularly important case is when the polynomial is homogeneous and multiaffine: then it is the (weighted) generating polynomial of an r-uniform set system. We prove that the support (set of nonzero coefficients) of a homogeneous multiaffine polynomial with the half-plane property is necessarily the set of bases of a matroid. Conversely, we ask: For which matroids M does the basis generating polynomial P_{B(M)} have the half-plane property? Not all matroids have the half-plane property, but we find large classes that do: all sixth-root-of-unity matroids, and a subclass of transversal (or cotransversal) matroids that we call "nice". Furthermore, the class of matroids with the half-plane property is closed under minors, duality, direct sums, 2-sums, series and parallel connection, full-rank matroid union, and some special cases of principal truncation, principal extension, principal cotruncation and principal coextension. Our positive results depend on two distinct (and apparently unrelated) methods for constructing polynomials with the half-plane property: a determinant construction (exploiting "energy" arguments), and a permanent construction (exploiting the Heilmann-Lieb theorem on matching polynomials). We conclude with a list of open questions.
Polytopal realizations of generalized associahedra
Published
• View Publication
• BIB
In hep-th/0111053, a complete simplicial fan was associated to an arbitrary finite root system. It was conjectured that this fan is the normal fan of a simple convex polytope (a generalized associahedron of the corresponding type). Here we prove this conjecture by explicitly exhibiting a family of such polytopal realizations.
Permutations containing a pattern exactly once and avoiding at least two patterns of three letters
In this paper, we find an explicit formulas, or recurrences, in terms of generating functions for the cardinalities of the sets $S_n(T;τ)$ of all permutations in $S_n$ that contain $τ\in S_k$ exactly once and avoid a subset $T\subseteq S_3$, $|T|\geq2$. The main body of the paper is divided into three sections corresponding to the cases $|T|=2,3$ and $|T|\geq4$.
Qualitative Visualization of Distance Information
Different types of two- and three-dimensional representations of a finite metric space are studied that focus on the accurate representation of the linear order among the distances rather than their actual values. Lower and upper bounds for representability probabilities are produced by experiments including random generation, a rubber-band algorithm for accuracy optimization, and automatic proof generation. It is proved that both farthest neighbour representations and cluster tree representations always exist in the plane. Moreover, a measure of order accuracy is introduced, and some lower bound on the possible accuracy is proved using some clustering method and a result on maximal cuts in graphs.
Recursion relations for Unitary integrals, Combinatorics and the Toeplitz Lattice
Published
• View Publication
• BIB
The Toeplitz determinants (of increasing size) associated with the symbols $exp{t(z+z^{-1})}$ or $(1-ξ{z})^α (1-ξ{z^{-1}})^β$ satisfy recursion relations, thus expressing all the Toeplitz determinants as a rational function of the first few determinants. A. Borodin found these relations using Riemann-Hilbert methods.
The nature of Borodin's relations pointed towards the Toeplitz lattice and its Virasoro algebra, as developed by the authors. In this paper, we take the Toeplitz and Virasoro approach for a fairly large class of symbols, leading to a systematic and simple way of generating such recursion relations.
The latter are very naturally expressed in terms of the $L$-matrices appearing in the Lax pair for the Toeplitz lattice equations. As a surprise, we find, compared to Borodin's, a different set of relations, except for the 3-step relations associated with the symbol $ e^{t(z+z^{-1})}$. Moreover, these recursion relations define an invariant manifold for the Toeplitz lattice. This leads to a "discrete Painlevé property" (singularity confinement) for the rational recursion relations, as a consequence of the classical ``continuous Painlevé property" for the Toeplitz lattice.
The elementary polynomials in noncommuting variables
We study the ring generated over a field of characteristic 0 by noncommuting indeterminates {x_1,x_2,...,x_n} subject only to the relations x_iσ_k=σ_k x_i, for i,k=1,2,...,n, and their consequences, where σ_k =σ_k(x_1,x_2,...,x_n) is the k-th elementary polynomial in the noncommuting variables x_i. We assume n\geq 3 throughout.
Social Choice Under Incomplete, Cyclic Preferences
Actual individual preferences are neither complete (=total) nor antisymmetric in general, so that at least every quasi-order must be an admissible input to a satisfactory choice rule. It is argued that the traditional notion of ``indifference'' in individual preferences is misleading and should be replaced by `equivalence' and `undecidedness'. In this context, ten types of majority and minority arguments of different strength are studied which lead to social choice rules that accept profiles of arbitrary reflexive relations. These rules are discussed by means of many familiar, and some new conditions, including `immunity from binary arguments'. Moreover, it is proved that every choice function satisfying two weak Condorcet-type conditions can be made both composition-consistent and idempotent, and that all the proposed rules have polynomial time complexity.
Combinatorics of Rooted Trees and Hopf Algebras
Published in Trans. AMS 355 (2003), 3795-3811
• View Publication
• BIB
We begin by considering the graded vector space with a basis consisting of rooted trees, graded by the count of non-root vertices. We define two linear operators on this vector space, the growth and pruning operators, which respectively raise and lower grading; their commutator is the operator that multiplies a rooted tree by its number of vertices. We define an inner product with respect to which the growth and pruning operators are adjoint, and obtain several results about the multiplicities associated with each operator.
The symmetric algebra on the vector space of rooted trees (after a degree shift) can be endowed with a coproduct to make a Hopf algebra; this was defined by Kreimer in connection with renormalization. We extend the growth and pruning operators, as well as the inner product mentioned above, to Kreimer's Hopf algebra. On the other hand, the vector space of rooted trees itself can be given a noncommutative multiplication: with an appropriate coproduct, this gives the Hopf algebra of Grossman and Larson. We show the inner product on rooted trees leads to an isomorphism of the Grossman-Larson Hopf algebra with the graded dual of Kreimer's Hopf algebra, correcting an earlier result of Panaite.
The kernel of the adjacency matrix of a rectangular mesh
Published
• View Publication
• BIB
Given an m x n rectangular mesh, its adjacency matrix A, having only integer entries, may be interpreted as a map between vector spaces over an arbitrary field K. We describe the kernel of A: it is a direct sum of two natural subspaces whose dimensions are equal to $\lceil c/2 \rceil$ and $\lfloor c/2 \rfloor$, where c = gcd (m+1,n+1) - 1. We show that there are bases to both vector spaces, with entries equal to 0, 1 and -1. When K = Z/(2), the kernel elements of these subspaces are described by rectangular tilings of a special kind. As a corollary, we count the number of tilings of a rectangle of integer sides with a specified set of tiles.
Diagonal bases in Orlik-Solomon type algebras
Published
• View Publication
• BIB
To encode an important property of the "no broken circuit bases" of the Orlik-Solomon-Terao algebras, Andras Szenes has introduced a particular type of bases, the so called "diagonal basis". We prove that this definition extends naturally to a large class of algebras, the so called chi-algebras. Our definitions make also use of an "iterative residue formula" based on the matroidal operation of contraction. This formula can be seen as the combinatorial analogue of an iterative residue formula introduced by Szenes. As an application we deduce nice formulas to express a pure element in a diagonal basis.