polynomial
11422 papers tagged with this keyword
Completions of epsilon-dense partial Latin squares; quasirandom k-colorings of graphs
A classical question in combinatorics is the following:\ given a partial Latin square $P$, when can we complete $P$ to a Latin square $L$? In this paper, we investigate the class of \textbf{$ε$-dense partial Latin squares}:\ partial Latin squares in which each symbol, row, and column contains no more than $εn$-many nonblank cells. Based on a conjecture of Nash-Williams, Daykin and Häggkvist conjectured that all $\frac{1}{4}$-dense partial Latin squares are completable. In this paper, we will discuss the proof methods and results used in previous attempts to resolve this conjecture, introduce a novel technique derived from a paper by Jacobson and Matthews on generating random Latin squares, and use this novel technique to study $ ε$-dense partial Latin squares that contain no more than $δn^2$ filled cells in total.
In particular, we construct completions for all $ ε$-dense partial Latin squares containing no more than $δn^2$ filled cells in total, given that $ε< \frac{1}{12}, δ< \frac{ \left(1-12ε\right)^{2}}{10409}$. In particular, we show that all $9.8 \cdot 10^{-5}$-dense partial Latin squares are completable.
We further show that such completions can always be found in polynomial time. This contrasts a result of Colbourn. In Chapter 3, we strengthen Colbourn's result to the claim that completing an arbitrary $\left(\frac{1}{2} + ε\right)$-dense partial Latin square is NP-complete, for any $ε> 0$.
Additional results on triangulations of graphs are found.
In an unrelated vein, Chapter 6 explores the class of quasirandom graphs. In specific, we study quasirandom $k$-edge colorings, and create an analogue of Chung, Graham and Wilson's well-known results for such colorings.
A polynomial embedding of pairs of orthogonal partial latin squares
Published
• View Publication
• BIB
We show that a pair of orthogonal partial latin squares of order $n$ can be embedded in a pair of orthogonal latin squares of order at most $16n^4$ and all orders greater than or equal to $48n^4$. This paper provides the first direct polynomial order embedding construction in the literature.
Nested colourings of graphs
A proper vertex colouring of a graph is \emph{nested} if the vertices of each of its colour classes can be ordered by inclusion of their open neighbourhoods. Through a relation to partially ordered sets, we show that the nested chromatic number can be computed in polynomial time.
Clearly, the nested chromatic number is an upper bound for the chromatic number of a graph. We develop multiple distinct bounds on the nested chromatic number using common properties of graphs. We also determine the behaviour of the nested chromatic number under several graph operations, including the direct, Cartesian, strong, and lexicographic product. Moreover, we classify precisely the possible nested chromatic numbers of graphs on a fixed number of vertices with a fixed chromatic number.
Handelman's hierarchy for the maximum stable set problem
Published
• View Publication
• BIB
The maximum stable set problem is a well-known NP-hard problem in combinatorial optimization, which can be formulated as the maximization of a quadratic square-free polynomial over the (Boolean) hypercube. We investigate a hierarchy of linear programming relaxations for this problem, based on a result of Handelman showing that a positive polynomial over a polytope with non-empty interior can be represented as conic combination of products of the linear constraints defining the polytope. We relate the rank of Handelman's hierarchy with structural properties of graphs. In particular we show a relation to fractional clique covers which we use to upper bound the Handelman rank for perfect graphs and determine its exact value in the vertex-transitive case. Moreover we show two upper bounds on the Handelman rank in terms of the (fractional) stability number of the graph and compute the Handelman rank for several classes of graphs including odd cycles and wheels and their complements. We also point out links to several other linear and semidefinite programming hierarchies.
Polynomial Gap Extensions of the Erdős-Pósa Theorem
Published
• View Publication
• BIB
Given a graph $H$, we denote by ${\cal M}(H)$ all graphs that can be contracted to $H$. The following extension of the Erdős-Pósa Theorem holds: for every $h$-vertex planar graph $H$, there exists a function $f_{H}$ such that every graph $G$, either contains $k$ disjoint copies of graphs in ${\cal M}(H)$, or contains a set of $f_{H}(k)$ vertices meeting every subgraph of $G$ that belongs in ${\cal M}(H)$. In this paper we prove that this is the case for every graph $H$ of pathwidth at most 2 and, in particular, that $f_{H}(k) = 2^{O(h^2)}\cdot k^{2}\cdot \log k$. As a main ingredient of the proof of our result, we show that for every graph $H$ on $h$ vertices and pathwidth at most 2, either $G$ contains $k$ disjoint copies of $H$ as a minor or the treewidth of $G$ is upper-bounded by $2^{O(h^2)}\cdot k^{2}\cdot \log k$. We finally prove that the exponential dependence on $h$ in these bounds can be avoided if $H=K_{2,r}$. In particular, we show that $f_{K_{2,r}}=O(r^2\cdot k^2)$
Low Polynomial Exclusion of Planar Graph Patterns
Published
• View Publication
• BIB
The celebrated grid exclusion theorem states that for every $h$-vertex planar graph $H$, there is a constant $c_{h}$ such that if a graph $G$ does not contain $H$ as a minor then $G$ has treewidth at most $c_{h}$. We are looking for patterns of $H$ where this bound can become a low degree polynomial. We provide such bounds for the following parameterized graphs: the wheel ($c_{h}=O(h)$), the double wheel ($c_{h}=O(h^2\cdot \log^{2} h)$), any graph of pathwidth at most 2 ($c_{h}=O(h^{2})$), and the yurt graph ($c_{h}=O(h^{4})$).
Quantum walk in symmetric Cayley graph over $\Z_2^n$
We show that the hitting time of the discrete quantum walk on a symmetric Cayley graph over $\Z_2^n $ from a vertex to its antipodal is polynomial in degree of the graph. We prove that returning time of quantum walk on a symmetric Cayley graph over $\Z_2^n $ is polynomial and the probability to hit is almost one. To prove it, we give a new estimation of Kravchuk coefficients. We give an example of a probabilistic polynomial algorithm that finds an antipodal vertex in symmetric Cayley graphs.
The Complexity of the Proper Orientation Number
Published
• View Publication
• BIB
Graph orientation is a well-studied area of graph theory. A proper orientation of a graph $G = (V,E)$ is an orientation $D$ of $E(G)$ such that for every two adjacent vertices $ v $ and $ u $, $ d^{-}_{D}(v) \neq d^{-}_{D}(u)$ where $d_{D}^{-}(v)$ is the number of edges with head $v$ in $D$. The proper orientation number of $G$ is defined as $ \overrightarrowχ (G) =\displaystyle \min_{D\in Γ} \displaystyle\max_{v\in V(G)} d^{-}_{D}(v) $ where $Γ$ is the set of proper orientations of $G$. We have $ χ(G)-1 \leq \overrightarrowχ (G)\leq Δ(G) $. We show that, it is $ \mathbf{NP} $-complete to decide whether $\overrightarrowχ(G)=2$, for a given planar graph $G$. Also, we prove that there is a polynomial time algorithm for determining the proper orientation number of 3-regular graphs. In sharp contrast, we will prove that this problem is $ \mathbf{NP} $-hard for 4-regular graphs.
The arithmetic Tutte polynomials of the classical root systems
Published
• View Publication
• BIB
Many combinatorial and topological invariants of a hyperplane arrangement can be computed in terms of its Tutte polynomial. Similarly, many invariants of a hypertoric arrangement can be computed in terms of its arithmetic Tutte polynomial. We compute the arithmetic Tutte polynomials of the classical root systems of types A,B,C, and D, with respect to their integer, root, and weight lattices. We do it in two ways: by introducing a finite field method for arithmetic Tutte polynomials, and by enumerating signed graphs with respect to six parameters.
Orbits of pairs in abelian groups
Published in Séminaire Lotharingien de Combinatoire, B70h (2014), 24 pp
• Search Publication
We compute the number of orbits of pairs in a finitely generated torsion module (more generally, a module of bounded order) over a discrete valuation ring. The answer is found to be a polynomial in the cardinality of the residue field whose coefficients are integers which depend only on the elementary divisors of the module, and not on the ring in question. The coefficients of these polynomials are conjectured to be non-negative integers.
Krull dimension of monomial ideals in polynomial rings with real exponents
Published
• View Publication
• BIB
We develop a new technique for studying monomial ideals in the standard polynomial rings $A[X_1,\ldots,X_d]$ where $A$ is a commutative ring with identity. The main idea is to consider induced ideals in the semigroup ring $R=A[\mathbb{M}^1_{\geq 0}\times\cdots\times\mathbb{M}^d_{\geq 0}]$ where $\mathbb{M}^1,\ldots,\mathbb{M}^d$ are non-zero additive subgroups of $\mathbb{R}$. We prove that the set of non-zero finitely generated monomial ideals in $R$ has the structure of a metric space, and we prove that a version of Krull dimension for this setting is lower semicontinuous with respect to this metric space structure. We also show how to use discrete techniques to study certain monomial ideals in this context.
Subword complexes and edge subdivisions
Published
• View Publication
• BIB
For a finite Coxeter group, a subword complex is a simplicial complex associated with a pair (Q, π), where Q is a word in the alphabet of simple reflections, $π$ is a group element. We discuss the transformations of such a complex induced by braid moves of the word Q. We show that under certain conditions, this transformation is a composition of edge subdivisions and inverse edge subdivisions. In such a case, we describe how the H- and the γ-polynomials change under this operation. This case includes all braid moves for groups with simply-laced Coxeter diagrams.
Clustered planarity testing revisited
Published in The Electronic Journal of Combinatorics 22 (2015), Issue 4, P4.24, 29 pp
• View Publication
• BIB
The Hanani--Tutte theorem is a classical result proved for the first time in the 1930s that characterizes planar graphs as graphs that admit a drawing in the plane in which every pair of edges not sharing a vertex cross an even number of times. We generalize this result to clustered graphs with two disjoint clusters, and show that a straightforward extension to flat clustered graphs with three or more disjoint clusters is not possible. For general clustered graphs we show a variant of the Hanani--Tutte theorem in the case when each cluster induces a connected subgraph. Di Battista and Frati proved that clustered planarity of embedded clustered graphs whose every face is incident with at most five vertices can be tested in polynomial time. We give a new and short proof of this result, using the matroid intersection algorithm.
Worst-Case Results For Positive Semidefinite Rank
Published
• View Publication
• BIB
This paper presents various worst-case results on the positive semidefinite (psd) rank of a nonnegative matrix, primarily in the context of polytopes. We prove that the psd rank of a generic n-dimensional polytope with v vertices is at least (nv)^(1/4) improving on previous lower bounds. For polygons with v vertices, we show that psd rank cannot exceed 4ceil(v/6) which in turn shows that the psd rank of a p by q matrix of rank three is at most 4ceil(min{p,q}/6). In general, a nonnegative matrix of rank (k+1 choose 2) has psd rank at least k and we pose the problem of deciding whether the psd rank is exactly k. Using geometry and bounds on quantifier elimination, we show that this decision can be made in polynomial time when k is fixed.
Solution to an isotopism question concerning rank 2 semifields
Published
• View Publication
• BIB
In [U. Dempwolff: More Translation Planes and Semifields from Dembowski-Ostrom Polynomials, Designs, Codes, Cryptogr. \textbf{68} (1-3) (2013), 81-103], the author gives a construction of three classes of rank two semifields of order $q^{2n}$, with $q$ and $n$ odd, using Dembowski-Ostrom polynomials. The question whether these semifields are new, i.e. not isotopic to previous constructions, is left as an open problem. In this paper we solve this problem for $n>3$, in particular we prove that two of these classes, labeled $D_{A}$ and $D_{AB}$, are new for $n>3$, whereas presemifields in family $D_{B}$ are isotopic to Generalized Twisted Fields for each $n\geq 3$.
Independent set in categorical products of cographs and splitgraphs
We show that there are polynomial-time algorithms to compute maximum independent sets in the categorical products of two cographs and two splitgraphs. We show that the ultimate categorical independence ratio is computable in polynomial time for cographs.
The ultimate rank of tropical matrices
Published
• View Publication
• BIB
A tropical matrix is a matrix defined over the max-plus semiring. For such matrices, there exist several non-coinciding notions of rank: the row rank, the column rank, the Schein/Barvinok rank, the Kapranov rank, or the tropical rank, among others. In the present paper, we show that there exists a natural notion of ultimate rank for the powers of a tropical matrix, which does not depend on the underlying notion of rank. Furthermore, we provide a simple formula for the ultimate rank of a matrix which can therefore be computed in polynomial time. Then we turn our attention to finitely generated semigroups of matrices, for which our notion of ultimate rank is generalized naturally. We provide both combinatorial and geometric characterizations of semigroups having maximal ultimate rank. As a byproduct, we obtain a polynomial algorithm to decide if the ultimate rank of a finitely generated semigroup is maximal.
Excessive [l,m]-factorizations
Given two positive integers l and m, with l \le m, an [l,m]-covering of a graph G is a set M of matchings of G whose union is the edge set of G and such that l \le |L| \le m for every matching L of M. An [l,m]-covering M of G is an excessive [l,m]-factorization of G if the cardinality of M is as small as possible. The number of matchings in an excessive [l,m]-factorization of G (or \infty, if G does not admit an excessive [l,m]-factorization) is a graph parameter called the excessive [l,m]-index of G and denoted by χ'[l,m](G). In this paper we study such parameter. Our main result is a general formula for the excessive [l,m]-index of a graph G in terms of other graph parameters. Furthermore, we give a polynomial time algorithm which computes χ'[l,m](G) and outputs an excessive [l,m]-factorization of G, whenever the latter exists.
New classes of quadratic bent functions in polynomial forms
Published
• View Publication
• BIB
In this paper, we propose a new construction of quadratic bent functions in polynomial forms. Right Euclid algorithm in skew-polynomial rings over finite fields of characteristic 2 is applied in the proof.
Final title: "More on domination polynomial and domination root" Previous title: "Graphs with domination roots in the right half-plane"
Let $G$ be a simple graph of order n. The domination polynomial of G is the polynomial D(G,x) =\sum d(G, i)x^i, where d(G,i) is the number of dominating sets of G of size i. Every root of D(G,x) is called the domination root of G. It is clear that (0,\infty) is zero free interval for domination polynomial of a graph. It is interesting to investigate graphs which have complex domination roots with positive real parts. In this paper, we first investigate complexity of the domination polynomial at specific points. Then we present and investigate some families of graphs whose complex domination roots have positive real part.