Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The power of pyramid decomposition in Normaliz
Published
• View Publication
• BIB
We describe the use of pyramid decomposition in Normaliz, a software tool for the computation of Hilbert bases and enumerative data of rational cones and affine monoids. Pyramid decomposition in connection with efficient parallelization and streamlined evaluation of simplicial cones has enabled Normaliz to process triangulations of size $\approx 5\cdot 10^{11}$ that arise in the computation of Hilbert series related to combinatorial voting theory.
Canonical ordering for graphs on the cylinder, with applications to periodic straight-line drawings on the flat cylinder and torus
Published
• View Publication
• BIB
We extend the notion of canonical ordering (initially developed for planar triangulations and 3-connected planar maps) to cylindric (essentially simple) triangulations and more generally to cylindric (essentially internally) $3$-connected maps. This allows us to extend the incremental straight-line drawing algorithm of de Fraysseix, Pach and Pollack (in the triangulated case) and of Kant (in the $3$-connected case) to this setting. Precisely, for any cylindric essentially internally $3$-connected map $G$ with $n$ vertices, we can obtain in linear time a periodic (in $x$) straight-line drawing of $G$ that is crossing-free and internally (weakly) convex, on a regular grid $\mathbb{Z}/w\mathbb{Z}\times[0..h]$, with $w\leq 2n$ and $h\leq n(2d+1)$, where $d$ is the face-distance between the two boundaries. This also yields an efficient periodic drawing algorithm for graphs on the torus. Precisely, for any essentially $3$-connected map $G$ on the torus (i.e., $3$-connected in the periodic representation) with $n$ vertices, we can compute in linear time a periodic straight-line drawing of $G$ that is crossing-free and (weakly) convex, on a periodic regular grid $\mathbb{Z}/w\mathbb{Z}\times\mathbb{Z}/h\mathbb{Z}$, with $w\leq 2n$ and $h\leq 1+2n(c+1)$, where $c$ is the face-width of $G$. Since $c\leq\sqrt{2n}$, the grid area is $O(n^{5/2})$.
Counting Algebraic Curves with Tropical Geometry
Published
• View Publication
• BIB
Tropical geometry is a piecewise linear "shadow" of algebraic geometry. It allows for the computation of several cohomological invariants of an algebraic variety. In particular, its application to enumerative algebraic geometry led to significant progress.
In this survey, we give an introduction to tropical geometry techniques for algebraic curve counting problems. We also survey some recent developments, with a particular emphasis on the computation of the degree of the Severi varieties of the complex projective plane and other toric surfaces as well as Hurwitz numbers and applications to real enumerative geometry. This paper is based on the author's lecture at the Workshop on Tropical Geometry and Integrable Systems in Glasgow, July 2011.
On Chromatic Numbers of Integer and Rational Lattices
Published
• View Publication
• BIB
In the present paper, we have found new upper bounds for chromatic numbers for integer lattices and some rational spaces and other lattices. In particular, we have proved that for any concrete critical distance $d$ the chromatic number of $\Z^{n}$ with critical distance $\sqrt{2d}$ has a polynomial growth in $n$ with exponent less than or equal to $d$ (sometimes this estimate is sharp). The same statement is true not only in the Euclidean norm, but also in any $l_{p}$ norm. Besides, we have given concrete estimates for some small dimensions as well as upper bounds for the chromatic number of $\Q_{p}^{n}$, where by $\Q_{p}$ we mean the ring of all rational numbers having denominators not divisible by some prime numbers.
Asymmetric $2$-colorings of graphs
Published
• View Publication
• BIB
We show that the edges of every 3-connected planar graph except $K_4$ can be colored with two colors in such a way that the graph has no color preserving automorphisms. Also, we characterize all graphs which have the property that their edges can be $2$-colored so that no matter how the graph is embedded in any orientable surface, there is no homeomorphism of the surface which induces a non-trivial color preserving automorphism of the graph.
Hereditary Polytopes
Published
• View Publication
• BIB
Every regular polytope has the remarkable property that it inherits all symmetries of each of its facets. This property distinguishes a natural class of polytopes which are called hereditary. Regular polytopes are by definition hereditary, but the other polytopes in this class are interesting, have possible applications in modeling of structures, and have not been previously investigated. This paper establishes the basic theory of hereditary polytopes, focussing on the analysis and construction of hereditary polytopes with highly symmetric faces.
Deciding Word Problems of Semigroups using Finite State Automata
We explore a natural class of semigroups that have word problem decidable by finite state automata. Among the main results are invariance of this property under change of generators, invariance under basic algebraic constructions and algebraic properties of these semigroups.
Exponential Time Complexity of the Permanent and the Tutte Polynomial
Published in ACM Trans. Algorithms 10(4): 21:1-21:32 (2014)
• View Publication
• BIB
We show conditional lower bounds for well-studied #P-hard problems:
(a) The number of satisfying assignments of a 2-CNF formula with n variables cannot be counted in time exp(o(n)), and the same is true for computing the number of all independent sets in an n-vertex graph.
(b) The permanent of an n x n matrix with entries 0 and 1 cannot be computed in time exp(o(n)).
(c) The Tutte polynomial of an n-vertex multigraph cannot be computed in time exp(o(n)) at most evaluation points (x,y) in the case of multigraphs, and it cannot be computed in time exp(o(n/polylog n)) in the case of simple graphs.
Our lower bounds are relative to (variants of) the Exponential Time Hypothesis (ETH), which says that the satisfiability of n-variable 3-CNF formulas cannot be decided in time exp(o(n)). We relax this hypothesis by introducing its counting version #ETH, namely that the satisfying assignments cannot be counted in time exp(o(n)). In order to use #ETH for our lower bounds, we transfer the sparsification lemma for d-CNF formulas to the counting setting.
Quivers with potentials associated to triangulated surfaces, part IV: Removing boundary assumptions
Published
• View Publication
• BIB
We prove that the quivers with potentials associated to triangulations of surfaces with marked points, and possibly empty boundary, are non-degenerate, provided the underlying surface with marked points is not a closed sphere with exactly 5 punctures. This is done by explicitly defining the QPs that correspond to tagged triangulations and proving that whenever two tagged triangulations are related by a flip, their associated QPs are related by the corresponding QP-mutation. As a byproduct, for (arbitrarily punctured) surfaces with non-empty boundary we obtain a proof of the non-degeneracy of the associated QPs which is independent from the one given by the author in the first paper of the series.
The main tool used to prove the aforementioned compatibility between flips and QP-mutations is what we have called \emph{Popping Theorem}, which, roughly speaking, says that an apparent lack of symmetry in the potentials arising from ideal triangulations with self-folded triangles can be fixed by a suitable right-equivalence.
Searching for Realizations of Finite Metric Spaces in Tight Spans
Published in Discrete Optimization 10 (2013), no. 4, 310-319
• View Publication
• BIB
An important problem that commonly arises in areas such as internet traffic-flow analysis, phylogenetics and electrical circuit design, is to find a representation of any given metric $D$ on a finite set by an edge-weighted graph, such that the total edge length of the graph is minimum over all such graphs. Such a graph is called an optimal realization and finding such realizations is known to be NP-hard. Recently Varone presented a heuristic greedy algorithm for computing optimal realizations. Here we present an alternative heuristic that exploits the relationship between realizations of the metric $D$ and its so-called tight span $T_D$. The tight span $T_D$ is a canonical polytopal complex that can be associated to $D$, and our approach explores parts of $T_D$ for realizations in a way that is similar to the classical simplex algorithm. We also provide computational results illustrating the performance of our approach for different types of metrics, including $l_1$-distances and two-decomposable metrics for which it is provably possible to find optimal realizations in their tight spans.
Recognizing Treelike k-Dissimilarities
Published in Journal of Classification, 29 (2012), no. 3, 321-340
• View Publication
• BIB
A k-dissimilarity D on a finite set X, |X| >= k, is a map from the set of size k subsets of X to the real numbers. Such maps naturally arise from edge-weighted trees T with leaf-set X: Given a subset Y of X of size k, D(Y) is defined to be the total length of the smallest subtree of T with leaf-set Y . In case k = 2, it is well-known that 2-dissimilarities arising in this way can be characterized by the so-called "4-point condition". However, in case k > 2 Pachter and Speyer recently posed the following question: Given an arbitrary k-dissimilarity, how do we test whether this map comes from a tree? In this paper, we provide an answer to this question, showing that for k >= 3 a k-dissimilarity on a set X arises from a tree if and only if its restriction to every 2k-element subset of X arises from some tree, and that 2k is the least possible subset size to ensure that this is the case. As a corollary, we show that there exists a polynomial-time algorithm to determine when a k-dissimilarity arises from a tree. We also give a 6-point condition for determining when a 3-dissimilarity arises from a tree, that is similar to the aforementioned 4-point condition.
Towards a weighted version of the Hajnal-Szemerédi Theorem
Published
• View Publication
• BIB
For a positive integer r>=2, a K_r-factor of a graph is a collection vertex-disjoint copies of K_r which covers all the vertices of the given graph. The celebrated theorem of Hajnal and Szemerédi asserts that every graph on n vertices with minimum degree at least (1-1/r)n contains a K_r-factor. In this note, we propose investigating the relation between minimum degree and existence of perfect K_r-packing for edge-weighted graphs. The main question we study is the following. Suppose that a positive integer r>=2 and a real t in [0,1] is given. What is the minimum weighted degree of K_n that guarantees the existence of a K_r-factor such that every factor has total edge weight at least tr(r-1)/2? We provide some lower and upper bounds and make a conjecture on the asymptotics of the threshold as n goes to infinity.
Combined degree and connectivity conditions for H-linked graphs
Published
• View Publication
• BIB
For a given multigraph H, a graph G is H-linked, if |G| \geq |H| and for every injective map τ: V (H) \rightarrow V (G), we can find internally disjoint paths in G, such that every edge from uv in H corresponds to a τ (u) - τ (v) path. To guarantee that a G is H-linked, you need a minimum degree larger than |G|/2. This situation changes, if you know that G has a certain connectivity k. Depending on k, even a minimum degree independent of |G| may suffice. Let δ(k, H, N) be the minimum number, such that every k-connected graph G with |G| = N and δ(G) \geq δ(k, H, N) is H-linked. We study bounds for this quantity. In particular, we find bounds for all multigraphs H with at most three edges, which are optimal up to small additive or multiplicative constants.
k-Connectivity in Random Key Graphs with Unreliable Links
Published
• View Publication
• BIB
Random key graphs form a class of random intersection graphs and are naturally induced by the random key predistribution scheme of Eschenauer and Gligor for securing wireless sensor network (WSN) communications. Random key graphs have received much interest recently, owing in part to their wide applicability in various domains including recommender systems, social networks, secure sensor networks, clustering and classification analysis, and cryptanalysis to name a few. In this paper, we study connectivity properties of random key graphs in the presence of unreliable links. Unreliability of the edges are captured by independent Bernoulli random variables, rendering edges of the graph to be on or off independently from each other. The resulting model is an intersection of a random key graph and an Erdos-Renyi graph, and is expected to be useful in capturing various real-world networks; e.g., with secure WSN applications in mind, link unreliability can be attributed to harsh environmental conditions severely impairing transmissions. We present conditions on how to scale this model's parameters so that i) the minimum node degree in the graph is at least k, and ii) the graph is k-connected, both with high probability as the number of nodes becomes large. The results are given in the form of zeroone laws with critical thresholds identified and shown to coincide for both graph properties. These findings improve the previous results by Rybarczyk on the k-connectivity of random key graphs (with reliable links), as well as the zero-one laws by Yagan on the 1-connectivity of random key graphs with unreliable links.
Acyclic edge-coloring using entropy compression
Published in European J. Combin. 34(6) (2013), 1019-1027
• View Publication
• BIB
An edge-coloring of a graph G is acyclic if it is a proper edge-coloring of G and every cycle contains at least three colors. We prove that every graph with maximum degree Delta has an acyclic edge-coloring with at most 4 Delta - 4 colors, improving the previous bound of 9.62 (Delta - 1). Our bound results from the analysis of a very simple randomised procedure using the so-called entropy compression method. We show that the expected running time of the procedure is O(mn Delta^2 log Delta), where n and m are the number of vertices and edges of G. Such a randomised procedure running in expected polynomial time was only known to exist in the case where at least 16 Delta colors were available. Our aim here is to make a pedagogic tutorial on how to use these ideas to analyse a broad range of graph coloring problems. As an application, also show that every graph with maximum degree Delta has a star coloring with 2 sqrt(2) Delta^{3/2} + Delta colors.
Constructing graphs with no immersion of large complete graphs
Published
• View Publication
• BIB
In 1989, Lescure and Meyniel proved, for $d=5, 6$, that every $d$-chromatic graph contains an immersion of $K_d$, and in 2003 Abu-Khzam and Langston conjectured that this holds for all $d$. In 2010, DeVos, Kawarabayashi, Mohar, and Okamura proved this conjecture for $d = 7$. In each proof, the $d$-chromatic assumption was not fully utilized, as the proofs only use the fact that a $d$-critical graph has minimum degree at least $d - 1$. DeVos, Dvořák, Fox, McDonald, Mohar, and Scheide show the stronger conjecture that a graph with minimum degree $d-1$ has an immersion of $K_d$ fails for $d=10$ and $d\geq 12$ with a finite number of examples for each value of $d$, and small chromatic number relative to $d$, but it is shown that a minimum degree of $200d$ does guarantee an immersion of $K_d$.
In this paper we show that the stronger conjecture is false for $d=8,9,11$ and give infinite families of examples with minimum degree $d-1$ and chromatic number $d-3$ or $d-2$ that do not contain an immersion of $K_d$. Our examples can be up to $(d-2)$-edge-connected. We show, using Hajós' Construction, that there is an infinite class of non-$(d-1)$-colorable graphs that contain an immersion of $K_d$. We conclude with some open questions, and the conjecture that a graph $G$ with minimum degree $d - 1$ and more than $\frac{|V(G)|}{1+m(d+1)}$ vertices of degree at least $md$ has an immersion of $K_d$.
Lattice Point Generating Functions and Symmetric Cones
Published in Journal of Algebraic Combinatorics 38, no. 3 (2013), 543-566
• View Publication
• BIB
We show that a recent identity of Beck-Gessel-Lee-Savage on the generating function of symmetrically contrained compositions of integers generalizes naturally to a family of convex polyhedral cones that are invariant under the action of a finite reflection group. We obtain general expressions for the multivariate generating functions of such cones, and work out the specific cases of a symmetry group of type A (previously known) and types B and D (new). We obtain several applications of the special cases in type B, including identities involving permutation statistics and lecture hall partitions.
An Efficient Hybrid Ant Colony System for the Generalized Traveling Salesman Problem
Published in Algorithmic Operations Research Vol. 7 (2012) 21-28
• Search Publication
The Generalized Traveling Salesman Problem (GTSP) is an extension of the well-known Traveling Salesman Problem (TSP), where the node set is partitioned into clusters, and the objective is to find the shortest cycle visiting each cluster exactly once. In this paper, we present a new hybrid Ant Colony System (ACS) algorithm for the symmetric GTSP. The proposed algorithm is a modification of a simple ACS for the TSP improved by an efficient GTSP-specific local search procedure. Our extensive computational experiments show that the use of the local search procedure dramatically improves the performance of the ACS algorithm, making it one of the most successful GTSP metaheuristics to date.
Polyhedral Combinatorics of UPGMA Cones
Published
• View Publication
• BIB
Distance-based methods such as UPGMA (Unweighted Pair Group Method with Arithmetic Mean) continue to play a significant role in phylogenetic research. We use polyhedral combinatorics to analyze the natural subdivision of the positive orthant induced by classifying the input vectors according to tree topologies returned by the algorithm. The partition lattice informs the study of UPGMA trees. We give a closed form for the extreme rays of UPGMA cones on n taxa, and compute the normalized volumes of the UPGMA cones for small n.
Keywords: phylogenetic trees, polyhedral combinatorics, partition lattice
Intersection cuts from multiple rows: a disjunctive programming approach
Published
• View Publication
• BIB
We address the issue of generating cutting planes for mixed integer programs from multiple rows of the simplex tableau with the tools of disjunctive programming. A cut from q rows of the simplex tableau is an intersection cuts from a q-dimensional parametric cross-polytope, which can also be viewed as a disjunctive cut from a 2q-term disjunction. We define the disjunctive hull of the q-row problem, describe its relation to the integer hull, and show how to generate its facets. For the case of binary basic variables, we derive cuts from the stronger disjunctions whose terms are equations. We give cut strengthening procedures using the integrality of the nonbasic variables for both the integer and the binary case. Finally, we discuss some computational experiments.