Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Judicious partitions of uniform hypergraphs
Published in Combinatorica (2014) 34: 561
• View Publication
• BIB
The vertices of any graph with $m$ edges may be partitioned into two parts so that each part meets at least $\frac{2m}{3}$ edges. Bollobás and Thomason conjectured that the vertices of any $r$-uniform hypergraph with $m$ edges may likewise be partitioned into $r$ classes such that each part meets at least $\frac{r}{2r-1}m$ edges. In this paper we prove the weaker statement that, for each $r\ge 4$, a partition into $r$ classes may be found in which each class meets at least $\frac{r}{3r-4}m$ edges, a substantial improvement on previous bounds.
Characterizations of minimal dominating sets and the well-dominated property in lexicographic product graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Graph Theory (August 30, 2017) dmtcs:3209
• View Publication
• BIB
A graph is said to be well-dominated if all its minimal dominating sets are of the same size. The class of well-dominated graphs forms a subclass of the well studied class of well-covered graphs. While the recognition problem for the class of well-covered graphs is known to be co-NP-complete, the recognition complexity of well-dominated graphs is open.
In this paper we introduce the notion of an irreducible dominating set, a variant of dominating set generalizing both minimal dominating sets and minimal total dominating sets. Based on this notion, we characterize the family of minimal dominating sets in a lexicographic product of two graphs and derive a characterization of the well-dominated lexicographic product graphs. As a side result motivated by this study, we give a polynomially testable characterization of well-dominated graphs with domination number two, and show, more generally, that well-dominated graphs can be recognized in polynomial time in any class of graphs with bounded domination number. Our results include a characterization of dominating sets in lexicographic product graphs, which generalizes the expression for the domination number of such graphs following from works of Zhang et al. (2011) and of Šumenjak et al. (2012).
Improving Sharir and Welzl's bound on crossing-free matchings through solving a stronger recurrence
Sharir and Welzl [1] derived a bound on crossing-free matchings primarily based on solving a recurrence based on the size of the matchings. We show that the recurrence given in Lemma 2.3 in Sharir and Welzl can be improve to $(2n-6s)\textbf{Ma}_{m}(P)\leq\frac{68}{3}(s+2)\textbf{Ma}_{m-1}(P)$ and $(3n-7s)\textbf{Ma}_{m}(P)\leq44.5(s+2)\textbf{Ma}_{m-1}(P)$, thereby improving the upper bound for crossing-free matchings.
Algorithmic Complexity of Weakly Semiregular Partitioning and the Representation Number
Published
• View Publication
• BIB
A graph $G$ is {\it weakly semiregular} if there are two numbers $a,b$, such that the degree of every vertex is $a$ or $b$. The {\it weakly semiregular number} of a graph $G$, denoted by $wr(G)$, is the minimum number of subsets into which the edge set of $G$ can be partitioned so that the subgraph induced by each subset is a weakly semiregular graph. We present a polynomial time algorithm to determine whether the weakly semiregular number of a given tree is two. On the other hand, we show that determining whether $ wr(G) = 2 $ for a given bipartite graph $ G $ with at most three numbers in its degree set is {\bf NP}-complete. Among other results, for every tree $T$, we show that $wr(T)\leq 2\log_2 Δ(T) + \mathcal{O}(1)$, where $Δ(T)$ denotes the maximum degree of $T$.
In the second part of the work, we consider the representation number. A graph $G$ has a {\it representation modulo $r$} if there exists an injective map $\ell: V (G) \rightarrow \mathbb{Z}_r$ such that vertices $v$ and $u$ are adjacent if and only if $|\ell(u) -\ell(v)|$ is relatively prime to $r$. The {\it representation number}, denoted by $rep(G)$, is the smallest $r$ such that $G$ has a representation modulo $r$. Narayan and Urick conjectured that the determination of $rep (G)$ for an arbitrary graph $G$ is a difficult problem \cite{narayan2007representations}. In this work, we confirm this conjecture and show that if $\mathbf{NP\neq P}$, then for any $ε>0$, there is no polynomial time $(1-ε)\frac{n}{2}$-approximation algorithm for the computation of representation number of regular graphs with $n$ vertices.
Specht Polytopes and Specht Matroids
Published
• View Publication
• BIB
The generators of the classical Specht module satisfy intricate relations. We introduce the Specht matroid, which keeps track of these relations, and the Specht polytope, which also keeps track of convexity relations. We establish basic facts about the Specht polytope, for example, that the symmetric group acts transitively on its vertices and irreducibly on its ambient real vector space. A similar construction builds a matroid and polytope for a tensor product of Specht modules, giving "Kronecker matroids" and "Kronecker polytopes" instead of the usual Kronecker coefficients. We dub this process of upgrading numbers to matroids and polytopes "matroidification," giving two more examples. In the course of describing these objects, we also give an elementary account of the construction of Specht modules different from the standard one. Finally, we provide code to compute with Specht matroids and their Chow rings.
Algorithms For Longest Chains In Pseudo- Transitive Graphs
Published in Congressus Numerantium, 221 (2014), p 21-30
• Search Publication
A directed acyclic graph G = (V, E) is pseudo-transitive with respect to a given subset of edges E1, if for any edge ab in E1 and any edge bc in E, we have ac in E. We give algorithms for computing longest chains and demonstrate geometric applications that unify and improves some important past results. (For specific applications see the introduction.)
Cycle packings of the complete multigraph
Bryant, Horsley, Maenhaut and Smith recently gave necessary and sufficient conditions for when the complete multigraph can be decomposed into cycles of specified lengths $m_1,m_2,\ldots,m_τ$. In this paper we characterise exactly when there exists a packing of the complete multigraph with cycles of specified lengths $m_1,m_2,\ldots,m_τ$. While cycle decompositions can give rise to packings by removing cycles from the decomposition, in general it is not known when there exists a packing of the complete multigraph with cycles of various specified lengths.
Irrational Guards are Sometimes Needed
In this paper we study the art gallery problem, which is one of the fundamental problems in computational geometry. The objective is to place a minimum number of guards inside a simple polygon such that the guards together can see the whole polygon. We say that a guard at position $x$ sees a point $y$ if the line segment $xy$ is fully contained in the polygon.
Despite an extensive study of the art gallery problem, it remained an open question whether there are polygons given by integer coordinates that require guard positions with irrational coordinates in any optimal solution. We give a positive answer to this question by constructing a monotone polygon with integer coordinates that can be guarded by three guards only when we allow to place the guards at points with irrational coordinates. Otherwise, four guards are needed. By extending this example, we show that for every $n$, there is polygon which can be guarded by $3n$ guards with irrational coordinates but need $4n$ guards if the coordinates have to be rational. Subsequently, we show that there are rectilinear polygons given by integer coordinates that require guards with irrational coordinates in any optimal solution.
Perfect phylogenies via branchings in acyclic digraphs and a generalization of Dilworth's theorem
Published
• View Publication
• BIB
Motivated by applications in cancer genomics and following the work of Hajirasouliha and Raphael (WABI 2014), Hujdurović et al. (IEEE TCBB, to appear) introduced the minimum conflict-free row split (MCRS) problem: split each row of a given binary matrix into a bitwise OR of a set of rows so that the resulting matrix corresponds to a perfect phylogeny and has the minimum possible number of rows among all matrices with this property. Hajirasouliha and Raphael also proposed the study of a similar problem, in which the task is to minimize the number of distinct rows of the resulting matrix. Hujdurović et al. proved that both problems are NP-hard, gave a related characterization of transitively orientable graphs, and proposed a polynomial-time heuristic algorithm for the MCRS problem based on coloring cocomparability graphs.
We give new, more transparent formulations of the two problems, showing that the problems are equivalent to two optimization problems on branchings in a derived directed acyclic graph. Building on these formulations, we obtain new results on the two problems, including: (i) a strengthening of the heuristic by Hujdurović et al. via a new min-max result in digraphs generalizing Dilworth's theorem, which may be of independent interest, (ii) APX-hardness results for both problems, (iii) approximation algorithms, and (iv) exponential-time algorithms solving the two problems to optimality faster than the naïve brute-force approach. Our work relates to several well studied notions in combinatorial optimization: chain partitions in partially ordered sets, laminar hypergraphs, and (classical and weighted) colorings of graphs.
The number of realizations of a Laman graph
Published in SIAM Journal on Applied Algebra and Geometry, Volume 2, Issue 1, p. 94-125, 2018
• View Publication
• BIB
Laman graphs model planar frameworks that are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. Such realizations can be seen as solutions of systems of quadratic equations prescribing the distances between pairs of points. Using ideas from algebraic and tropical geometry, we provide a recursive formula for the number of complex solutions of such systems.
Minimum Cycle Decomposition: A Constructive Characterization for Graphs of Treewidth Two with Node Degrees Two and Four
Substantial efforts have been made to compute or estimate the minimum number $c(G)$ of cycles needed to partition the edges of an Eulerian graph. We give an equivalent characterization of Eulerian graphs of treewidth $2$ and with maximum degree $4$. This characterization enables us to present a linear time algorithm for the computation of $c(G)$ for all $G$ in this class.
On tope graphs of complexes of oriented matroids
Published
• View Publication
• BIB
We give two graph theoretical characterizations of tope graphs of (complexes of) oriented matroids. The first is in terms of excluded partial cube minors, the second is that all antipodal subgraphs are gated. A direct consequence is a third characterization in terms of zone graphs of tope graphs.
Further corollaries include a characterization of topes of oriented matroids due to da Silva, another one of Handa, a characterization of lopsided systems due to Lawrence, and an intrinsic characterization of tope graphs of affine oriented matroids. Furthermore, we obtain polynomial time recognition algorithms for tope graphs of the above and a finite list of excluded partial cube minors for the bounded rank case. In particular, this answers a relatively long-standing open question in oriented matroids. Another consequence is that all finite Pasch graphs are tope graphs of complexes of oriented matroids, which confirms a conjecture of Chepoi and the two authors.
On lattice path matroid polytopes: integer points and Ehrhart polynomial
Published
• View Publication
• BIB
In this paper we investigate the number of integer points lying in dilations of lattice path matroid polytopes. We give a characterization of such points as polygonal paths in the diagram of the lattice path matroid. Furthermore, we prove that lattice path matroid polytopes are affinely equivalent to a family of distributive polytopes. As applications we obtain two new infinite families of matroids verifying a conjecture of De Loera et.~al. and present an explicit formula of the Ehrhart polynomial for one of them.
Tighter Bounds for the Discrepancy of Boxes and Polytopes
Published
• View Publication
• BIB
Combinatorial discrepancy is a complexity measure of a collection of sets which quantifies how well the sets in the collection can be simultaneously balanced. More precisely, we are given an n-point set $P$, and a collection $\mathcal{F} = \{F_1, ..., F_m\}$ of subsets of $P$, and our goal is color $P$ with two colors, red and blue, so that the maximum over the $F_i$ of the absolute difference between the number of red elements and the number of blue elements (the discrepancy) is minimized. Combinatorial discrepancy has many applications in mathematics and computer science, including constructions of uniformly distributed point sets, and lower bounds for data structures and private data analysis algorithms.
We investigate the combinatorial discrepancy of geometrically defined systems, in which $P$ is an n-point set in $d$-dimensional space ,and $\mathcal{F}$ is the collection of subsets of $P$ induced by dilations and translations of a fixed convex polytope $B$. Such set systems include systems of sets induced by axis-aligned boxes, whose discrepancy is the subject of the well known Tusnady problem. We prove new discrepancy upper and lower bounds for such set systems by extending the approach based on factorization norms previously used by the author and Matousek. We improve the best known upper bound for the Tusnady problem by a logarithmic factor, using a result of Banaszczyk on signed series of vectors. We extend this improvement to any arbitrary convex polytope $B$ by using a decomposition due to Matousek. Using Fourier analytic techniques, we also prove a nearly matching discrepancy lower bound for sets induced by any fixed bounded polytope $B$ satisfying a certain technical condition.
We also outline applications of our results to geometric discrepancy, data structure lower bounds, and differential privacy.
Induced subgraphs of graphs with large chromatic number. VI. Banana trees
Published
• View Publication
• BIB
We investigate which graphs H have the property that in every graph with bounded clique number and sufficiently large chromatic number, some induced subgraph is isomorphic to a subdivision of H. In an earlier paper, one of us proved that every tree has this property; and in another earlier paper with M. Chudnovsky, we proved that every cycle has this property. Here we give a common generalization. Say a banana is the union of a set of paths all with the same ends but otherwise disjoint. We prove that if H is obtained from a tree by replacing each edge by a banana then H has the property mentioned. We also find some other multigraphs with the same property.
Macdonald polynomials and chromatic quasisymmetric functions
Published
• View Publication
• BIB
We express the integral form Macdonald polynomials as a weighted sum of Shareshian and Wachs' chromatic quasisymmetric functions of certain graphs. Then we use known expansions of these chromatic quasisymmetric functions into Schur and power sum symmetric functions to provide Schur and power sum formulas for the integral form Macdonald polynomials. Since the (integral form) Jack polynomials are a specialization of integral form Macdonald polynomials, we obtain analogous formulas for Jack polynomials as corollaries.
Strongly regular decompositions and symmetric association schemes of a power of two
For any positive integer $m$, the complete graph on $2^{2m}(2^m+2)$ vertices is decomposed into $2^m+1$ commuting strongly regular graphs, which give rise to a symmetric association scheme of class $2^{m+2}-2$. Furthermore, the eigenmatrices of the symmetric association schemes are determined explicitly. As an application, the eigenmatrix of the commutative strongly regular decomposition obtained from the strongly regular graphs is derived.
Orthogonal Tree Decompositions of Graphs
Published in SIAM Journal on Discrete Mathematics, 32/2:839--863, 2018
• View Publication
• BIB
This paper studies graphs that have two tree decompositions with the property that every bag from the first decomposition has a bounded-size intersection with every bag from the second decomposition. We show that every graph in each of the following classes has a tree decomposition and a linear-sized path decomposition with bounded intersections: (1) every proper minor-closed class, (2) string graphs with a linear number of crossings in a fixed surface, (3) graphs with linear crossing number in a fixed surface. Here `linear size' means that the total size of the bags in the path decomposition is $O(n)$ for $n$-vertex graphs. We then show that every $n$-vertex graph that has a tree decomposition and a linear-sized path decomposition with bounded intersections has $O(\sqrt{n})$ treewidth. As a corollary, we conclude a new lower bound on the crossing number of a graph in terms of its treewidth. Finally, we consider graph classes that have two path decompositions with bounded intersections. Trees and outerplanar graphs have this property. But for the next most simple class, series parallel graphs, we show that no such result holds.
Exponential Bounds for the Erdős-Ginzburg-Ziv Constant
Published in Journal of Combinatorial Theory Series A 174, 105185, 19 pp, 2020
• View Publication
• BIB
The Erdős-Ginzburg-Ziv constant of an abelian group $G$, denoted $\mathfrak{s}(G)$, is the smallest $k\in\mathbb{N}$ such that any sequence of elements of $G$ of length $k$ contains a zero-sum subsequence of length $\exp(G)$. In this paper, we use the partition rank, which generalizes the slice rank, to prove that for any odd prime $p$, \[ \mathfrak{s}\left(\mathbb{F}_{p}^{n}\right)\leq(p-1)2^{p}\left(J(p)\cdot p\right)^{n} \] where $0.8414<J(p)<0.91837$ is the constant appearing in Ellenberg and Gijswijt's bound on arithmetic progression-free subsets of $\mathbb{F}_{p}^{n}$. For large $n$, and $p>3$, this is the first exponential improvement to the trivial bound. We also provide a near optimal result conditional on the conjecture that $\left(\mathbb{Z}/k\mathbb{Z}\right)^{n}$ satisfies property $D$, showing that in this case \[ \mathfrak{s}\left(\left(\mathbb{Z}/k\mathbb{Z}\right)^{n}\right)\leq(k-1)4^{n}+k. \]
Fair division and generalizations of Sperner- and KKM-type results
Published in SIAM J. Discrete Math. 32(1), 591-610 (2018)
• View Publication
• BIB
We treat problems of fair division, their various interconnections, and their relations to Sperner's lemma and the KKM theorem as well as their variants. We prove extensions of Alon's necklace splitting result in certain regimes and relate it to hyperplane mass partitions. We show the existence of fair cake division and rental harmony in the sense of Su even in the absence of full information. Furthermore, we extend Sperner's lemma and the KKM theorem to (colorful) quantitative versions for polytopes and pseudomanifolds. For simplicial polytopes our results turn out to be improvements over the earlier work of De Loera, Peterson, and Su on a polytopal version of Sperner's lemma. Moreover, our results extend the work of Musin on quantitative Sperner-type results for PL manifolds.