Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Elementary polytopes with high lift-and-project ranks for strong positive semidefinite operators
Published in Discrete Optimization 27 (2018), 103-129
• View Publication
• BIB
We consider operators acting on convex subsets of the unit hypercube. These operators are used in constructing convex relaxations of combinatorial optimization problems presented as a 0,1 integer programming problem or a 0,1 polynomial optimization problem. Our focus is mostly on operators that, when expressed as a lift-and-project operator, involve the use of semidefiniteness constraints in the lifted space, including operators due to Lasserre and variants of the Sherali--Adams and Bienstock--Zuckerberg operators. We study the performance of these semidefinite-optimization-based lift-and-project operators on some elementary polytopes --- hypercubes that are chipped (at least one vertex of the hypercube removed by intersection with a closed halfspace) or cropped (all $2^n$ vertices of the hypercube removed by intersection with $2^n$ closed halfspaces) to varying degrees of severity $ρ$. We prove bounds on $ρ$ where these operators would perform badly on the aforementioned examples. We also show that the integrality gap of the chipped hypercube is invariant under the application of several lift-and-project operators of varying strengths.
The crossing number of the cone of a graph
Published
• View Publication
• BIB
Motivated by a problem asked by Richter and by the long standing Harary-Hill conjecture, we study the relation between the crossing number of a graph $G$ and the crossing number of its cone $CG$, the graph obtained from $G$ by adding a new vertex adjacent to all the vertices in $G$. Simple examples show that the difference $cr(CG)-cr(G)$ can be arbitrarily large for any fixed $k=cr(G)$. In this work, we are interested in finding the smallest possible difference, that is, for each non-negative integer $k$, find the smallest $f(k)$ for which there exists a graph with crossing number at least $k$ and cone with crossing number $f(k)$. For small values of $k$, we give exact values of $f(k)$ when the problem is restricted to simple graphs, and show that $f(k)=k+Θ(\sqrt {k})$ when multiple edges are allowed.
Clique Coverings and Claw-free Graphs
Let $\cal C$ be a clique covering for $E(G)$ and let $v$ be a vertex of $G$. The valency of vertex $v$ (with respect to $\cal C$), denoted by $val_{\cal C}(v)$, is the number of cliques in $\cal C$ containing $v$. The local clique cover number of $G$, denoted by $lcc(G)$, is defined as the smallest integer $k$, for which there exists a clique covering for $E(G)$ such that $val_{\cal C}(v)$ is at most $k$, for every vertex $v\in V(G)$. In this paper, among other results, we prove that if $G$ is a claw-free graph, then $lcc(G)+χ(G)\leq n+1$.
Edge Clique Cover of Claw-free Graphs
Published in Journal of Graph Theory, Volume 90, 2018, 311 -- 405
• View Publication
• BIB
The smallest number of cliques, covering all edges of a graph $ G $, is called the (edge) clique cover number of $ G $ and is denoted by $ cc(G) $. It is an easy observation that for every line graph $ G $ with $ n $ vertices, $cc(G)\leq n $. G. Chen et al. [Discrete Math. 219 (2000), no. 1--3, 17--26; MR1761707] extended this observation to all quasi-line graphs and questioned if the same assertion holds for all claw-free graphs. In this paper, using the celebrated structure theorem of claw-free graphs due to Chudnovsky and Seymour, we give an affirmative answer to this question for all claw-free graphs with independence number at least three. In particular, we prove that if $ G $ is a connected claw-free graph on $ n $ vertices with $ α(G)\geq 3 $, then $ cc(G)\leq n $ and equality holds if and only if $ G $ is either the graph of icosahedron, or the complement of a graph on $10$ vertices called twister or the $p^{th}$ power of the cycle $ C_n $, for $1\leq p \leq \lfloor (n-1)/3\rfloor $.
Graph parameters, Ramsey theory and the speed of hereditary properties
Published
• View Publication
• BIB
The speed of a hereditary property $P$ is the number $P_n$ of $n$-vertex labelled graphs in $P$. It is known that the rates of growth of $P_n$ constitute discrete layers and the speed jumps, in particular, from constant to polynomial, from polynomial to exponential and from exponential to factorial. One more jump occurs when the entropy $\lim_{n\to\infty}\frac{\log_2 P_n}{\binom{n}{2}}$ changes from 0 to a nonzero value. In the present paper, for each of these jumps we identify a graph parameter responsible for it, i.e. we show that a jump of the speed coincides with a jump of the respective parameter from finitude to infinity. In particular, we show that the speed of a hereditary property $P$ is sub-factorial if and only if the neighbourhood diversity of graphs in $P$ is bounded by a constant, and that the entropy of a hereditary property $P$ is 0 if and only if the VC-dimension of graphs in $P$ is bounded by a constant. All the result are obtained by Ramsey-type arguments.
The Range of a Steiner Operation
This paper answers a fundamental question in the theory of Steiner operations (StOps) as defined and studied in the monograph, "Global Methods for Combinatorial Isoperimetric Problems" (GMCIP). StOps are morphisms for combinatorial isoperimetric problems, analogous to Steiner symmetrization for continuous isoperimetric problems. The usefulness of a StOp, Phi, a function from the power set of V (a finite set) to the power set of V, depends on having an efficient representation of its range. In GMCIP the problem was treated case-by-case. In each case the StOp induced a partial order, P, on V so that Range(Phi)=I(P), the set of all order ideals of P. Here we show (directly from the axioms for a StOp) that every idempotent StOp admits such a representation of its range (P is then called the StOp-order of Phi). That result leads to another question: What additional structure does Range(Phi) have? The answer is none. We show that every finite poset is the StOp-order of some idempotent Steiner operation.
Odd extensions of transitive groups via symmetric graphs
Published
• View Publication
• BIB
When dealing with symmetry properties of mathematical objects, one of the fundamental questions is to determine their full automorphism group. In this paper this question is considered in the context of even/odd permutations dichotomy. More precisely: when is it that existence of automorphisms acting as even permutations on the vertex set of a graph, called {\em even automorphisms}, forces existence of automorphisms that act as odd permutations, called {\em odd automorphisms}. As a first step towards resolving the above question, a complete information on existence of odd automorphisms in cubic symmetric graphs is given.
Algorithms for Colourful Simplicial Depth and Medians in the Plane
Published
• View Publication
• BIB
The colourful simplicial depth of a point x in the plane relative to a configuration of n points in k colour classes is exactly the number of closed simplices (triangles) with vertices from 3 different colour classes that contain x in their convex hull. We consider the problems of efficiently computing the colourful simplicial depth of a point x, and of finding a point, called a median, that maximizes colourful simplicial depth.
For computing the colourful simplicial depth of x, our algorithm runs in time O(n log(n) + k n) in general, and O(kn) if the points are sorted around x. For finding the colourful median, we get a time of O(n^4). For comparison, the running times of the best known algorithm for the monochrome version of these problems are O(n log(n)) in general, improving to O(n) if the points are sorted around x for monochrome depth, and O(n^4) for finding a monochrome median.
Restricted completion of sparse partial Latin squares
Published in Combinator. Probab. Comp. 28 (2019) 675-695
• View Publication
• BIB
An $n \times n$ partial Latin square $P$ is called $α$-dense if each row and column has at most $αn$ non-empty cells and each symbol occurs at most $αn$ times in $P$. An $n \times n$ array $A$ where each cell contains a subset of $\{1,\dots, n\}$ is a $(βn, βn, βn)$-array if each symbol occurs at most $βn$ times in each row and column and each cell contains a set of size at most $βn$. Combining the notions of completing partial Latin squares and avoiding arrays, we prove that there are constants $α, β> 0$ such that, for every positive integer $n$, if $P$ is an $α$-dense $n \times n$ partial Latin square, $A$ is an $n \times n$ $(βn, βn, βn)$-array, and no cell of $P$ contains a symbol that appears in the corresponding cell of $A$, then there is a completion of $P$ that avoids $A$; that is, there is a Latin square $L$ that agrees with $P$ on every non-empty cell of $P$, and, for each $i,j$ satisfying $1 \leq i,j \leq n$, the symbol in position $(i,j)$ in $L$ does not appear in the corresponding cell of $A$.
Toll number of the Cartesian and the lexicographic product of graphs
Published
• View Publication
• BIB
Toll convexity is a variation of the so-called interval convexity. A tolled walk $T$ between $u$ and $v$ in $G$ is a walk of the form $T: u,w_1,\ldots,w_k,v,$ where $k\ge 1$, in which $w_1$ is the only neighbor of $u$ in $T$ and $w_k$ is the only neighbor of $v$ in $T$. As in geodesic or monophonic convexity, toll interval between $u,v\in V(G)$ is a set $T_G(u,v)=\{x\in V(G)\,:\,x \textrm{ lies on a tolled walk between } u \textrm{ and } v\}$. A set of vertices $S$ is toll convex, if $T_{G}(u,v)\subseteq S$ for all $u,v\in S$. First part of the paper reinvestigates the characterization of convex sets in the Cartesian product of graphs. Toll number and toll hull number of the Cartesian product of two arbitrary graphs is proven to be 2. The second part deals with the lexicographic product of graphs. It is shown that if $H$ is not isomorphic to a complete graph, $tn(G \circ H) \leq 3\cdot tn(G)$. We give some necessary and sufficient conditions for $tn(G \circ H) = 3\cdot tn(G)$. Moreover, if $G$ has at least two extreme vertices, a complete characterization is given. Also graphs with $tn(G \circ H)=2$ are characterized - this is the case iff $G$ has an universal vertex and $tn(H)=2$. Finally, the formula for $tn(G \circ H)$ is given - it is described in terms of the so-called toll-dominating triples.
$χ$-bounds, operations and chords
Published in Journal of Graph Theory, 88, 0364-9024, 2018
• View Publication
• BIB
A \emph{long unichord} in a graph is an edge that is the unique chord of some cycle of length at least 5. A graph is \emph{long-unichord-free} if it does not contain any long-unichord. We prove a structure theorem for long-unichord-free graph. We give an $O(n^4m)$-time algorithm to recognize them. We show that any long-unichord-free graph $G$ can be colored with at most $O(ω^3)$ colors, where $ω$ is the maximum number of pairwise adjacent vertices in $G$.
An invariant for minimum triangle-free graphs
We study the number of edges, $e(G)$, in triangle-free graphs with a prescribed number of vertices, $n(G)$, independence number, $α(G)$, and number of cycles of length four, $\operatorname{N}(C_4;G)$. We in particular show that $$3e(G) - 17n(G) + 35α(G) + \operatorname{N}(C_4;G) \geq 0$$ for all triangle-free graphs $G$. We also characterise the graphs that satisfy this inequality with equality.
Frobenius and Cartier algebras of Stanley-Reisner rings (II)
Published
• View Publication
• BIB
It is known that the Frobenius algebra of the injective hull of the residue field of a complete Stanley--Reisner ring (i.e. a formal power series ring modulo a squarefree monomial ideal) can be only principally generated or infinitely generated as algebra over its degree zero piece, and that this fact can be read off in the corresponding simplicial complex; in the infinite case, we exhibit a 1--1 correspondence between potential new generators appearing on each graded piece and certain pairs of faces of such a simplicial complex, and we use it to provide an alternative proof of the fact that these Frobenius algebras can only be either principally generated or infinitely generated.
Spectrally Perron Polynomials and the Cauchy-Ostrovsky Theorem
Published
• View Publication
• BIB
In this note, we simplify the statements of theorems attributed to Cauchy and Ostrovsky and give proofs of each theorem via combinatorial and nonnegative matrix theory. We also show that each simple sufficient condition in each statement is also necessary in its respective case. In addition, we introduce the notion of a spectrally Perron polynomial and pose a problem that appeals to a wide mathematical audience.
Graphic TSP in cubic graphs
We present a polynomial-time 9/7-approximation algorithm for the graphic TSP for cubic graphs, which improves the previously best approximation factor of 1.3 for 2-connected cubic graphs and drops the requirement of 2-connectivity at the same time. To design our algorithm, we prove that every simple 2-connected cubic n-vertex graph contains a spanning closed walk of length at most 9n/7-1, and that such a walk can be found in polynomial time.
On Graphs Representable by Pattern-Avoiding Words
Published
• View Publication
• BIB
In this paper we study graphs defined by pattern-avoiding words. Word-representable graphs have been studied extensively following their introduction in 2000 and are the subject of a book published by Kitaev in 2015. Recently there has been interest in studying graphs represented by pattern-avoiding words. In particular, in 2016, Gao, Kitaev, and Zhang investigated 132-representable graphs, that is, word-representable graphs that can be represented by a word which avoids the pattern 132. They proved that all 132- representable graphs are circle graphs and provided examples and properties of 132-representable graphs. They posed several questions, some of which we answer in this paper.
One of our main results is that not all circle graphs are 132-representable, thus proving that 132-representable graphs are a proper subset of circle graphs, a question that was left open in the paper by Gao et al. We show that 123-representable graphs are also a proper subset of circle graphs, and are different from 132-representable graphs. We also study graphs represented by pattern-avoiding 2-uniform words, that is, words in which every letter appears exactly twice.
A misère play $\star$-operator
Published
• View Publication
• BIB
We study the $\star$-operator (Larsson et al. 2011) of impartial vector subtraction games (Golomb 1965). Here we extend the notion to the misère-play convention, and prove convergence and other properties; notably more structure is obtained under misère-play as compared with the normal-play convention (Larsson 2012).
Maximum atom-bond connectivity index with given graph parameters
Published in Discrete Appl. Math., 2016
• View Publication
• BIB
The atom-bond connectivity (ABC) index is a degree-based topological index. It was introduced due to its applications in modeling the properties of certain molecular structures and has been since extensively studied. In this note, we examine the influence on the extremal values of the ABC index by various graph parameters. More specifically, we consider the maximum ABC index of connected graphs of given order, with fixed independence number, number of pendent vertices, chromatic number and edge-connectivity respectively. We provide characterizations of extremal structures as well as some conjectures. Numerical analysis of the extremal values are also presented.
Graphs with large girth and nonnegative curvature dimension condition
Published
• View Publication
• BIB
In this paper, we classify unweighted graphs satisfying the curvature dimension condition CD(0,\infty) whose girth are at least five.
Multiple Exchange Property for M$^\natural$-concave Functions and Valuated Matroids
Published
• View Publication
• BIB
The multiple exchange property for matroid bases is generalized for valuated matroids and M$^\natural$-concave set functions. The proof is based on the Fenchel-type duality theorem in discrete convex analysis. The present result has an implication in economics: The strong no complementarities (SNC) condition of Gul and Stacchetti is in fact equivalent to the gross substitutes (GS) condition of Kelso and Crawford.