planar
3156 papers tagged with this keyword
Three-coloring triangle-free planar graphs in linear time
Published in ACM Transactions on Algorithms 7 (2011), Article 41
• Search Publication
Grotzsch's theorem states that every triangle-free planar graph is 3-colorable. Several relatively simple proofs of this fact were provided by Thomassen and other authors. It is easy to convert these proofs into quadratic-time algorithms to find a 3-coloring, but it is not clear how to find such a coloring in linear time (Kowalik used a nontrivial data structure to construct an O(n log n) algorithm).
We design a linear-time algorithm to find a 3-coloring of a given triangle-free planar graph. The algorithm avoids using any complex data structures, which makes it easy to implement. As a by-product we give a yet simpler proof of Grotzsch's theorem.
A family of Alltop functions that are EA-inequivalent to the cubic function
Published in IEEE Transactions on Communications, 61(11) 4722 - 4727 , 2013
• View Publication
• BIB
Sequences with optimal correlation properties are much sought after for applications in communication systems. In 1980, Alltop (IEEE Trans. Inf. Theory 26(3):350-354, 1980) described a set of sequences based on a cubic function and showed that these functions were optimal with respect to known bounds on auto and crosscorrelation. Subsequently these sequences were used to construct mutually unbiased bases, a structure of importance in quantum information theory. The key feature of this cubic function is that its difference function is a planar function. Functions with planar difference functions have been called \emph{Alltop functions}. This paper provides a new family of Alltop functions and establishes the use of Alltop functions for construction of sequence sets and MUBs.
Constructing commutative semifields of square order
Published
• View Publication
• BIB
The projection construction has been used to construct semifields of odd characteristic using a field and a twisted semifield [Commutative semifields from projection mappings, Designs, Codes and Cryptography, 61 (2011), 187--196]. We generalize this idea to a projection construction using two twisted semifields to construct semifields of odd characteristic. Planar functions and semifields have a strong connection so this also constructs new planar functions.
Planar Hypohamiltonian Graphs on 40 Vertices
Published
• View Publication
• BIB
A graph is hypohamiltonian if it is not Hamiltonian, but the deletion of any single vertex gives a Hamiltonian graph. Until now, the smallest known planar hypohamiltonian graph had 42 vertices, a result due to Araya and Wiener. That result is here improved upon by 25 planar hypohamiltonian graphs of order 40, which are found through computer-aided generation of certain families of planar graphs with girth 4 and a fixed number of 4-faces. It is further shown that planar hypohamiltonian graphs exist for all orders greater than or equal to 42. If Hamiltonian cycles are replaced by Hamiltonian paths throughout the definition of hypohamiltonian graphs, we get the definition of hypotraceable graphs. It is shown that there is a planar hypotraceable graph of order 154 and of all orders greater than or equal to 156. We also show that the smallest hypohamiltonian planar graph of girth 5 has 45 vertices.
Acyclic edge coloring of graphs
Published in Discrete Applied Mathematics, 167 (2014) 290--303
• View Publication
• BIB
An {\em acyclic edge coloring} of a graph $G$ is a proper edge coloring such that the subgraph induced by any two color classes is a linear forest (an acyclic graph with maximum degree at most two). The {\em acyclic chromatic index} $\chiup_{a}'(G)$ of a graph $G$ is the least number of colors needed in an acyclic edge coloring of $G$. Fiamčík (1978) conjectured that $\chiup_{a}'(G) \leq Δ(G) + 2$, where $Δ(G)$ is the maximum degree of $G$. This conjecture is well known as Acyclic Edge Coloring Conjecture (AECC). A graph $G$ with maximum degree at most $κ$ is {\em $κ$-deletion-minimal} if $\chiup_{a}'(G) > κ$ and $\chiup_{a}'(H) \leq κ$ for every proper subgraph $H$ of $G$. The purpose of this paper is to provide many structural lemmas on $κ$-deletion-minimal graphs. By using the structural lemmas, we firstly prove that AECC is true for the graphs with maximum average degree less than four (\autoref{NMAD4}). We secondly prove that AECC is true for the planar graphs without triangles adjacent to cycles of length at most four, with an additional condition that every $5$-cycle has at most three edges contained in triangles (\autoref{NoAdjacent}), from which we can conclude some known results as corollaries. We thirdly prove that every planar graph $G$ without intersecting triangles satisfies $\chiup_{a}'(G) \leq Δ(G) + 3$ (\autoref{NoIntersect}). Finally, we consider one extreme case and prove it: if $G$ is a graph with $Δ(G) \geq 3$ and all the $3^{+}$-vertices are independent, then $\chiup_{a}'(G) = Δ(G)$. We hope the structural lemmas will shed some light on the acyclic edge coloring problems.
$(3,1)^*$-choosability of planar graphs without adjacent short cycles
Published
• View Publication
• BIB
A list assignment of a graph $G$ is a function $L$ that assigns a list $L(v)$ of colors to each vertex $v\in V(G)$. An $(L,d)^*$-coloring is a mapping $π$ that assigns a color $π(v)\in L(v)$ to each vertex $v\in V(G)$ so that at most $d$ neighbors of $v$ receive color $π(v)$. A graph $G$ is said to be $(k,d)^*$-choosable if it admits an $(L,d)^*$-coloring for every list assignment $L$ with $|L(v)|\ge k$ for all $v\in V(G)$. In 2001, Lih et al. \cite{LSWZ-01} proved that planar graphs without 4- and $l$-cycles are $(3,1)^*$-choosable, where $l\in \{5,6,7\}$. Later, Dong and Xu \cite{DX-09} proved that planar graphs without 4- and l-cycles are $(3,1)^*$-choosable, where $l\in \{8,9\}$.
There exist planar graphs containing 4-cycles that are not $(3,1)^*$-choosable (Crown, Crown and Woodall, 1986 \cite{CCW-86}). This partly explains the fact that in all above known sufficient conditions for the $(3,1)^*$-choosability of planar graphs the 4-cycles are completely forbidden. In this paper we allow 4-cycles nonadjacent to relatively short cycles. More precisely, we prove that every planar graph without 4-cycles adjacent to 3- and 4-cycles is $(3,1)^*$-choosable. This is a common strengthening of all above mentioned results. Moreover as a consequence we give a partial answer to a question of Xu and Zhang \cite{XZ-07} and show that every planar graph without 4-cycles is $(3,1)^*$-choosable.
On the extension complexity of combinatorial polytopes
Published
• View Publication
• BIB
In this paper we extend recent results of Fiorini et al. on the extension complexity of the cut polytope and related polyhedra. We first describe a lifting argument to show exponential extension complexity for a number of NP-complete problems including subset-sum and three dimensional matching. We then obtain a relationship between the extension complexity of the cut polytope of a graph and that of its graph minors. Using this we are able to show exponential extension complexity for the cut polytope of a large number of graphs, including those used in quantum information and suspensions of cubic planar graphs.
Constructions of Large Graphs on Surfaces
Published
• View Publication
• BIB
We consider the degree/diameter problem for graphs embedded in a surface, namely, given a surface $Σ$ and integers $Δ$ and $k$, determine the maximum order $N(Δ,k,Σ)$ of a graph embeddable in $Σ$ with maximum degree $Δ$ and diameter $k$. We introduce a number of constructions which produce many new largest known planar and toroidal graphs. We record all these graphs in the available tables of largest known graphs.
Given a surface $Σ$ of Euler genus $g$ and an odd diameter $k$, the current best asymptotic lower bound for $N(Δ,k,Σ)$ is given by \[\sqrt{\frac{3}{8}g}Δ^{\lfloor k/2\rfloor}.\] Our constructions produce new graphs of order \[\begin{cases}6Δ^{\lfloor k/2\rfloor}& \text{if $Σ$ is the Klein bottle}\\ \(\frac{7}{2}+\sqrt{6g+\frac{1}{4}}\)Δ^{\lfloor k/2\rfloor}& \text{otherwise,}\end{cases}\] thus improving the former value by a factor of 4.
Trees and spatial topology change in CDT
Published in J. Phys. A: Math. Theor. 46 (2013) 315201
• View Publication
• BIB
Generalized causal dynamical triangulations (generalized CDT) is a model of two-dimensional quantum gravity in which a limited number of spatial topology changes is allowed to occur. We solve the model at the discretized level using bijections between quadrangulations and trees. In the continuum limit (scaling limit) the amplitudes are shown to agree with known formulas and explicit expressions are obtained for loop propagators and two-point functions. It is shown that from a combinatorial point of view generalized CDT can be viewed as the scaling limit of planar maps with a finite number of faces and we determine the distance function on this ensemble of planar maps. Finally, the relation with planar maps is used to illuminate a mysterious identity of certain continuum cylinder amplitudes.
Some planar monomials in characteristic 2
Published in Annals of Combinatorics 18 (2014), 723-729
• View Publication
• BIB
Planar functions over finite fields give rise to finite projective planes and other combinatorial objects. They were originally defined only in odd characteristic, but recently Zhou introduced a definition in even characteristic which yields similar applications. In this paper we show that certain functions over $\mathbb{F}_{2^r}$ are planar, which proves a conjecture of Schmidt and Zhou. The key to our proof is a new result about the $\mathbb{F}_{q^3}$-rational points on the degree-$(q-1)$ Fermat curve $x^{q-1}+y^{q-1}=z^{q-1}$.
Planar functions over fields of characteristic two
Published
• View Publication
• BIB
Classical planar functions are functions from a finite field to itself and give rise to finite projective planes. They exist however only for fields of odd characteristic. We study their natural counterparts in characteristic two, which we also call planar functions. They again give rise to finite projective planes, as recently shown by the second author. We give a characterisation of planar functions in characteristic two in terms of codes over $\mathbb{Z}_4$. We then specialise to planar monomial functions $f(x)=cx^t$ and present constructions and partial results towards their classification. In particular, we show that $t=1$ is the only odd exponent for which $f(x)=cx^t$ is planar (for some nonzero $c$) over infinitely many fields. The proof techniques involve methods from algebraic geometry.
Graphs with maximum degree D at least 17 and maximum average degree less than 3 are list 2-distance (D+2)-colorable
Published
• View Publication
• BIB
For graphs of bounded maximum average degree, we consider the problem of 2-distance coloring. This is the problem of coloring the vertices while ensuring that two vertices that are adjacent or have a common neighbor receive different colors. It is already known that planar graphs of girth at least 6 and of maximum degree D are list 2-distance (D+2)-colorable when D>=24 (Borodin and Ivanova (2009)) and 2-distance (D+2)-colorable when D>=18 (Borodin and Ivanova (2009)). We prove here that D>=17 suffices in both cases. More generally, we show that graphs with maximum average degree less than 3 and D>=17 are list 2-distance (D+2)-colorable. The proof can be transposed to list injective (D+1)-coloring.
Infinite Matroids and Determinacy of Games
Solving a problem of Diestel and Pott, we construct a large class of infinite matroids. These can be used to provide counterexamples against the natural extension of the Well-quasi-ordering-Conjecture to infinite matroids and to show that the class of planar infinite matroids does not have a universal matroid.
The existence of these matroids has a connection to Set Theory in that it corresponds to the Determinacy of certain games. To show that our construction gives matroids, we introduce a new very simple axiomatization of the class of countable tame matroids.
Planar functions and perfect nonlinear monomials over finite fields
Published in Designs, Codes and Cryptography 75 (2015), 71-80
• View Publication
• BIB
The study of finite projective planes involves planar functions, namely, functions f : F_q --> F_q such that, for each nonzero a in F_q, the function c --> f(c+a) - f(c) is a bijection on F_q. Planar functions are also used in the construction of DES-like cryptosystems, where they are called perfect nonlinear functions. We determine all planar functions on F_q of the form c --> c^t, under the assumption that q >= (t-1)^4. This implies two conjectures of Hernando, McGuire and Monserrat. Our arguments also yield a new proof of a conjecture of Segre and Bartocci from 1971 about monomial hyperovals in finite Desarguesian projective planes.
Coloring Planar Graphs via Colored Paths in the Associahedra
Published
• View Publication
• BIB
Hassler Whitney's theorem of 1931 reduces the task of finding proper, vertex 4-colorings of triangulations of the 2-sphere to finding such colorings for the class \(\mathfrak H\) of triangulations of the 2-sphere that have a Hamiltonian circuit. This has been used by Whitney and others from 1936 to the present to find equivalent reformulations of the 4 Color Theorem (4CT). Recently there has been activity to try to use some of these reformuations to find a shorter proof of the 4CT. Every triangulation in \(\mathfrak H\) has a dual graph that is a union of two binary trees with the same number of leaves. Elements of a group known as Thompson's group \(F\) are equivalence classes of pairs of binary trees with the same number of leaves. This paper explores this resemblance and finds that some recent reformulations of the 4CT are essentially attempting to color elements of \(\mathfrak H\) using expressions of elements of \(F\) as words in a certain generating set for \(F\). From this, we derive information about not just the colorability of certain elements of \(\mathfrak H\), but also about all possible ways to color these elements. Because of this we raise (and answer some) questions about enumeration. We also bring in an extension \(E\) of the group \(F\) and ask whether certain elements ``parametrize'' the set of all colorings of the elements of \(\mathfrak H\) that use all four colors.
The Boundary of a Square Tiling of a Graph coincides with the Poisson Boundary
Published
• View Publication
• BIB
Answering a question of Benjamini & Schramm [8], we show that the Poisson boundary of any planar, uniquely absorbing (e.g. one-ended and transient) graph with bounded degrees can be realised geometrically as a circle, namely as the boundary of a tiling of a cylinder by squares. This implies a conjecture of Northshield [34] of similar flavour. For our proof we introduce a general criterion for identifying the Poisson boundary of a stochastic process that might have further applications.
Maximum planar subgraphs in dense graphs
Published
• View Publication
• BIB
Kühn, Osthus and Taraz showed that for each γ>0 there exists C such that any n-vertex graph with minimum degree γn contains a planar subgraph with at least 2n-C edges. We find the optimum value of C for all γ<1/2 and sufficiently large n.
2-connecting Outerplanar Graphs without Blowing Up the Pathwidth
Published
• View Publication
• BIB
Given a connected outerplanar graph G of pathwidth p, we give an algorithm to add edges to G to get a supergraph of G, which is 2-vertex-connected, outerplanar and of pathwidth O(p). This settles an open problem raised by Biedl, in the context of computing minimum height planar straight line drawings of outerplanar graphs, with their vertices placed on a two dimensional grid. In conjunction with the result of this paper, the constant factor approximation algorithm for this problem obtained by Biedl for 2-vertex-connected outerplanar graphs will work for all outer planar graphs.
Universal point sets for planar three-tree
Published
• View Publication
• BIB
For every $n\in \mathbb{N}$, we present a set $S_n$ of $O(n^{3/2}\log n)$ points in the plane such that every planar 3-tree with $n$ vertices has a straight-line embedding in the plane in which the vertices are mapped to a subset of $S_n$. This is the first subquadratic upper bound on the size of universal point sets for planar 3-trees, as well as for the class of 2-trees and serial parallel graphs.
Some Bounds on the Rainbow Connection Number of 3-, 4- and 5-connected Graphs
The rainbow connection number, $rc(G)$, of a connected graph $G$ is the minimum number of colors needed to color its edges so that every pair of vertices is connected by at least one path in which no two edges are colored the same. We show that for $κ=3$ or $κ= 4$, every $κ$-connected graph $G$ on $n$ vertices with diameter $\frac{n}κ-c$ satisfies $rc(G) \leq \frac{n}κ + 15c + 18$. We also show that for every maximal planar graph $G$, $rc(G) \leq \frac{n}κ + 36$. This proves a conjecture of Li et al. for graphs with large diameter and maximal planar graphs.