Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Some Algorithmic Problems in Polytope Theory
Published
• View Publication
• BIB
This is a survey on algorithmic questions about combinatorial and geometric properties of convex polytopes. We give a list of 35 problems; for each the current state of knowledege on its theoretical complexity status is reported. The problems are grouped into the sections ``Coordinate Descriptions'', ``Combinatorial Structure'', ``Isomorphism'', ``Optimization'', ``Realizability'', and ``Beyond Polytopes''.
Growth of self-similar graphs
Locally finite self-similar graphs with bounded geometry and without bounded geometry as well as non-locally finite self-similar graphs are characterized by the structure of their cell graphs. Geometric properties concerning the volume growth and distances in cell graphs are discussed. The length scaling factor $ν$ and the volume scaling factor $μ$ can be defined similarly to the corresponding parameters of continuous self-similar sets. There are different notions of growth dimensions of graphs. For a rather general class of self-similar graphs it is proved that all these dimensions coincide and that they can be calculated in the same way as the Hausdorff dimension of continuous self-similar fractals: \[\dim X=\frac{\log μ}{\log ν}.\]
Green functions on self-similar graphs and bounds for the spectrum of the Laplacian
Combining the study of the simple random walk on graphs, generating functions (especially Green functions), complex dynamics and general complex analysis we introduce a new method of spectral analysis on self-similar graphs.
We give an axiomatic definition of self-similar graphs which correspond to general nested but not necessarily finitely ramified fractals. For this class of graphs a graph theoretic analogue to the Banach fixed point theorem is proved.
Functional equations and a decomposition algorithm for the Green functions of self-similar graphs with some more symmetric structure are obtained. Their analytic continuations are given by rapidly converging expressions. We study the dynamics of a certain complex rational Green function $d$ on finite directed subgraphs. If the Julia set $\cj$ of $d$ is a Cantor set, then the reciprocal spectrum $\spec^{-1}P=\{1/z\mid z\in\spec P\}$ of the Markov transition operator $P$ can be identified with the set of singularities of any Green function of the whole graph. Finally we get explicit upper and lower bounds for the reciprocal spectrum, where $\cd$ is a countable set of the $d$-backwards iterates of a certain finite set of real numbers.
Rational solutions to the Pfaff lattice and Jack polynomials
Published
• View Publication
• BIB
The finite Pfaff lattice is given by commuting Lax pairs involving a finite matrix L (zero above the first subdiagonal) and a projection onto Sp(N). The lattice admits solutions such that the entries of the matrix L are rational in the time parameters t_1,t_2,..., after conjugation by a diagonal matrix. The sequence of polynomial tau-functions, solving the problem, belongs to an intriguing chain of subspaces of Schur polynomials, associated to Young diagrams, dual with respect to a finite chain of rectangles. Also, this sequence of tau-functions is given inductively by the action of a fixed vertex operator.
As examples, one such sequence is given by Jack polynomials for rectangular Young diagrams, while another chain starts with any two-column Jack polynomial.
Vicious walkers, friendly walkers and Young tableaux III: Between two walls
Published in J. Statist. Phys. 110 (2003), 1069-1086.
• View Publication
• BIB
We derive exact and asymptotic results for the number of star and watermelon configurations of vicious walkers confined to lie between two impenetrable walls, as well as for the analogous problem for $\infty$-friendly walkers. Our proofs make use of results from symmetric function theory and the theory of basic hypergeometric series.
Unique representation bases for the integers
Published in Acta Arithmetica 108:1 (2003), 1-8.
• View Publication
• BIB
Arbitrarily sparse sets A of integers are constructed with the property that every integer can be represented uniquely in the form n = a + a', where a and a' belong to the set A and a < a' or a = a'. Some related open problems are stated.
Reconstructing a Simple Polytope from its Graph
Published
• View Publication
• BIB
Blind and Mani (1987) proved that the entire combinatorial structure (the vertex-facet incidences) of a simple convex polytope is determined by its abstract graph. Their proof is not constructive. Kalai (1988) found a short, elegant, and algorithmic proof of that result. However, his algorithm has always exponential running time. We show that the problem to reconstruct the vertex-facet incidences of a simple polytope P from its graph can be formulated as a combinatorial optimization problem that is strongly dual to the problem of finding an abstract objective function on P (i.e., a shelling order of the facets of the dual polytope of P). Thereby, we derive polynomial certificates for both the vertex-facet incidences as well as for the abstract objective functions in terms of the graph of P. The paper is a variation on joint work with Michael Joswig and Friederike Koerner (2001).
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$.