Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Partition properties of the dense local order and a colored version of Milliken's theorem
Published in Combinatorica, 30 (1), 83-104, 2010
• View Publication
• BIB
We study the finite dimensional partition properties of the countable homogeneous dense local order. Some of our results use ideas borrowed from the partition calculus of the rationals and are obtained thanks to a strengthening of Milliken's theorem on trees.
A State Sum Link Invariant of Regular Isotopy
This paper has been withdrawn because there is a fundamental error in the computations; with the right computational scheme it seems to be just a version of the Jones polynomial
Lower bounds on the coefficients of Ehrhart polynomials
Published
• View Publication
• BIB
We present lower bounds for the coefficients of Ehrhart polynomials of convex lattice polytopes in terms of their volume. Concerning the coefficients of the Ehrhart series of a lattice polytope we show that Hibi's lower bound is not true for lattice polytopes without interior lattice points. The counterexample is based on a formula of the Ehrhart series of the join of two lattice polytope. We also present a formula for calculating the Ehrhart series of integral dilates of a polytope.
The Kontsevich weight of a wheel with spokes pointing outward
Published
• View Publication
• BIB
This is a companion note to ``Hochschild cohomology and Atiyah classes'' by Damien Calaque and the author. Using elementary methods we compute the Kontsevich weight of a wheel with spokes pointing outward. The result is in terms of modified Bernouilli numbers. The same result had been obtained earlier by Torossian (unpublished) and also recently by Thomas Willmacher using more advanced methods.
Two positivity conjectures for Kerov polynomials
Published in Advances in Applied Mathematics, 41 (2008), 407-422
• View Publication
• BIB
Kerov polynomials express the normalized characters of irreducible representations of the symmetric group, evaluated on a cycle, as polynomials in the free cumulants of the associated Young diagram. We present two positivity conjectures for their coefficients. The latter are stronger than the positivity conjecture of Kerov-Biane, recently proved by Feray.
Overhang
Published
• View Publication
• BIB
How far off the edge of the table can we reach by stacking $n$ identical, homogeneous, frictionless blocks of length 1? A classical solution achieves an overhang of $1/2 H_n$, where $H_n ~ \ln n$ is the $n$th harmonic number. This solution is widely believed to be optimal. We show, however, that it is, in fact, exponentially far from optimality by constructing simple $n$-block stacks that achieve an overhang of $c n^{1/3}$, for some constant $c>0$.
Construction and Analysis of Projected Deformed Products
Published in Discrete Comput. Geom. 43 (2010), no. 2, 412-435
• View Publication
• BIB
We introduce a deformed product construction for simple polytopes in terms of lower-triangular block matrix representations. We further show how Gale duality can be employed for the construction and for the analysis of deformed products such that specified faces (e.g. all the k-faces) are ``strictly preserved'' under projection. Thus, starting from an arbitrary neighborly simplicial (d-2)-polytope Q on n-1 vertices we construct a deformed n-cube, whose projection to the last dcoordinates yields a neighborly cubical d-polytope. As an extension of thecubical case, we construct matrix representations of deformed products of(even) polygons (DPPs), which have a projection to d-space that retains the complete (\lfloor \tfrac{d}{2} \rfloor - 1)-skeleton. In both cases the combinatorial structure of the images under projection is completely determined by the neighborly polytope Q: Our analysis provides explicit combinatorial descriptions. This yields a multitude of combinatorially different neighborly cubical polytopes and DPPs. As a special case, we obtain simplified descriptions of the neighborly cubical polytopes of Joswig & Ziegler (2000) as well as of the ``projected deformed products of polygons'' that were announced by Ziegler (2004), a family of 4-polytopes whose ``fatness'' gets arbitrarily close to 9.
Edge Local Complementation and Equivalence of Binary Linear Codes
Published in Des. Codes Cryptogr. 49(1-3), 161-170, 2008
• View Publication
• BIB
Orbits of graphs under the operation edge local complementation (ELC) are defined. We show that the ELC orbit of a bipartite graph corresponds to the equivalence class of a binary linear code. The information sets and the minimum distance of a code can be derived from the corresponding ELC orbit. By extending earlier results on local complementation (LC) orbits, we classify the ELC orbits of all graphs on up to 12 vertices. We also give a new method for classifying binary linear codes, with running time comparable to the best known algorithm.
Complexity of some Path Problems in DAGs and Linear Orders
We investigate here the computational complexity of three natural problems in directed acyclic graphs. We prove their NP Completeness and consider their restrictions to linear orders.
Unit Rectangle Visibility Graphs
Published
• View Publication
• BIB
Over the past twenty years, rectangle visibility graphs have generated considerable interest, in part due to their applicability to VLSI chip design. Here we study unit rectangle visibility graphs, with fixed dimension restrictions more closely modeling the constrained dimensions of gates and other circuit components in computer chip applications. A graph $G$ is a unit rectangle visibility graph (URVG) if its vertices can be represented by closed unit squares in the plane with sides parallel to the axes and pairwise disjoint interiors, in such a way that two vertices are adjacent if and only if there is a non-degenerate horizontal or vertical band of visibility joining the two rectangles. Our results include necessary and sufficient conditions for $K_n$, $K_{m,n}$, and trees to be URVGs, as well as a number of general edge bounds.
The Singular Locus of the Theta Divisor and Quadrics through a Canonical Curve
A section K on a genus g canonical curve C is identified as the key tool to prove new results on the geometry of the singular locus Theta_s of the theta divisor. The K divisor is characterized by the condition of linear dependence of a set of quadrics containing C and naturally associated to a degree g effective divisor on C. K counts the number of intersections of special varieties on the Jacobian torus defined in terms of Theta_s. It also identifies sections of line bundles on the moduli space of algebraic curves, closely related to the Mumford isomorphism, whose zero loci characterize special varieties in the framework of the Andreotti-Mayer approach to the Schottky problem, a result which also reproduces the only previously known case g=4. This new approach, based on the combinatorics of determinantal relations for two-fold products of holomorphic abelian differentials, sheds light on basic structures, and leads to the explicit expressions, in terms of theta functions, of the canonical basis of the abelian holomorphic differentials and of the constant defining the Mumford form. Furthermore, the metric on the moduli space of canonical curves, induced by the Siegel metric, which is shown to be equivalent to the Kodaira-Spencer map of the square of the Bergman reproducing kernel, is explicitly expressed in terms of the Riemann period matrix only, a result previously known for the trivial cases g=2 and g=3. Finally, the induced Siegel volume form is expressed in terms of the Mumford form.
Vertex Percolation on Expander Graphs
Published in European Journal of Combinatorics, 30(2), pp. 339-350, 2009
• View Publication
• BIB
We say that a graph $G=(V,E)$ on $n$ vertices is a $β$-expander for some constant $β>0$ if every $U\subseteq V$ of cardinality $|U|\leq \frac{n}{2}$ satisfies $|N_G(U)|\geq β|U|$ where $N_G(U)$ denotes the neighborhood of $U$. In this work we explore the process of deleting vertices of a $β$-expander independently at random with probability $n^{-α}$ for some constant $α>0$, and study the properties of the resulting graph. Our main result states that as $n$ tends to infinity, the deletion process performed on a $β$-expander graph of bounded degree will result with high probability in a graph composed of a giant component containing $n-o(n)$ vertices that is in itself an expander graph, and constant size components. We proceed by applying the main result to expander graphs with a positive spectral gap. In the particular case of $(n,d,λ)$-graphs, that are such expanders, we compute the values of $α$, under additional constraints on the graph, for which with high probability the resulting graph will stay connected, or will be composed of a giant component and isolated vertices. As a graph sampled from the uniform probability space of $d$-regular graphs with high probability is an expander and meets the additional constraints, this result strengthens a recent result due to Greenhill, Holt and Wormald about vertex percolation on random $d$-regular graphs. We conclude by showing that performing the above described deletion process on graphs that expand sub-linear sets by an unbounded expansion ratio, with high probability results in a connected expander graph.
Comment on the article arXiv 0710.0349 by Chapoton et al. titled ``An operational calculus for the Mould operad''
This paper has been withdrawn.
The number of cliques in graphs of given order and size
Published
• View Publication
• BIB
Let k_r(n,m) denote the minimum number of r-cliques in graphs with n vertices and m edges. For r=3,4 we give a lower bound on k_r(n,m) that approximates k_r(n,m) with an error smaller than n^r/(n^2-2m). The solution is based on a constraint minimization of certain multilinear forms. In our proof, a combinatorial strategy is coupled with extensive analytical arguments.
Ramsey degrees of finite ultrametric spaces, ultrametric Urysohn spaces and dynamics of their isometry groups
Published in European J. Combin., 30, 934-945, 2009
• Search Publication
We study Ramsey-theoretic properties of several natural classes of finite ultrametric spaces, describe the corresponding Urysohn spaces and compute a dynamical invariant attached to their isometry groups.
Big Ramsey degrees and divisibility in classes of ultrametric spaces
Published in Can. Math. Bull. 51 (2008) 413-423
• View Publication
• BIB
Given a countable set S of positive reals, we study finite-dimensional Ramsey-theoretic properties of the countable ultrametric Urysohn space with distances in S.
Cyclotomic FFTs with Reduced Additive Complexities Based on a Novel Common Subexpression Elimination Algorithm
Published
• View Publication
• BIB
In this paper, we first propose a novel common subexpression elimination (CSE) algorithm for matrix-vector multiplications over characteristic-2 fields. As opposed to previously proposed CSE algorithms, which usually focus on complexity savings due to recurrences of subexpressions, our CSE algorithm achieves two types of complexity reductions, differential savings and recurrence savings, by taking advantage of the cancelation property of characteristic-2 fields. Using our CSE algorithm, we reduce the additive complexities of cyclotomic fast Fourier transforms (CFFTs). Using a weighted sum of the numbers of multiplications and additions as a metric, our CFFTs achieve smaller total complexities than previously proposed CFFTs and other FFTs, requiring both fewer multiplications and fewer additions in many cases.
Oriented matroids and Ky Fan's theorem
L. Lovasz has shown that Sperner's combinatorial lemma admits a generalization involving a matroid defined on the set of vertices of the associated triangulation. Inspired by this result we prove that classical Ky Fan's theorem admits an oriented matroid generalization of similar nature. Ky Fan's theorem is obtained as a corollary if the underlying oriented matroid is chosen to be the alternating matroid C^{m,r} .
Higher string functions, higher-level Appell functions, and the logarithmic ^sl(2)_k/u(1) CFT model
Published in Commun.Math.Phys.286:559-592,2009
• View Publication
• BIB
We generalize the string functions C_{n,r}(tau) associated with the coset ^sl(2)_k/u(1) to higher string functions A_{n,r}(tau) and B_{n,r}(tau) associated with the coset W(k)/u(1) of the W-algebra of the logarithmically extended ^sl(2)_k conformal field model with positive integer k. The higher string functions occur in decomposing W(k) characters with respect to level-k theta and Appell functions and their derivatives (the characters are neither quasiperiodic nor holomorphic, and therefore cannot decompose with respect to only theta-functions). The decomposition coefficients, to be considered ``logarithmic parafermionic characters,'' are given by A_{n,r}(tau), B_{n,r}(tau), C_{n,r}(tau), and by the triplet \mathscr{W}(p)-algebra characters of the (p=k+2,1) logarithmic model. We study the properties of A_{n,r} and B_{n,r}, which nontrivially generalize those of the classic string functions C_{n,r}, and evaluate the modular group representation generated from A_{n,r}(tau) and B_{n,r}(tau); its structure inherits some features of modular transformations of the higher-level Appell functions and the associated transcendental function Phi.
A Unified Spiral Chain Coloring Algorithm for Planar Graphs
In this paper we have given a unified graph coloring algorithm for planar graphs. The problems that have been considered in this context respectively, are vertex, edge, total and entire colorings of the planar graphs. The main tool in the coloring algorithm is the use of spiral chain which has been used in the non-computer proof of the four color theorem in 2004. A more precies explanation of the proof of the four color theorem by spiral chain coloring is also given in this paper. Then we continue to spiral-chain coloring solutions by giving the proof of other famous conjectures of Vizing's total coloring and planar graph conjectures of maximum vertex degree six. We have also given the proof of a conjecture of Kronk and Mitchem that any plane graph of maximum degree "Delta" is entirely ("Delta"+4)-colorable.The last part of the paper deals with the three colorability of planar graphs under the spiral chain coloring. We have given an efficient and short proof of the Groetzsch's Theorem that triangle-free planar graphs are 3-colorable.