Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Symmetry in semidefinite programs
Published in Linear Algebra and Appl. 430 (2009), 360-369
• View Publication
• BIB
This paper is a tutorial in a general and explicit procedure to simplify semidefinite programs which are invariant under the action of a symmetry group. The procedure is based on basic notions of representation theory of finite groups. As an example we derive the block diagonalization of the Terwilliger algebra of the binary Hamming scheme in this framework. Here its connection to the orthogonal Hahn and Krawtchouk polynomials becomes visible.
Smooth models of quiver moduli
Published
• View Publication
• BIB
For any moduli space of stable representations of quivers, certain smooth varieties, compactifying projective space fibrations over the moduli space, are constructed. The boundary of this compactification is analyzed. Explicit formulas for the Betti numbers of the smooth models are derived. In the case of moduli of simple representations, explicit cell decompositions of the smooth models are constructed.
Directed Paths in a Wedge
Published
• View Publication
• BIB
Directed paths have been used extensively in the scientific literature as a model of a linear polymer. Such paths models in particular the conformational entropy of a linear polymer and the effects it has on the free energy. These directed models are simplified versions of the self-avoiding walk, but they do nevertheless give insight into the phase behaviour of a polymer, and also serve as a tool to study the effects of conformational degrees of freedom in the behaviour of a linear polymer. In this paper we examine a directed path model of a linear polymer in a confining geometry (a wedge). The main focus of our attention is $c_n$, the number of directed lattice paths of length $n$ steps which takes steps in the North-East and South-East directions and which is confined to the wedge $Y=\pm X/p$, where $p$ is an integer. In this paper we examine the case $p=2$ in detail, and we determine the generating function using the iterated kernel method. We also examine the asymtotics of $c_n$. In particular, we show that $$ c_n = [0.67874...]\times 2^{n-1}(1+(-1)^n) + O((4/3^{3/4})^{n+o(n)}) + o((4/3^{3/4})^n) $$ where we can determine the constant $0.67874...$ to arbitrary accuracy with little effort.
Coxeter polytopes with a unique pair of non-intersecting facets
Published in J. Combin. Theory A 116 (2009), 875--902
• View Publication
• BIB
We consider compact hyperbolic Coxeter polytopes whose Coxeter diagram contains a unique dotted edge. We prove that such a polytope in d-dimensional hyperbolic space has at most d+3 facets. In view of results of Lannér, Kaplinskaja, Esselmann, and the second author, this implies that compact hyperbolic Coxeter polytopes with a unique pair of non-intersecting facets are completely classified. They do exist only up to dimension 6 and in dimension 8.
On graphs with subgraphs of large independence numbers
Published
• View Publication
• BIB
Let G be a graph on n vertices in which every induced subgraph on s=\log^3 n vertices has an independent set of size at least t=\log n. What is the largest q=q(n) so that every such G must contain an independent set of size at least q ? This is one of several related questions raised by Erdos and Hajnal. We show that q(n)=Θ(\log^2 n/\log \log n), investigate the more general problem obtained by changing the parameters s and t, and discuss the connection to a related Ramsey-type problem.
Embedding nearly-spanning bounded degree trees
Published
• View Publication
• BIB
We derive a sufficient condition for a sparse graph G on n vertices to contain a copy of a tree T of maximum degree at most d on (1-ε)n vertices, in terms of the expansion properties of G. As a result we show that for fixed d\geq 2 and 0<ε<1, there exists a constant c=c(d,ε) such that a random graph G(n,c/n) contains almost surely a copy of every tree T on (1-ε)n vertices with maximum degree at most d. We also prove that if an (n,D,λ)-graph G (i.e., a D-regular graph on n vertices all of whose eigenvalues, except the first one, are at most λin their absolute values) has large enough spectral gap D/λas a function of d and ε, then G has a copy of every tree T as above.
Making a K_4-free graph bipartite
Published
• View Publication
• BIB
We show that every K_4-free graph G with n vertices can be made bipartite by deleting at most n^2/9 edges. Moreover, the only extremal graph which requires deletion of that many edges is a complete 3-partite graph with parts of size n/3. This proves an old conjecture of P. Erdos.
Ramsey numbers and the size of graphs
Published
• View Publication
• BIB
For two graph H and G, the Ramsey number r(H, G) is the smallest positive integer n such that every red-blue edge coloring of the complete graph K_n on n vertices contains either a red copy of H or a blue copy of G. Motivated by questions of Erdos and Harary, in this note we study how the Ramsey number r(K_s, G) depends on the size of the graph G. For s \geq 3, we prove that for every G with m edges, r(K_s,G) \geq c (m/\log m)^{\frac{s+1}{s+3}} for some positive constant c depending only on s. This lower bound improves an earlier result of Erdos, Faudree, Rousseau, and Schelp, and is tight up to a polylogarithmic factor when s=3. We also study the maximum value of r(K_s,G) as a function of m.
Local resilience of graphs
Published
• View Publication
• BIB
In this paper, we initiate a systematic study of graph resilience. The (local) resilience of a graph G with respect to a property P measures how much one has to change G (locally) in order to destroy P. Estimating the resilience leads to many new and challenging problems. Here we focus on random and pseudo-random graphs and prove several sharp results.
Induced Ramsey-type theorems
Published
• View Publication
• BIB
We present a unified approach to proving Ramsey-type theorems for graphs with a forbidden induced subgraph which can be used to extend and improve the earlier results of Rodl, Erdos-Hajnal, Promel-Rodl, Nikiforov, Chung-Graham, and Luczak-Rodl. The proofs are based on a simple lemma (generalizing one by Graham, Rodl, and Rucinski) that can be used as a replacement for Szemeredi's regularity lemma, thereby giving much better bounds. The same approach can be also used to show that pseudo-random graphs have strong induced Ramsey properties. This leads to explicit constructions for upper bounds on various induced Ramsey numbers.
Pruning Processes and a New Characterization of Convex Geometries
Published
• View Publication
• BIB
We provide a new characterization of convex geometries via a multivariate version of an identity that was originally proved by Maneva, Mossel and Wainwright for certain combinatorial objects arising in the context of the k-SAT problem. We thus highlight the connection between various characterizations of convex geometries and a family of removal processes studied in the literature on random structures.
Approximations of Lovasz extensions and their induced interaction index
Published in Discrete Applied Mathematics 156 (1) (2008) 11-24
• View Publication
• BIB
The Lovasz extension of a pseudo-Boolean function $f : \{0,1\}^n \to R$ is defined on each simplex of the standard triangulation of $[0,1]^n$ as the unique affine function $\hat f : [0,1]^n \to R$ that interpolates $f$ at the $n+1$ vertices of the simplex. Its degree is that of the unique multilinear polynomial that expresses $f$. In this paper we investigate the least squares approximation problem of an arbitrary Lovasz extension $\hat f$ by Lovasz extensions of (at most) a specified degree. We derive explicit expressions of these approximations. The corresponding approximation problem for pseudo-Boolean functions was investigated by Hammer and Holzman (1992) and then solved explicitly by Grabisch, Marichal, and Roubens (2000), giving rise to an alternative definition of Banzhaf interaction index. Similarly we introduce a new interaction index from approximations of $\hat f$ and we present some of its properties. It turns out that its corresponding power index identifies with the power index introduced by Grabisch and Labreuche (2001).
Equivariant Littlewood-Richardson Skew Tableaux
Published
• View Publication
• BIB
We give a positive equivariant Littlewood-Richardson rule also discovered independently by Molev. Our proof generalizes a proof by Stembridge of the ordinary Littlewood-Richardson rule. We describe a weight-preserving bijection between our indexing tableaux and the Knutson-Tao puzzles.
Cohen-Macaulayness and computation of Newton graded toric rings
Published in J. Pure Appl. Alg. 213,8 (2009), 1522-1535.
• View Publication
• BIB
Let $H$ be a positive semigroup in $\mathbb{Z}^d$ generated by $A$, and let $K[H]$ be the associated semigroup ring over a field $K$. We investigate heredity of the Cohen-Macaulay property from $K[H]$ to both its $A$-Newton graded ring and to its face rings. We show by example that neither one inherits in general the Cohen-Macaulay property. On the positive side we show that for every $H$ there exist generating sets $A$ for which the Newton graduation preserves Cohen-Macaulayness. This gives an elementary proof for an important vanishing result on $A$-hypergeometric Euler-Koszul homology. As a tool for our investigations we develop an algorithm to compute algorithmically the Newton filtration on a toric ring.
Coloring complexes and arrangements
Published
• View Publication
• BIB
Steingrimsson's coloring complex and Jonsson's unipolar complex are interpreted in terms of hyperplane arrangements. This viewpoint leads to short proofs that all coloring complexes and a large class of unipolar complexes have convex ear decompositions. These convex ear decompositions impose strong new restrictions on the chromatic polynomials of all finite graphs. Similar results are obtained for characteristic polynomials of submatroids of type B_n arrangements.
On Point Coverings of Boxes in $\mathbb R^d$
Published in Intersection of Parallelepipeds in $\mathbb R^d$ // Mathematical Notes, V 83, N. 1 (2008), pp 153-156
• Search Publication
Families of boxes in $\mathbb R^d$ are considered. In the paper an upper bound on the size of a minimum transversal in terms of the space dimension and the independence number of the given family was improved.
Peak Quasisymmetric Functions and Eulerian Enumeration
Published in Adv. Math. 176: 248--276 (2003)
• Search Publication
Via duality of Hopf algebras, there is a direct association between peak quasisymmetric functions and enumeration of chains in Eulerian posets. We study this association explicitly, showing that the notion of $\cd$-index, long studied in the context of convex polytopes and Eulerian posets, arises as the dual basis to a natural basis of peak quasisymmetric functions introduced by Stembridge. Thus Eulerian posets having a nonnegative $\cd$-index (for example, face lattices of convex polytopes) correspond to peak quasisymmetric functions having a nonnegative representation in terms of this basis. We diagonalize the operator that associates the basis of descent sets for all quasisymmetric functions to that of peak sets for the algebra of peak functions, and study the $g$-polynomial for Eulerian posets as an algebra homomorphism.
Avoidable Sets in The Bicyclic Inverse Semigroup
Published in Ars. Combin 77(2005), 273--288
• Search Publication
A subset $U$ of a set $S$ with a binary operation is called {\it avoidable} if $S$ can be partitioned into two subsets $A$ and $B$ such that no element of $U$ can be written as a product of two distinct elements of $A$ or as the product of two distinct elements of $B$. The avoidable sets of the bicyclic inverse semigroup are classified.
The diameter of random Cayley digraphs of given degree
We consider random Cayley digraphs of order $n$ with uniformly distributed generating set of size $k$. Specifically, we are interested in the asymptotics of the probability such a Cayley digraph has diameter two as $n\to\infty$ and $k=f(n)$. We find a sharp phase transition from 0 to 1 at around $k = \sqrt{n \log n}$. In particular, if $f(n)$ is asymptotically linear in $n$, the probability converges exponentially fast to 1.
NP by means of lifts and shadows
Published
• View Publication
• BIB
We show that every NP problem is polynomially equivalent to a simple combinatorial problem: the membership problem for a special class of digraphs. These classes are defined by means of shadows (projections) and by finitely many forbidden colored (lifted) subgraphs. Our characterization is motivated by the analysis of syntactical subclasses with the full computational power of NP, which were first studied by Feder and Vardi.
Our approach applies to many combinatorial problems and it induces the characterization of coloring problems (CSP) defined by means of shadows. This turns out to be related to homomorphism dualities. We prove that a class of digraphs (relational structures) defined by finitely many forbidden colored subgraphs (i.e. lifted substructures) is a CSP class if and only if all the the forbidden structures are homomorphically equivalent to trees. We show a surprising richness of coloring problems when restricted to most frequent graph classes. Using results of Nešetřil and Ossona de Mendez for bounded expansion classes (which include bounded degree and proper minor closed classes) we prove that the restriction of every class defined as the shadow of finitely many colored subgraphs equals to the restriction of a coloring (CSP) class.