Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Hilbert polynomial of the Kimura 3-parameter model
Published
• View Publication
• BIB
Buczyńska and Wiśniewski showed that for the Jukes Cantor binary model of a 3-valent tree the Hilbert polynomial depends only on the number of leaves of the tree and not on its shape. We ask if this can be generalized to other group-based models. In this paper we consider the Kimura 3-parameter model and show that the generalization of the statement about the Hilbert polynomials to the Kimura 3-parameter model is not possible as the Hilbert polynomial depends on the shape of a 3-valent tree.
Discrete Morse Theory for Manifolds with Boundary
Published
• View Publication
• BIB
We introduce a version of discrete Morse theory specific for manifolds with boundary. The idea is to consider Morse functions for which all boundary cells are critical. We obtain "Relative Morse Inequalities" relating the homology of the manifold to the number of interior critical cells. We also derive a Ball Theorem, in analogy to Forman's Sphere Theorem. The main corollaries of our work are:
-- For each d \ge 3 and for each k \ge 0, there is a PL d-sphere on which any discrete Morse function has more than k critical (d-1)-cells. (This solves a problem by Chari.)
-- For fixed d and k, there are exponentially many combinatorial types of simplicial d-manifolds (counted with respect to the number of facets) that admit discrete Morse functions with at most k critical interior (d-1)-cells. (This connects discrete Morse theory to enumerative combinatorics/discrete quantum gravity.)
-- The barycentric subdivision of any constructible d-ball is collapsible. (This "almost" solves a problem by Hachimori.)
-- Every constructible ball collapses onto its boundary minus a facet. (This improves a result by the author and Ziegler.)
-- Any 3-ball with a knotted spanning edge cannot collapse onto its boundary minus a facet. (This strengthens a classical result by Bing and a recent result by the author and Ziegler.)
Sobre un contraejemplo a la conjetura de Hirsch
Published in La Gaceta de la RSME, Vol. 13 (2010), Num. 3, 525-538
• Search Publication
This is an expository paper (in Spanish) describing the origin and history of the Hirsch Conjecture about the maximum diameter of graphs of polytopes, and the ideas that led to the counter-example to it recently announced by the author in arxiv:1006.2814
When does the K_4-free process stop?
Published in Random Structures and Algorithms 44 (2014), 355-397
• View Publication
• BIB
The K_4-free process starts with the empty graph on n vertices and at each step adds a new edge chosen uniformly at random from all remaining edges that do not complete a copy of K_4. Let G be the random maximal K_4-free graph obtained at the end of the process. We show that for some positive constant C, with high probability as $n \to \infty$, the maximum degree in G is at most $C n^{3/5}\sqrt[5]{\log n}$. This resolves a conjecture of Bohman and Keevash for the K_4-free process and improves on previous bounds obtained by Bollobás and Riordan and by Osthus and Taraz. Combined with results of Bohman and Keevash this shows that with high probability G has $Θ(n^{8/5}\sqrt[5]{\log n})$ edges and is `nearly regular', i.e., every vertex has degree $Θ(n^{3/5}\sqrt[5]{\log n})$. This answers a question of Erdős, Suen and Winkler for the K_4-free process. We furthermore deduce an additional structural property: we show that whp the independence number of G is at least $Ω(n^{2/5}(\log n)^{4/5}/\log \log n)$, which matches an upper bound obtained by Bohman up to a factor of $Θ(\log \log n)$. Our analysis of the K_4-free process also yields a new result in Ramsey theory: for a special case of a well-studied function introduced by Erdős and Rogers we slightly improve the best known upper bound.
Invariant semidefinite programs
Published
• View Publication
• BIB
In the last years many results in the area of semidefinite programming were obtained for invariant (finite dimensional, or infinite dimensional) semidefinite programs - SDPs which have symmetry. This was done for a variety of problems and applications. The purpose of this handbook chapter is to give the reader the necessary background for dealing with semidefinite programs which have symmetry. Here the basic theory is given and it is illustrated in applications from coding theory, combinatorics, geometry, and polynomial optimization.
Set families and Foulkes modules
Published in Journal of Algebraic Combinatorics 34 (2011) 525-544
• View Publication
• BIB
We construct a new family of homomorphisms from Specht modules into Foulkes modules for the symmetric group. These homomorphisms are used to give a combinatorial description of the minimal partitions (in the dominance order) which label irreducible characters appearing as summands of the characters of Foulkes modules. The homomorphisms are defined using certain families of subsets of the natural numbers. These families are of independent interest; we prove a number of combinatorial results concerning them.
An Improved Upper Bound for the Sum-free Subset Constant
We show that the optimal constant in Erdös' sum-free subset theorem cannot be larger than $11/28 \approx .393$.
Critical exponent of infinite words coding beta-integers associated with non-simple Parry numbers
Published in Integers - Electronic Journal of Combinatorial Number Theory 11B (2011), 1-25
• Search Publication
In this paper, we study the critical exponent of infinite words $\ubeta$ coding $β$-integers for $β$ being a~non-simple Parry number. In other words, we investigate the maximal consecutive repetitions of factors that occur in the infinite word in question. We calculate also the ultimate critical exponent that expresses how long repetitions occur in the infinite word $\ubeta$ when the factors of length growing ad infinitum are considered. The basic ingredients of our method are the description of all bispecial factors of $\ubeta$ and the notion of return words. This method can be applied to any fixed point of any primitive substitution.
Les tournois (-1)-critiques
Given a tournament T=(V,A), a subset X of V is an interval of T provided that for any a, b\in X and x\in V-X, (a,x) \in A if and only if (b,x)\in A. For example, \emptyset, \{x\} (x\in V) and V are intervals of T, called trivial intervals. A tournament, all the intervals of which are trivial, is indecomposable; otherwise, it is decomposable. A vertex x of an indecomposable tournament is critical if T-x is decomposable. In 1993, J.H. Schmerl and W.T. Trotter characterized the tournaments, all the vertices of which are critical, called critical tournaments. The cardinality of these tournaments is odd. Given an odd integer m \geq 5, there exist three critical tournaments of cardinality . and there are exactly three critical tournaments for each such a cardinality. In this article, we characterize the tournaments which admit a single non critical vertex, that we call (-1)-critical tournaments. The cardinality of these tournaments is odd. Given an odd integer m \geq 7, there exist 3m-15 (-1)-critical tournaments of cardinality m.
Poset pinball, GKM-compatible subspaces, and Hessenberg varieties
Published
• View Publication
• BIB
This paper has three main goals. First, we set up a general framework to address the problem of constructing module bases for the equivariant cohomology of certain subspaces of GKM spaces. To this end we introduce the notion of a GKM-compatible subspace of an ambient GKM space. We also discuss poset-upper-triangularity, a key combinatorial notion in both GKM theory and more generally in localization theory in equivariant cohomology. With a view toward other applications, we present parts of our setup in a general algebraic and combinatorial framework. Second, motivated by our central problem of building module bases, we introduce a combinatorial game which we dub poset pinball and illustrate with several examples. Finally, as first applications, we apply the perspective of GKM-compatible subspaces and poset pinball to construct explicit and computationally convenient module bases for the $S^1$-equivariant cohomology of all Peterson varieties of classical Lie type, and subregular Springer varieties of Lie type $A$. In addition, in the Springer case we use our module basis to lift the classical Springer representation on the ordinary cohomology of subregular Springer varieties to $S^1$-equivariant cohomology in Lie type $A$.
Refined Gelfand models for wreath products
Published
• View Publication
• BIB
In [F. Caselli, Involutory reflection groups and their models, J. Algebra 24 (2010), 370--393] it is constructed a uniform Gelfand model for all non-exceptional irreducible complex reflection groups which are involutory. This model can be naturally decomposed into the direct sum of submodules indexed by symmetric conjugacy classes, and in this paper we present a simple combinatorial description of the irreducible decomposition of these submodules if the group is the wreath product of a cyclic group with a symmetric group. This is attained by showing that such decomposition is compatible with the generalized Robinson-Schensted correspondence for these groups.
Large convexly independent subsets of Minkowski sums
Published in Electronic Journal of Combinatorics 17 (2010), #R146
• View Publication
• BIB
Let $E_d(n)$ be the maximum number of pairs that can be selected from a set of $n$ points in $R^d$ such that the midpoints of these pairs are convexly independent. We show that $E_2(n)\geq Ω(n\sqrt{\log n})$, which answers a question of Eisenbrand, Pach, Rothvoß, and Sopher (2008) on large convexly independent subsets in Minkowski sums of finite planar sets, as well as a question of Halman, Onn, and Rothblum (2007). We also show that $\lfloor\frac{1}{3}n^2\rfloor\leq E_3(n)\leq \frac{3}{8}n^2+O(n^{3/2})$.
Let $W_d(n)$ be the maximum number of pairwise nonparallel unit distance pairs in a set of $n$ points in some $d$-dimensional strictly convex normed space. We show that $W_2(n)=Θ(E_2(n))$ and for $d\geq 3$ that $W_d(n)\sim\frac12\left(1-\frac{1}{a(d)}\right)n^2$, where $a(d)\in N$ is related to strictly antipodal families. In fact we show that the same asymptotics hold without the requirement that the unit distance pairs form pairwise nonparallel segments, and also if diameter pairs are considered instead of unit distance pairs.
The Number System of the Permutations Generated by Cyclic Shift
A number system coding for the permutations generated by cyclic shift is described. The system allows to find the rank of a permutation given how it has been generated, and to determine a permutation given its rank. It defines a code describing the symmetry properties of the set of permutations generated by cyclic shift. This code is conjectured to be a combinatorial Gray code listing the set of permutations: this corresponds to an Hamiltonian path of minimal weight in an appropriate regular digraph.
Stanley symmetric functions and Peterson algebras
Published
• View Publication
• BIB
These are (mostly) expository notes for lectures on affine Stanley symmetric functions given at the Fields Institute in 2010. We focus on the algebraic and combinatorial parts of the theory. The notes contain a number of exercises and open problems.
Riemann-Roch for Sub-Lattices of the Root Lattice $A_n$
Published
• View Publication
• BIB
Recently, Baker and Norine {Advances in Mathematics, 215(2): 766-788, 2007} found new analogies between graphs and Riemann surfaces by developing a Riemann-Roch machinery on a finite graph $G$. In this paper, we develop a general Riemann-Roch Theory for sub-lattices of the root lattice $A_n$ by following the work of Baker and Norine, and establish connections between the Riemann-Roch theory and the Voronoi diagrams of lattices under certain simplicial distance functions. In this way, we rediscover the work of Baker and Norine from a geometric point of view and generalise their results to other sub-lattices of $A_n$. In particular, we provide a geometric approach for the study of the Laplacian of graphs. We also discuss some problems on classification of lattices with a Riemann-Roch formula as well as some related algorithmic issues.
Lattice of integer flows and poset of strongly connected orientations
We show that the Voronoi cells of the lattice of integer flows of a finite connected graph $G$ in the quadratic vector space of real valued flows have the following very precise combinatorics: the face poset of a Voronoi cell is isomorphic to the poset of strongly connected orientations of subgraphs of $G$. This confirms a conjecture of Caporaso and Viviani {Torelli Theorem For Graphs and Tropical Curves, Duke Math. J. 153(1) (2010), 129-171}.
Laplacian spectral characterization of some graph products
Published in Linear Algebra and its Applications 437 (2012) 1749-1759
• View Publication
• BIB
This paper studies the Laplacian spectral characterization of some graph products. We consider a class of connected graphs: $\mathscr{G}={G : |EG|\leq|VG|+1}$, and characterize all graphs $G\in\mathscr{G}$ such that the products $G\times K_m$ are $L$-DS graphs. The main result of this paper states that, if $G\in\mathscr{G}$, except for $C_{6}$ and $Θ_{3,2,5}$, is $L$-DS graph, so is the product $G\times K_{m}$. In addition, the $L$-cospectral graphs with $C_{6}\times K_{m}$ and $Θ_{3,2,5}\times K_{m}$ have been found.
On the Lucky labeling of Graphs
Suppose the vertices of a graph $G$ were labeled arbitrarily by positive integers, and let $Sum(v)$ denote the sum of labels over all neighbors of vertex $v$. A labeling is lucky if the function $Sum$ is a proper coloring of $G$, that is, if we have $Sum(u) \neq Sum(v)$ whenever $u$ and $v$ are adjacent. The least integer $k$ for which a graph $G$ has a lucky labeling from the set $\lbrace 1, 2, ...,k\rbrace$ is the lucky number of $G$, denoted by $η(G)$. We will prove, for every graph $G$ other than $ K_{2} $, $\frac{w}{n-w+1}\leqη(G) \leq Δ^{2} $ and we present an algorithm for lucky labeling of $ G $.
Schnyder decompositions for regular plane graphs and application to drawing
Published in Algorithmica 62 (2012) pp 1159-1197
• View Publication
• BIB
Schnyder woods are decompositions of simple triangulations into three edge-disjoint spanning trees crossing each other in a specific way. In this article, we define a generalization of Schnyder woods to $d$-angulations (plane graphs with faces of degree $d$) for all $d\geq 3$. A \emph{Schnyder decomposition} is a set of $d$ spanning forests crossing each other in a specific way, and such that each internal edge is part of exactly $d-2$ of the spanning forests. We show that a Schnyder decomposition exists if and only if the girth of the $d$-angulation is $d$. As in the case of Schnyder woods ($d=3$), there are alternative formulations in terms of orientations ("fractional" orientations when $d\geq 5$) and in terms of corner-labellings. Moreover, the set of Schnyder decompositions on a fixed $d$-angulation of girth $d$ is a distributive lattice. We also show that the structures dual to Schnyder decompositions (on $d$-regular plane graphs of mincut $d$ rooted at a vertex $v^*$) are decompositions into $d$ spanning trees rooted at $v^*$ such that each edge not incident to $v^*$ is used in opposite directions by two trees. Additionally, for even values of $d$, we show that a subclass of Schnyder decompositions, which are called even, enjoy additional properties that yield a reduced formulation; in the case d=4, these correspond to well-studied structures on simple quadrangulations (2-orientations and partitions into 2 spanning trees). In the case d=4, the dual of even Schnyder decompositions yields (planar) orthogonal and straight-line drawing algorithms. For a 4-regular plane graph $G$ of mincut 4 with $n$ vertices plus a marked vertex $v$, the vertices of $G\backslash v$ are placed on a $(n-1) \times (n-1)$ grid according to a permutation pattern, and in the orthogonal drawing each of the $2n-2$ edges of $G\backslash v$ has exactly one bend. Embedding also the marked vertex $v$ is doable at the cost of two additional rows and columns and 8 additional bends for the 4 edges incident to $v$. We propose a further compaction step for the drawing algorithm and show that the obtained grid-size is strongly concentrated around $25n/32\times 25n/32$ for a uniformly random instance with $n$ vertices.
Classification of generalized Hadamard matrices H(6,3) and quaternary Hermitian self-dual codes of length 18
Published in Electronic J. Combin. 17 (2010), R171
• View Publication
• BIB
All generalized Hadamard matrices of order 18 over a group of order 3, H(6,3), are enumerated in two different ways: once, as class regular symmetric (6,3)-nets, or symmetric transversal designs on 54 points and 54 blocks with a group of order 3 acting semi-regularly on points and blocks, and secondly, as collections of full weight vectors in quaternary Hermitian self-dual codes of length 18. The second enumeration is based on the classification of Hermitian self-dual [18,9] codes over GF(4), completed in this paper. It is shown that up to monomial equivalence, there are 85 generalized Hadamard matrices H(6,3), and 245 inequivalent Hermitian self-dual codes of length 18 over GF(4).