Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Distance Hereditary Graphs and the Interlace Polynomial
Published
• View Publication
• BIB
The vertex-nullity interlace polynomial of a graph, described by Arratia, Bollobás and Sorkin as evolving from questions of DNA sequencing, and extended to a two-variable interlace polynomial by the same authors, evokes many open questions. These include relations between the interlace polynomial and the Tutte polynomial and the computational complexity of the vertex-nullity interlace polynomial. Here, we prove that the one-variable vertex-nullity interlace polynomial is in general #P-hard to compute. We also show a relation between the two-variable interlace polynomial and the topological Tutte polynomial of Bollobás and Riordan. We define the γinvariant as the coefficient of x^1 in the vertex-nullity interlace polynomial, analogously to the βinvariant, which is the coefficient of x^1 in the Tutte polynomial. We then turn to distance hereditary graphs, and show that graphs in this class have γinvariant of 2^{n+1} when n true twins are added in their construction. We furthermore show that bipartite distance hereditary graphs are exactly the class of graphs with γinvariant 2, just as the series-parallel graphs are exactly the class of graphs with βinvariant 1. In addition, we show that a bipartite distance hereditary graph arises precisely as the circle graph of any Euler circuit in the oriented medial graph of a series-parallel graph. From this we conclude that the vertex-nullity interlace polynomial is polynomial time to compute for bipartite distance hereditry graphs, just as the Tutte polynomial is polynomial time to compute for series-parallel graphs.
Montreal Lecture Notes on Quadratic Fourier Analysis
Published
• View Publication
• BIB
These are notes to accompany four lectures that I gave at the School on Additive Combinatorics, held in Montreal, Quebec between March 30th and April 5th 2006.
My aim is to introduce ``quadratic fourier analysis'' in so far as we understand it at the present time. Specifically, we will describe ``quadratic objects'' of various types and their relation to additive structures, particularly four-term arithmetic progressions.
I will focus on qualitative results, referring the reader to the literature for the many interesting quantitative questions in this theory. Thus these lectures have a distinctly ``soft'' flavour in many places.
Some of the notes cover unpublished work which is joint with Terence Tao. This will be published more formally at some future juncture.
Combinatorics of multiboundary singularities B_n^l and Bernoulli-Euler numbers
Published in Funct. Anal. Appl. 36(2002), no 1, 78-81
• View Publication
• BIB
Consider generalizations of the boundary singularities B_n of the functions on the real line to the case where the boundary consists of a finite number of l points. These singularities B_n^l could also arise in higher dimensional case, when the boundary is an immersed hypersurface. We obtain a particular recurrent equation on the numbers of connected components of very nice M-morsification spaces of the multiboundary singularities B_n^l. This helps us to express the numbers K_n^l (for l=2,3,4...) by Bernoulli-Euler numbers. We also find the corresponding generating functions.
Wilf classification of three and four letter signed patterns
Published
• View Publication
• BIB
We give some new Wilf equivalences for signed patterns which allow the complete classification of signed patterns of lengths three and four. The problem is considered for pattern avoidance by general as well as involutive signed permutations.
Tamari lattices, forests and Thompson monoids
A connection relating Tamari lattices on symmetric groups regarded as lattices under the weak Bruhat order to the positive monoid P of Thompson group F is presented. Tamari congruence classes correspond to classes of equivalent elements in P. The two well known normal forms in P correspond to endpoints of intervals in the weak Bruhat order that determine the Tamari classes. In the monoid P these correspond to lexicographically largest and lexicographically smallest form, while on the level of permutations they correspond to 132-avoiding and 231-avoiding permutations.
Forests appear naturally in both contexts as they are used to model both permutations and elements of the Thompson monoid.
The connection is then extended to Tamari orders on partitions of ((k-1)n+2)-gons into (k+1)-gons and Thompson monoids P_k, k >1.
Polyhedra of genus 3 with 10 vertices and minimal coordinates
We give coordinate-minimal geometric realizations in general position for 17 of the 20 vertex-minimal triangulations of the orientable surface of genus 3 in the 5x5x5-cube.
Combinatorial 3-manifolds with 10 vertices
We give a complete enumeration of all combinatorial 3-manifolds with 10 vertices: There are precisely 247882 triangulated 3-spheres with 10 vertices as well as 518 vertex-minimal triangulations of the sphere product $S^2\times S^1$ and 615 triangulations of the twisted sphere product $S^2_\times_S^1$.
All the 3-spheres with up to 10 vertices are shellable, but there are 29 vertex-minimal non-shellable 3-balls with 9 vertices.
Spectral Analysis of Pollard Rho Collisions
Published
• View Publication
• BIB
We show that the classical Pollard rho algorithm for discrete logarithms produces a collision in expected time O(sqrt(n)(log n)^3). This is the first nontrivial rigorous estimate for the collision probability for the unaltered Pollard rho graph, and is close to the conjectured optimal bound of O(sqrt(n)). The result is derived by showing that the mixing time for the random walk on this graph is O((log n)^3); without the squaring step in the Pollard rho algorithm, the mixing time would be exponential in log n. The technique involves a spectral analysis of directed graphs, which captures the effect of the squaring step.
Ring graphs and complete intersection toric ideals
Published in Discrete Math. 310 (2010), no. 3, 430--441
• View Publication
• BIB
We study the family of graphs whose number of primitive cycles equals its cycle rank. It is shown that this family is precisely the family of ring graphs. Then we study the complete intersection property of toric ideals of bipartite graphs and oriented graphs. An interesting application is that complete intersection toric ideals of bipartite graphs correspond to ring graphs and that these ideals are minimally generated by Groebner bases. We prove that any graph can be oriented such that its toric ideal is a complete intersection with a universal Groebner basis determined by the cycles. It turns out that bipartite ring graphs are exactly the bipartite graphs that have complete intersection toric ideals for any orientation.
Graphs and matrices of maximal energy
Published
• View Publication
• BIB
Call the sum of the singular values of a matrix A the energy of A. We investigate graphs and matrices of energy close to the maximal one. We prove a conjecture of Koolen and Moulten and give a stability theorem characterizing all square nonnegative matrices and all graphs with energy close to the maximal one. In particular, such graphs are quasi-random.
Packing and Partitioning Orbitopes
Published
• View Publication
• BIB
We introduce orbitopes as the convex hulls of 0/1-matrices that are lexicographically maximal subject to a group acting on the columns. Special cases are packing and partitioning orbitopes, which arise from restrictions to matrices with at most or exactly one 1-entry in each row, respectively. The goal of investigating these polytopes is to gain insight into ways of breaking certain symmetries in integer programs by adding constraints, e.g., for a well-known formulation of the graph coloring problem.
We provide a thorough polyhedral investigation of packing and partitioning orbitopes for the cases in which the group acting on the columns is the cyclic group or the symmetric group. Our main results are complete linear inequality descriptions of these polytopes by facet-defining inequalities. For the cyclic group case, the descriptions turn out to be totally unimodular, while for the symmetric group case both the description and the proof are more involved. Nevertheless, the associated separation problem can be solved in linear time also in this case.
Epistasis and Shapes of Fitness Landscapes
The relationship between the shape of a fitness landscape and the underlying gene interactions, or epistasis, has been extensively studied in the two-locus case. Gene interactions among multiple loci are usually reduced to two-way interactions. We present a geometric theory of shapes of fitness landscapes for multiple loci. A central concept is the genotope, which is the convex hull of all possible allele frequencies in populations. Triangulations of the genotope correspond to different shapes of fitness landscapes and reveal all the gene interactions. The theory is applied to fitness data from HIV and Drosophila melanogaster. In both cases, our findings refine earlier analyses and reveal previously undetected gene interactions.
Minimizing Symmetric Set Functions Faster
We describe a combinatorial algorithm which, given a monotone and consistent symmetric set function d on a finite set V in the sense of Rizzi, constructs a non trivial set S minimizing d(S,V-S). This includes the possibility for the minimization of symmetric submodular functions. The presented algorithm requires at most as much time as the one described by Rizzi, but depending on the function d, it may allow several improvements.
A Relation for Domino Robinson-Schensted Algorithms
Published
• View Publication
• BIB
We describe a relationship between Robinson-Schensted algorithms defined for standard domino tableaux of unequal rank. The principal idea is the moving-through operation defined on standard domino tableaux by D. Garfinkle. When restricted to involutions, this answers a question posed by M.A.A. van Leeuwen.
Brunn-Minkowski Inequalities for Contingency Tables and Integer Flows
Published
• View Publication
• BIB
Given a non-negative mxn matrix W=(w_ij) and positive integer vectors R=(r_1, >..., r_m) and C=(c_1, ..., c_n), we consider the total weight T(R, C; W) of mxn non-negative integer matrices (contingency tables) D with the row sums r_i, the column sums c_j, and the weight of D=(d_ij) equal to product of w_ij^d_ij. In particular, if W is a 0-1 matrix, T(R, C; W) is the number of integer feasible flows in a bipartite network. We prove a version of the Brunn-Minkowski inequality relating the numbers T(R, C; W) and T(R_k, C_k; W), where (R, C) is a convex combination of (R_k, C_k) for k=1, ..., p.
The minimum degree threshold for perfect graph packings
Let H be any graph. We determine (up to an additive constant) the minimum degree of a graph G which ensures that G has a perfect H-packing (also called an H-factor). More precisely, let delta(H,n) denote the smallest integer t such that every graph G whose order n is divisible by |H| and with delta(G) > t contains a perfect H-packing. We show that delta(H,n) = (1-1/χ*(H))n+O(1). The value of chi*(H) depends on the relative sizes of the colour classes in the optimal colourings of H and satisfies k-1 < chi*(H) \le k, where k is the chromatic number of H.
The local Steiner problem in finite-dimensional normed spaces
Published in Discrete Comput Geom 37:419--442 (2007)
• View Publication
• BIB
We develop a general method of proving that certain star configurations in finit e-dimensional normed spaces are Steiner minimal trees. This method generalizes the results of Lawlor and Morgan (1994) that could only be applied to differentiable norms. The generalization uses the subdifferential calculus from convex analysis. We apply this method to two special norms. The first norm, occurring in the work of Cieslik, has unit ball the polar of the difference body of the n-simplex (in dimension 3 this is the rhombic dodecahedron). We determine the maximum degree of a given point in a Steiner minimal tree in this norm. The proof makes essential use of extremal finite set theory. The second norm, occuring in the work of Mark Conger (1989), is the sum of the ell_1-norm and a small multiple of the ell_2 norm. For the second norm we determine the maximum degree of a Steiner point.
Forest-like permutations
Published in Annals of Combinatorics 11 (2007) 335--354
• View Publication
• BIB
Given a permutation $π\in \Sn\_n$, construct a graph $G\_π$ on the vertex set $\{1,2, ..., n\}$ by joining $i$ to $j$ if (i) $i<j$ and $π(i)<π(j)$ and (ii) there is no $k$ such that $i < k < j$ and $π(i)<π(k)<π(j)$. We say that $π$ is forest-like if $G\_π$ is a forest. We first characterize forest-like permutations in terms of pattern avoidance, and then by a certain linear map being onto. Thanks to recent results of Woo and Yong, this shows that forest-like permutations characterize Schubert varieties which are locally factorial. Thus forest-like permutations generalize smooth permutations (corresponding to smooth Schubert varieties). We compute the generating function of forest-like permutations. As in the smooth case, it turns out to be algebraic. We then adapt our method to count permutations for which $G\_π$ is a tree, or a path, and recover the known generating function of smooth permutations.
A Spinorial Formulation of the Maximum Clique Problem of a Graph
Published in J. Math. Phys. 47, 043502 (2006)
• View Publication
• BIB
We present a new formulation of the maximum clique problem of a graph in complex space. We start observing that the adjacency matrix A of a graph can always be written in the form A = B B where B is a complex, symmetric matrix formed by vectors of zero length (null vectors) and the maximum clique problem can be transformed in a geometrical problem for these vectors. This problem, in turn, is translated in spinorial language and we show that each graph uniquely identifies a set of pure spinors, that is vectors of the endomorphism space of Clifford algebras, and the maximum clique problem is formalized in this setting so that, this much studied problem, may take advantage from recent progresses of pure spinor geometry.
Linear quantum addition rules
Published
• View Publication
• BIB
The quantum integer $[n]_q$ is the polynomial $1 + q + q^2 + ... + q^{n-1}.$ Two sequences of polynomials $\mathcal{U} = \{u_n(q)\}_{n=1}^{\infty}$ and $\mathcal{V} = \{v_n(q)\}_{n=1}^{\infty}$ define a {\em linear addition rule} $\oplus$ on a sequence $\mathcal{F} = \{f_n(q)\}_{n=1}^{\infty}$ by $f_m(q)\oplus f_n(q) = u_n(q)f_m(q) + v_m(q)f_n(q).$ This is called a {\em quantum addition rule} if $[m]_q \oplus [n]_q = [m+n]_q$ for all positive integers $m$ and $n$. In this paper all linear quantum addition rules are determined, and all solutions of the corresponding functional equations $f_m(q)\oplus f_n(q) = f_{m+n}(q)$ are computed.