Showing 20 papers (Total: 84125 papers, 48472 authors in database)
List coloring digraphs
Published
• View Publication
• BIB
The dichromatic number $\vecχ(D)$ of a digraph $D$ is the least number $k$ such that the vertex set of $D$ can be partitioned into $k$ parts each of which induces an acyclic subdigraph. Introduced by Neumann-Lara in 1982, this digraph invariant shares many properties with the usual chromatic number of graphs and can be seen as the natural analog of the graph chromatic number. In this paper, we study the list dichromatic number of digraphs, giving evidence that this notion generalizes the list chromatic number of graphs. We first prove that the list dichromatic number and the dichromatic number behave the same in many contexts, such as in small digraphs (by proving a directed version of Ohba's Conjecture), tournaments, and random digraphs. We then consider bipartite digraphs, and show that their list dichromatic number can be as large as $Ω(\log_2 n)$. We finally give a Brooks-type upper bound on the list dichromatic number of digon-free digraphs.
Self 2-distance graphs
Published in Can. Math. Bull. 60 (2017) 26-42
• View Publication
• BIB
All finite simple self $2$-distance graphs with no $4$-cycle, diamond, or triangles with a common vertex are determined. Utilizing these results, it is shown that there is no cubic self $2$-distance graphs.
Excluding a full grid minor
Published in Abh. Math. Semin. Univ. Hambg. (2017) 87: 265
• View Publication
• BIB
In this paper we characterise the graphs containing a $\mathbb{Z} \times \mathbb{Z}$ grid minor in a similar way as it has been done by Halin for graphs with an $\mathbb{N} \times \mathbb{Z}$ grid minor. Using our characterisation, we describe the structure of graphs without $\mathbb{Z} \times \mathbb{Z}$ grid minors in terms of tree-decompositions.
Relative Cayley graphs of finite groups
The relative Cayley graph of a group $G$ with respect to its proper subgroup $H$, is a graph whose vertices are elements of $G$ and two vertices $h\in H$ and $g\in G$ are adjacent if $g=hc$ for some $c\in C$, where $C$ is an inversed-closed subset of $G$. We study the relative Cayley graphs and, among other results, we discuss on their connectivity and forbidden structures, and compute some of their important numerical invariants.
On the Complexity of Rainbow Coloring Problems
Published
• View Publication
• BIB
An edge-colored graph $G$ is said to be rainbow connected if between each pair of vertices there exists a path which uses each color at most once. The rainbow connection number, denoted by $rc(G)$, is the minimum number of colors needed to make $G$ rainbow connected. Along with its variants, which consider vertex colorings and/or so-called strong colorings, the rainbow connection number has been studied from both the algorithmic and graph-theoretic points of view.
In this paper we present a range of new results on the computational complexity of computing the four major variants of the rainbow connection number. In particular, we prove that the \textsc{Strong Rainbow Vertex Coloring} problem is $NP$-complete even on graphs of diameter $3$. We show that when the number of colors is fixed, then all of the considered problems can be solved in linear time on graphs of bounded treewidth. Moreover, we provide a linear-time algorithm which decides whether it is possible to obtain a rainbow coloring by saving a fixed number of colors from a trivial upper bound. Finally, we give a linear-time algorithm for computing the exact rainbow connection numbers for three variants of the problem on graphs of bounded vertex cover number.
All or Nothing at All
We continue a study of unconditionally secure all-or-nothing transforms (AONT) begun in \cite{St}. An AONT is a bijective mapping that constructs s outputs from s inputs. We consider the security of t inputs, when s-t outputs are known. Previous work concerned the case t=1; here we consider the problem for general t, focussing on the case t=2. We investigate constructions of binary matrices for which the desired properties hold with the maximum probability. Upper bounds on these probabilities are obtained via a quadratic programming approach, while lower bounds can be obtained from combinatorial constructions based on symmetric BIBDs and cyclotomy. We also report some results on exhaustive searches and random constructions for small values of s.
On the lattice of antichains of finite intervals
Published
• View Publication
• BIB
Motivated by applications to information retrieval, we study the lattice of antichains of finite intervals of a locally finite, totally ordered set. Intervals are ordered by reverse inclusion; the order between antichains is induced by the lower set they generate. We discuss in general properties of such antichain completions; in particular, their connection with Alexandrov completions. We prove the existence of a unique, irredundant $\land$-representation by $\land$-irreducible elements, which makes it possible to write the relative pseudo-complement in closed form. We also discuss in details properties of additional interesting operators used in information retrieval. Finally, we give a formula for the rank of an element and for the height of the lattice.
Number of rational points of symmetric complete intersections over a finite field and applications
We study the set of common F_q-rational zeros of systems of multivariate symmetric polynomials with coefficients in a finite field F_q. We establish certain properties on these polynomials which imply that the corresponding set of zeros over the algebraic closure of F_q is a complete intersection with "good" behavior at infinity, whose singular locus has a codimension at least two or three. These results are used to estimate the number of F_q-rational points of the corresponding complete intersections. Finally, we illustrate the interest of these estimates through their application to certain classical combinatorial problems over finite fields.
Erd\H os-Ko-Rado theorem for $\{0,\pm 1\}$-vectors
Published
• View Publication
• BIB
The main object of this paper is to determine the maximum number of $\{0,\pm 1\}$-vectors subject to the following condition. All vectors have length $n$, exactly $k$ of the coordinates are $+1$ and one is $-1$, $n \geq 2k$. Moreover, there are no two vectors whose scalar product equals the possible minimum, $-2$. Thus, this problem may be seen as an extension of the classical Erd\H os-Ko-Rado theorem. Rather surprisingly there is a phase transition in the behaviour of the maximum at $n=k^2$. Nevertheless, our solution is complete. The main tools are from extremal set theory and some of them might be of independent interest.
Asymptotic Density of Zimin Words
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Combinatorics (March 17, 2016) dmtcs:1302
• View Publication
• BIB
Word $W$ is an instance of word $V$ provided there is a homomorphism $φ$ mapping letters to nonempty words so that $φ(V) = W$. For example, taking $φ$ such that $φ(c)=fr$, $φ(o)=e$ and $φ(l)=zer$, we see that "freezer" is an instance of "cool".
Let $\mathbb{I}_n(V,[q])$ be the probability that a random length $n$ word on the alphabet $[q] = \{1,2,\cdots q\}$ is an instance of $V$. Having previously shown that $\lim_{n \rightarrow \infty} \mathbb{I}_n(V,[q])$ exists, we now calculate this limit for two Zimin words, $Z_2 = aba$ and $Z_3 = abacaba$.
The Terminal Wiener Index of Trees with Diameter or Maximum Degree
Published in Ars.Combin.120(2015)353-367
• Search Publication
The terminal Wiener index of a tree is the sum of distances for all pairs of pendent vertices, which recently arises in the study of phylogenetic tree reconstruction and the neighborhood of trees. This paper presents a sharp upper and lower bounds for the terminal Wiener index in terms of its order and diameter and characterizes all extremal trees which attain these bounds. In addition, we investigate the properties of extremal trees which attain the maximum terminal Wiener index among all trees of order $n$ with fixed maximum degree.
Treetopes and their Graphs
Published in Discrete & Computational Geometry 64 (2): 259-289, 2020
• View Publication
• BIB
We define treetopes, a generalization of the three-dimensional roofless polyhedra (Halin graphs) to arbitrary dimensions. Like roofless polyhedra, treetopes have a designated base facet such that every face of dimension greater than one intersects the base in more than one point. We prove an equivalent characterization of the 4-treetopes using the concept of clustered planarity from graph drawing, and we use this characterization to recognize the graphs of 4-treetopes in polynomial time. This result provides one of the first classes of 4-polytopes, other than pyramids and stacked polytopes, that can be recognized efficiently from their graphs.
Analogues of a Fibonacci-Lucas Identity
Published in Fibonacci Quart., 54 (no. 2), 166-171, (2016)
• View Publication
• BIB
Sury's 2014 proof of an identity for Fibonacci and Lucas numbers (Identity 236 of Benjamin and Quinn's 2003 book: {\em Proofs that count: The art of combinatorial proof}) has excited a lot of comment. We give an alternate, telescoping, proof of this---and associated---identities and generalize them. We also give analogous identities for other sequences that satisfy a three-term recurrence relation.
Duality between star and plus connected components in percolation
Tile \(\mathbb{R}^2\) into disjoint unit squares \(\{S_k\}_{k \geq 0}\) with the origin being the centre of \(S_0\) and say that \(S_i\) and \(S_j\) are star adjacent if they share a corner and plus adjacent if they share an edge. Every square is either vacant or occupied. Star and plus connected components containing the origin have been previously studied using unicoherence and interface graphs. In this paper, we use the structure of the outermost boundaries derived in Ganesan (2015) to alternately obtain duality between star and plus connected components in the following sense: There is a plus connected cycle of vacant squares attached to surrounding the finite star connected component containing the origin. There is a star connected cycle of vacant squares attached to and surrounding the finite plus connected component containing the origin.
A low-energy decomposition theorem
Published in Quart. J. Math. 68 (2017), no. 1, 207--226
• View Publication
• BIB
We prove that any finite set of real numbers can be split into two parts, one part being highly non-additive and the other highly non-multiplicative.
On the 2-ranks of a class of unitals
Published
• View Publication
• BIB
Let $U_θ$ be a unital defined in a shift plane of odd order $q^2$, which are constructed recently by the authors. In particular, when the shift plane is desarguesian, $U_θ$ is a special Buekenhout-Metz unital formed by a union of ovals. We investigate the dimensions of the binary codes derived from $U_θ$.
By using Kloosterman sums, we obtain a new lower bound on the aforementioned dimensions which improves the result obtained by Leung and Xiang in 2009. In particular, for $q=3^m$, this new lower bound equals $\frac{2}{3}(q^3+q^2-2q)-1$ for even $m$ and $\frac{2}{3}(q^3+q^2+q)-1$ for odd $m$.
On flow polytopes, order polytopes, and certain faces of the alternating sign matrix polytope
In this paper we study an alternating sign matrix analogue of the Chan-Robbins-Yuen polytope, which we call the ASM-CRY polytope. We show that this polytope has Catalan many vertices and its volume is equal to the number of standard Young tableaux of staircase shape; we also determine its Ehrhart polynomial. We achieve the previous by proving that the members of a family of faces of the alternating sign matrix polytope which includes ASM-CRY are both order and flow polytopes. Inspired by the above results, we relate three established triangulations of order and flow polytopes, namely Stanley's triangulation of order polytopes, the Postnikov-Stanley triangulation of flow polytopes and the Danilov-Karzanov-Koshevoy triangulation of flow polytopes. We show that when a graph $G$ is a planar graph, in which case the flow polytope $F_G$ is also an order polytope, Stanley's triangulation of this order polytope is one of the Danilov-Karzanov-Koshevoy triangulations of $F_G$. Moreover, for a general graph $G$ we show that the set of Danilov-Karzanov-Koshevoy triangulations of $F_G$ is a subset of the set of Postnikov-Stanley triangulations of $F_G$. We also describe explicit bijections between the combinatorial objects labeling the simplices in the above triangulations.
I,F-partitions of Sparse Graphs
Published
• View Publication
• BIB
A star $k$-coloring is a proper $k$-coloring where the union of two color classes induces a star forest. While every planar graph is 4-colorable, not every planar graph is star 4-colorable. One method to produce a star 4-coloring is to partition the vertex set into a 2-independent set and a forest; such a partition is called an I,F-partition. We use a combination of potential functions and discharging to prove that every graph with maximum average degree less than $\frac{5}{2}$ has an I,F-partition, which is sharp and answers a question of Cranston and West [A guide to the discharging method, arXiv:1306.4434]. This result implies that planar graphs of girth at least 10 are star 4-colorable, improving upon previous results of Bu, Cranston, Montassier, Raspaud, and Wang [Star coloring of sparse graphs, J. Graph Theory 62 (2009), 201-219].
Stability and Turán numbers of a class of hypergraphs via Lagrangians
Published
• View Publication
• BIB
Given a family of $r$-uniform hypergraphs ${\cal F}$ (or $r$-graphs for brevity), the Turán number $ex(n,{\cal F})$ of ${\cal F}$ is the maximum number of edges in an $r$-graph on $n$ vertices that does not contain any member of ${\cal F}$. A pair $\{u,v\}$ is covered in a hypergraph $G$ if some edge of $G$ contains $\{u,v\}$. Given an $r$-graph $F$ and a positive integer $p\geq n(F)$, let $H^F_p$ denote the $r$-graph obtained as follows. Label the vertices of $F$ as $v_1,\ldots, v_{n(F)}$. Add new vertices $v_{n(F)+1},\ldots, v_p$. For each pair of vertices $v_i,v_j$ not covered in $F$, add a set $B_{i,j}$ of $r-2$ new vertices and the edge $\{v_i,v_j\}\cup B_{i,j}$, where the $B_{i,j}$'s are pairwise disjoint over all such pairs $\{i,j\}$. We call $H^F_p$ the expanded $p$-clique with an embedded $F$. For a relatively large family of $F$, we show that for all sufficiently large $n$, $ex(n,H^F_p)=|T_r(n,p-1)|$, where $T_r(n,p-1)$ is the balanced complete $(p-1)$-partite $r$-graph on $n$ vertices. We also establish structural stability of near extremal graphs. Our results generalize or strengthen several earlier results and provide a class of hypergraphs for which the Turán number is exactly determined (for large $n$).
Incidences between planes over finite fields
Published
• View Publication
• BIB
We use methods from spectral graph theory to obtain bounds on the number of incidences between $k$-planes and $h$-planes in $\mathbb{F}_q^d$ which generalize a recent result given by Bennett, Iosevich, and Pakianathan (2014). More precisely, we prove that the number of incidences between a set $\mathcal{P}$ of $k$-planes and a set $\mathcal{H}$ of $h$-planes with $h\ge 2k+1$, which is denoted by $I(\mathcal{P},\mathcal{H})$, satisfies \[\left\vert I(\mathcal{P},\mathcal{H})-\frac{|\mathcal{P}||\mathcal{H}|}{q^{(d-h)(k+1)}}\right\vert \lesssim q^{\frac{(d-h)h+k(2h-d-k+1)}{2}}\sqrt{|\mathcal{P}||\mathcal{H}|}. \]