planar
3209 papers tagged with this keyword
Skew Hadamard Difference Sets from Dickson Polynomials of Order 7
Published
• View Publication
• BIB
Skew Hadamard difference sets are an interesting topic of study for over seventy years. For a long time, it had been conjectured the classical Paley difference sets (the set of nonzero quadratic residues in $\mathbb{F}_q$ where $q \equiv 3 \bmod{4}$) were the only example in abelian groups. In 2006, the first author and Yuan disproved this conjecture by showing that the image set of $\mathcal{D}_5(x^2,u)$ is a new skew Hadamard difference set in $(\mathbb{F}_{3^m},+)$ with $m$ odd, where $\mathcal{D}_n(x,u)$ denotes the first kind of Dickson polynomials of order $n$ and $u \in \mathbb{F}_q^*$. The key observation in the proof is that $\mathcal{D}_5(x^2,u)$ is a planar function from $\mathbb{F}_{3^m}$ to $\mathbb{F}_{3^m}$ for $m$ odd. Since then a few families of new skew Hadamard difference sets have been discovered. In this paper, we prove that for all $u \in \mathbb{F}_{3^m}^*$, the set $D_u := \{\mathcal{D}_7(x^2,u) : x \in \mathbb{F}_{3^m}^* \}$ is a skew Hadamard difference set in $(\mathbb{F}_{3^m}, +)$, where $m$ is odd and $m \not \equiv 0 \pmod{3}$. The proof is more complicated and different from that of Ding-Yuan skew Hadamard difference sets since $\mathcal{D}_7(x^2,u)$ is not planar in $\mathbb{F}_{3^m}$. Furthermore, we show that such skew Hadamard difference sets are inequivalent to all existing ones for $m = 5, 7$ by comparing the triple intersection numbers.
Generic method for bijections between blossoming trees and planar maps
Published in Electron. J. Comb. vol.22 (2015), paper #P2.38
• View Publication
• BIB
This article presents a unified bijective scheme between planar maps and blossoming trees, where a blossoming tree is defined as a spanning tree of the map decorated with some dangling half-edges that enable to reconstruct its faces. Our method generalizes a previous construction of Bernardi by loosening its conditions of applications so as to include annular maps, that is maps embedded in the plane with a root face different from the outer face.
The bijective construction presented here relies deeply on the theory of α-orientations introduced by Felsner, and in particular on the existence of minimal and accessible orientations. Since most of the families of maps can be characterized by such orientations, our generic bijective method is proved to capture as special cases all previously known bijections involving blossoming trees: for example Eulerian maps, m-Eulerian maps, non separable maps and simple triangulations and quadrangulations of a k-gon. Moreover, it also permits to obtain new bijective constructions for bipolar orientations and d-angulations of girth d of a k-gon.
As for applications, each specialization of the construction translates into enumerative by-products, either via a closed formula or via a recursive computational scheme. Besides, for every family of maps described in the paper, the construction can be implemented in linear time. It yields thus an effective way to encode and generate planar maps.
In a recent work, Bernardi and Fusy introduced another unified bijective scheme, we adopt here a different strategy which allows us to capture different bijections. These two approaches should be seen as two complementary ways of unifying bijections between planar maps and decorated trees.
Non-positive curvature, and the planar embedding conjecture
Published
• View Publication
• BIB
The planar embedding conjecture asserts that any planar metric admits an embedding into L_1 with constant distortion. This is a well-known open problem with important algorithmic implications, and has received a lot of attention over the past two decades. Despite significant efforts, it has been verified only for some very restricted cases, while the general problem remains elusive.
In this paper we make progress towards resolving this conjecture. We show that every planar metric of non-positive curvature admits a constant-distortion embedding into L_1. This confirms the planar embedding conjecture for the case of non-positively curved metrics.
New pseudo-planar binomials in characteristic two and related schemes
Published in Designs, Codes and Cryptography, 76 (2015), 345-360
• View Publication
• BIB
Planar functions in odd characteristic were introduced by Dembowski and Ostrom in order to construct finite projective planes in 1968. They were also used in the constructions of DES-like iterated ciphers, error-correcting codes, and signal sets. Recently, a new notion of pseudo-planar functions in even characteristic was proposed by Zhou. These new pseudo-planar functions, as an analogue of planar functions in odd characteristic, also bring about finite projective planes. There are three known infinite families of pseudo-planar monomial functions constructed by Schmidt and Zhou, and Scherr and Zieve. In this paper, three new classes of pseudo-planar binomials are provided. Moreover, we find that each pseudo-planar function gives an association scheme which is defined on a Galois ring.
Strongly light subgraphs in the 1-planar graphs with minimum degree 7
Published in Ars Math. Contemp. 8 (2015) 409--416
• View Publication
• BIB
A graph is {\em $1$-planar} if it can be drawn in the plane such that every edge crosses at most one other edge. A connected graph $H$ is {\em strongly light} in a family of graphs $\mathfrak{G}$, if there exists a constant $λ$, such that every graph $G$ in $\mathfrak{G}$ contains a subgraph $K$ isomorphic to $H$ with $°_{G}(v) \leq λ$ for all $v \in V(K)$. In this paper, we present some strongly light subgraphs in the family of $1$-planar graphs with minimum degree~$7$.
On independence domination
Published
• View Publication
• BIB
Let G be a graph. The independence-domination number is the maximum over all independent sets I in G of the minimal number of vertices needed to dominate I. In this paper we investigate the computational complexity of independence domination for graphs in several graph classes related to cographs. We present an exact exponential algorithm. We also present a PTAS for planar graphs.
Planar Ramsey Numbers of Four Cycles Versus Wheels
For two given graphs $G$ and $H$ the planar Ramsey number $PR(G,H)$ is the smallest integer $n$ such that every planar graph $F$ on $n$ vertices either contains a copy of $G$, or its complement contains a copy of $H$. In this paper, we first characterize some structural properties of $C_4$-free planar graphs, and then we determine all planar Ramsey numbers $PR(C_4, W_n)$, for $n\ge 3$.
On total colorings of 1-planar graphs
Published
• View Publication
• BIB
A graph is 1-planar if it can be drawn on the plane so that each edge is crossed by at most one other edge. In this paper, we confirm the total-coloring conjecture for 1-planar graphs with maximum degree at least 13.
Analytic Combinatorics of Planar Lattice Paths
Lattice paths effectively model phenomena in chemistry, physics and probability theory. Asymptotic enumeration of lattice paths is linked with entropy in the physical systems being modeled. Lattice paths restricted to different regions of the plane are well suited to a functional equation approach for exact and asymptotic enumeration. This thesis surveys results on lattice paths under various restrictions, with an emphasis on lattice paths in the quarter plane. For these paths, we develop an original systematic combinatorial approach providing direct access to the exponential growth factors of the asymptotic expressions.
The planar directed k-Vertex-Disjoint Paths problem is fixed-parameter tractable
Published
• View Publication
• BIB
Given a graph G and k pairs of vertices (s_1,t_1), ..., (s_k,t_k), the k-Vertex-Disjoint Paths problem asks for pairwise vertex-disjoint paths P_1, ..., P_k such that P_i goes from s_i to t_i. Schrijver [SICOMP'94] proved that the k-Vertex-Disjoint Paths problem on planar directed graphs can be solved in time n^{O(k)}. We give an algorithm with running time 2^{2^{O(k^2)}} n^{O(1)} for the problem, that is, we show the fixed-parameter tractability of the problem.
Vertex Arboricity of Toroidal Graphs with a Forbidden Cycle
Published
• View Publication
• BIB
The vertex arboricity $a(G)$ of a graph $G$ is the minimum $k$ such that $V(G)$ can be partitioned into $k$ sets where each set induces a forest. For a planar graph $G$, it is known that $a(G)\leq 3$. In two recent papers, it was proved that planar graphs without $k$-cycles for some $k\in\{3, 4, 5, 6, 7\}$ have vertex arboricity at most 2. For a toroidal graph $G$, it is known that $a(G)\leq 4$. Let us consider the following question: do toroidal graphs without $k$-cycles have vertex arboricity at most 2? It was known that the question is true for k=3, and recently, Zhang proved the question is true for $k=5$. Since a complete graph on 5 vertices is a toroidal graph without any $k$-cycles for $k\geq 6$ and has vertex arboricity at least three, the only unknown case was k=4. We solve this case in the affirmative; namely, we show that toroidal graphs without 4-cycles have vertex arboricity at most 2.
Alternating knots, planar graphs and q-series
Published
• View Publication
• BIB
Recent advances in Quantum Topology assign $q$-series to knots in at least three different ways. The $q$-series are given by generalized Nahm sums (i.e., special $q$-hypergeometric sums) and have unknown modular and asymptotic properties. We give an efficient method to compute those $q$-series that come from planar graphs (i.e., reduced Tait graphs of alternating links) and compute several terms of those series for all graphs with at most 8 edges drawing several conclusions. In addition, we give a graph-theory proof of a theorem of Dasbach-Lin which identifies the coefficient of $q^k$ in those series for $k=0,1,2$ in terms of polynomials on the number of vertices, edges and triangles of the graph. Updated tables of data.
Frameworks with forced symmetry II: Orientation-preserving crystallographic groups
Published
• View Publication
• BIB
We give a combinatorial characterization of minimally rigid planar frameworks with orientation-preserving crystallographic symmetry, under the constraint of forced symmetry. The main theorems are proved by extending the methods of the first paper in this sequence from groups generated by a single rotation to groups generated by translations and rotations. The proofs make use of a new family of matroids defined on crystallographic groups and associated submodular functions.
A catalog of matchstick graphs
Classification of planar unit-distance graphs with up to 9 edges, by homeomorphism and isomorphism classes. With exactly nine edges, there are 633 nonisomorphic connected matchstick graphs, of which 196 are topologically distinct from each other. Increasing edges' number, their quantities rise more than exponentially, in a still unclear way.
Sufficient sparseness conditions for G^2 to be (Δ+1)-choosable, when Δ\ge5
Published in Discrete Applied Math. Vol. 162(10), January 2014, pp. 167-176
• View Publication
• BIB
We determine the list chromatic number of the square of a graph $\chil(G^2)$ in terms of its maximum degree $Δ$ when its maximum average degree, denoted $\mad(G)$, is sufficiently small. For $Δ\ge 6$, if $\mad(G)<2+\frac{4Δ-8}{5Δ+2}$, then $\chil(G^2)=Δ+1$. In particular, if $G$ is planar with girth $g\ge 7+\frac{12}{Δ-2}$, then $\chil(G^2)=Δ+1$. Under the same conditions, $\chil^i(G)=Δ$, where $\chil^i$ is the list injective chromatic number.
Choosability of the square of a planar graph with maximum degree four
Published in Australasian Journal of Combinatorics. Vol. 59(1), June 2014, pp. 86-97
• Search Publication
We study squares of planar graphs with the aim to determine their list chromatic number. We present new upper bounds for the square of a planar graph with maximum degree $Δ\leq 4$. In particular $G^2$ is 5-, 6-, 7-, 8-, 12-, 14-choosable if the girth of $G$ is at least 16, 11, 9, 7, 5, 3 respectively. In fact we prove more general results, in terms of maximum average degree, that imply the results above.
On the Longest Paths and the Diameter in Random Apollonian Networks
Published
• View Publication
• BIB
We consider the following iterative construction of a random planar triangulation. Start with a triangle embedded in the plane. In each step, choose a bounded face uniformly at random, add a vertex inside that face and join it to the vertices of the face. After n-3 steps, we obtain a random triangulated plane graph with n vertices, which is called a Random Apollonian Network (RAN). We show that asymptotically almost surely (a.a.s.) every path in a RAN has length o(n), refuting a conjecture of Frieze and Tsourakakis. We also show that a RAN always has a path of length (2n-5)^{log 2/log 3}, and that the expected length of its longest path is Omega(n^0.88). Finally, we prove that a.a.s. the diameter of a RAN is asymptotic to c log n, where c \approx 1.668 is the solution of an explicit equation.
Maximum Edge-Disjoint Paths in $k$-sums of Graphs
Published
• View Publication
• BIB
We consider the approximability of the maximum edge-disjoint paths problem (MEDP) in undirected graphs, and in particular, the integrality gap of the natural multicommodity flow based relaxation for it. The integrality gap is known to be $Ω(\sqrt{n})$ even for planar graphs due to a simple topological obstruction and a major focus, following earlier work, has been understanding the gap if some constant congestion is allowed.
In this context, it is natural to ask for which classes of graphs does a constant-factor constant-congestion property hold. It is easy to deduce that for given constant bounds on the approximation and congestion, the class of "nice" graphs is nor-closed. Is the converse true? Does every proper minor-closed family of graphs exhibit a constant factor, constant congestion bound relative to the LP relaxation? We conjecture that the answer is yes.
One stumbling block has been that such bounds were not known for bounded treewidth graphs (or even treewidth 3). In this paper we give a polytime algorithm which takes a fractional routing solution in a graph of bounded treewidth and is able to integrally route a constant fraction of the LP solution's value. Note that we do not incur any edge congestion. Previously this was not known even for series parallel graphs which have treewidth 2. The algorithm is based on a more general argument that applies to $k$-sums of graphs in some graph family, as long as the graph family has a constant factor, constant congestion bound. We then use this to show that such bounds hold for the class of $k$-sums of bounded genus graphs.
Strong edge coloring of planar graphs
Published
• View Publication
• BIB
A strong edge coloring of a graph is a proper edge coloring where the edges at distance at most two receive distinct colors. It is known that every planar graph with maximum degree D has a strong edge coloring with at most 4D + 4 colors. We show that 3D + 6 colors suffice if the graph has girth 6, and 3D colors suffice if the girth is at least 7. Moreover, we show that cubic planar graphs with girth at least 6 can be strongly edge colored with at most 9 colors.
Planar graphs with maximum degree D at least 8 are (D+1)-edge-choosable
Published
• View Publication
• BIB
We consider the problem of list edge coloring for planar graphs. Edge coloring is the problem of coloring the edges while ensuring that two edges that are incident receive different colors. A graph is k-edge-choosable if for any assignment of k colors to every edge, there is an edge coloring such that the color of every edge belongs to its color assignment. Vizing conjectured in 1965 that every graph is (D+1)-edge-choosable, where D is the maximum degree. In 1990, Borodin solved the conjecture for planar graphs with maximum degree at least 9, and asked whether the bound could be lowered to 8. We prove here that planar graphs with maximum degree D at least 8 are (D+1)-edge-choosable.