planar
3209 papers tagged with this keyword
3-regular matchstick graphs with given girth
Published in S. Kurz and G. Mazzuoccolo: 3-regular matchstick graphs with given girth, Geombinatorics Quarterly Vol. XIX, Nr. 4 (2009), Pages 156-173
• Search Publication
We consider 3-regular planar matchstick graphs, i.e. those which have a planar embedding such that all edge lengths are equal, with given girth g. For girth 3 it is known that such graphs exist if and only if the number of vertices n is an even integer larger or equal to 8. Here we prove that such graphs exist for girth g=4 if and only if n is even and at least 20. We provide an example for girth g=5 consisting of 180 vertices.
Fast regocnition of planar non unit distance graphs
Published in S. Kurz: Fast regocnition of planar non unit distance graphs, Geombinatorics Quarterly, Vol. 21, Nr. 1 (2011), Pages 25-33
• Search Publication
We study criteria attesting that a given graph can not be embedded in the plane so that neighboring vertices are at unit distance apart and the straight line edges do not cross.
A lower bound for 4-regular planar unit distance graphs
Published in S. Kurz: A lower bound for 4-regular planar unit distance graphs, Geombinatorics Quarterly, Vol. 21, Nr. 2 (2011), Pages 63-72
• Search Publication
We perform an exhaustive search for the minimum 4-regular unit distance graph resulting in a lower bound of 34 vertices.
Exploring the "Rubik's Magic" universe
Published
• View Publication
• BIB
By using two different invariants for the Rubik's Magic puzzle, one of metric type, the other of topological type, we can dramatically reduce the universe of constructible configurations of the puzzle. Finding the set of actually constructible shapes remains however a challenging task, that we tackle by first reducing the target shapes to specific configurations: the octominoid 3D shapes, with all tiles parallel to one coordinate plane; and the planar "face-up" shapes, with all tiles (considered of infinitesimal width) lying in a common plane and without superposed consecutive tiles. There are still plenty of interesting configurations that do not belong to either of these two collections. The set of constructible configurations (those that can be obtained by manipulation of the undecorated puzzle from the starting situation) is a subset of the set of configurations with vanishing invariants. We were able to actually construct all octominoid shapes with vanishing invariants and most of the planar "face-up" configurations. Particularly important is the topological invariant, of which we recently found mention in a paper by Tom Verhoeff.
Semifields, relative difference sets, and bent functions
Published
• View Publication
• BIB
Recently, the interest in semifields has increased due to the discovery of several new families and progress in the classification problem. Commutative semifields play an important role since they are equivalent to certain planar functions (in the case of odd characteristic) and to modified planar functions in even characteristic. Similarly, commutative semifields are equivalent to relative difference sets. The goal of this survey is to describe the connection between these concepts. Moreover, we shall discuss power mappings that are planar and consider component functions of planar mappings, which may be also viewed as projections of relative difference sets. It turns out that the component functions in the even characteristic case are related to negabent functions as well as to $\mathbb{Z}_4$-valued bent functions.
Planar stochastic hyperbolic infinite triangulations
Published
• View Publication
• BIB
Pursuing the approach of Angel & Ray, we introduce and study a family of random infinite triangulations of the full-plane that satisfy a natural spatial Markov property. These new random lattices naturally generalize Angel & Schramm's Uniform Infinite Planar Triangulation (UIPT) and are hyperbolic in flavor. We prove that they exhibit a sharp exponential volume growth, are non-Liouville, and that the simple random walk on them has positive speed almost surely. We conjecture that these infinite triangulations are the local limits of uniform triangulations whose genus is proportional to the size.
Homomorphisms of signed planar graphs
Signed graphs are studied since the middle of the last century. Recently, the notion of homomorphism of signed graphs has been introduced since this notion captures a number of well known conjectures which can be reformulated using the definitions of signed homomorphism.
In this paper, we introduce and study the properties of some target graphs for signed homomorphism. Using these properties, we obtain upper bounds on the signed chromatic numbers of graphs with bounded acyclic chromatic number and of signed planar graphs with given girth.
Non-Embeddable Extensions of Embedded Minors
Published
• View Publication
• BIB
A graph G is weakly 4-connected if it is 3-connected, has at least five vertices, and for every pair of sets (A,B) with union V(G) and intersection of size three such that no edge has one end in A-B and the other in B-A, one of the induced subgraphs G[A], G[B] has at most four edges. We describe a set of constructions that starting from a weakly 4-connected planar graph G produce a finite list of non-planar weakly 4-connected graphs, each having a minor isomorphic to G, such that every non-planar weakly 4-connected graph H that has a minor isomorphic to G has a minor isomorphic to one of the graphs in the list. Our main result is more general and applies in particular to polyhedral embeddings in any surface.
Planar digraphs of digirth five are 2-colorable
Published
• View Publication
• BIB
Neumann-Lara (1985) and Škrekovski conjectured that every planar digraph with digirth at least three is 2-colorable. We prove a relaxed version of this conjecture: every planar digraph of digirth at least five is 2-colorable. The result also holds in the setting of list colorings.
Regular finite planar maps with equal edges
There doesn't exists a finite planar map with all edges having the same length, and each vertex on exactly 5 edges.
List-coloring apex-minor-free graphs
A graph H is t-apex if H-X is planar for some subset X of V(H) of size t. For any integer t>=0 and a fixed t-apex graph H, we give a polynomial-time algorithm to decide whether a (t+3)-connected H-minor-free graph is colorable from a given assignment of lists of size t+4. The connectivity requirement is the best possible in the sense that for every t>=1, there exists a t-apex graph H such that testing (t+4)-colorability of (t+2)-connected H-minor-free graphs is NP-complete. Similarly, the size of the lists cannot be decreased (unless P=NP), since for every t>=1, testing (t+3)-list-colorability of (t+3)-connected K_{t+4}-minor-free graphs is NP-complete.
Two-Page Book Embeddings of 4-Planar Graphs
Published
• View Publication
• BIB
Back in the Eighties, Heath showed that every 3-planar graph is subhamiltonian and asked whether this result can be extended to a class of graphs of degree greater than three. In this paper we affirmatively answer this question for the class of 4-planar graphs. Our contribution consists of two algorithms: The first one is limited to triconnected graphs, but runs in linear time and uses existing methods for computing hamiltonian cycles in planar graphs. The second one, which solves the general case of the problem, is a quadratic-time algorithm based on the book-embedding viewpoint of the problem.
Rauzy fractals with countable fundamental group
Published in Journal of Fractal Geometry 1 (2014), no. 4, 427-447
• View Publication
• BIB
We prove that every free group of finite rank can be realized as the fundamental group of a planar Rauzy fractal associated with a 4-letter unimodular cubic Pisot substitution. This characterizes all countable fundamental groups for planar Rauzy fractals. We give an explicit construction relying on two operations on substitutions: symbolic splittings and conjugations by free group automorphisms.
Size of edge-critical uniquely 3-colorable planar graphs
Published
• View Publication
• BIB
A graph $G$ is \emph{uniquely k-colorable} if the chromatic number of $G$ is $k$ and $G$ has only one $k$-coloring up to permutation of the colors. A uniquely $k$-colorable graph $G$ is edge-critical if $G-e$ is not a uniquely $k$-colorable graph for any edge $e\in E(G)$. Mel'nikov and Steinberg [L. S. Mel'nikov, R. Steinberg, One counterexample for two conjectures on three coloring, Discrete Math. 20 (1977) 203-206] asked to find an exact upper bound for the number of edges in a edge-critical 3-colorable planar graph with $n$ vertices. In this paper, we give some properties of edge-critical uniquely 3-colorable planar graphs and prove that if $G$ is such a graph with $n(\geq6)$ vertices, then $|E(G)|\leq \frac{5}{2}n-6 $, which improves the upper bound $\frac{8}{3}n-\frac{17}{3}$ given by Matsumoto [N. Matsumoto, The size of edge-critical uniquely 3-colorable planar graphs, Electron. J. Combin. 20 (3) (2013) $\#$P49]. Furthermore, we find some edge-critical 3-colorable planar graphs which have $n(=10,12, 14)$ vertices and $\frac{5}{2}n-7$ edges.
Graph theory and Pfaffian representations of Ising partition function
A well known theorem due to Kasteleyn states that the partition function of an Ising model on an arbitrary planar graph can be represented as the Pfaffian of a skew-symmetric matrix associated to the graph. This results both embodies the free fermionic nature of any planar Ising model and eventually gives an effective way of computing its partition functions in closed form. An extension of this result to non planar models expresses the partition function as a sum of Pfaffians which number is related to the genus of the oriented surface on which the graph can be embedded. In graph theory, McLane's theorem (1937) gives a characterization of planarity as a property of the cycle space of a graph, and recently, Diestel et al. (2009) extended this approach to embeddings in arbitrary surfaces. Here we show that McLane's approach naturally leads to Kasteleyn's results: McLane characterization of planar graphs is just what is needed to turn an Ising partition function into a Pfaffian. Using this approach, we prove that the Ising partition function on an arbitrary non planar graph can be written as \emph{the real part}of the Pfaffian of a single matrix with coefficients taken in a multicomplex algebra $\C_{\tilde g}$, where $\tilde g$ is the non-orientable genus, or crosscap number, of the embedding surface. Known representations as sums of Pfaffians follow from this result. In particular, Kasteleyn's result which involves $4^g$ matrices with real coefficients, $g$ orientable genus, is also recovered through some algebraic reduction.
Explicit linear kernels via dynamic programming
Published
• View Publication
• BIB
Several algorithmic meta-theorems on kernelization have appeared in the last years, starting with the result of Bodlaender et al. [FOCS 2009] on graphs of bounded genus, then generalized by Fomin et al. [SODA 2010] to graphs excluding a fixed minor, and by Kim et al. [ICALP 2013] to graphs excluding a fixed topological minor. Typically, these results guarantee the existence of linear or polynomial kernels on sparse graph classes for problems satisfying some generic conditions but, mainly due to their generality, it is not clear how to derive from them constructive kernels with explicit constants. In this paper we make a step toward a fully constructive meta-kernelization theory on sparse graphs. Our approach is based on a more explicit protrusion replacement machinery that, instead of expressibility in CMSO logic, uses dynamic programming, which allows us to find an explicit upper bound on the size of the derived kernels. We demonstrate the usefulness of our techniques by providing the first explicit linear kernels for $r$-Dominating Set and $r$-Scattered Set on apex-minor-free graphs, and for Planar-\mathcal{F}-Deletion on graphs excluding a fixed (topological) minor in the case where all the graphs in \mathcal{F} are connected.
Bar 1-Visibility Graphs and their relation to other Nearly Planar Graphs
Published
• View Publication
• BIB
A graph is called a strong (resp. weak) bar 1-visibility graph if its vertices can be represented as horizontal segments (bars) in the plane so that its edges are all (resp. a subset of) the pairs of vertices whose bars have a $ε$-thick vertical line connecting them that intersects at most one other bar.
We explore the relation among weak (resp. strong) bar 1-visibility graphs and other nearly planar graph classes. In particular, we study their relation to 1-planar graphs, which have a drawing with at most one crossing per edge; quasi-planar graphs, which have a drawing with no three mutually crossing edges; the squares of planar 1-flow networks, which are upward digraphs with in- or out-degree at most one. Our main results are that 1-planar graphs and the (undirected) squares of planar 1-flow networks are weak bar 1-visibility graphs and that these are quasi-planar graphs.
Trees and co-trees with constant maximum degree in planar 3-connected graphs
Published
• View Publication
• BIB
This paper considers the conjecture by Grünbaum that every planar 3-connected graph has a spanning tree $T$ such that both $T$ and its co-tree have maximum degree at most 3. Here, the co-tree of $T$ is the spanning tree of the dual obtained by taking the duals of the non-tree edges. While Grünbaum's conjecture remains open, we show that every planar 3-connected graph has a spanning tree $T$ such that both $T$ and its co-tree have maximum degree at most 5. It can be found in linear time.
Thoughts on Barnette's Conjecture
We prove a new sufficient condition for a cubic 3-connected planar graph to be Hamiltonian. This condition is most easily described as a property of the dual graph. Let $G$ be a planar triangulation. Then the dual $G^*$ is a cubic 3-connected planar graph, and $G^*$ is bipartite if and only if $G$ is Eulerian. We prove that if the vertices of $G$ are (improperly) coloured blue and red, such that the blue vertices cover the faces of $G$, there is no blue cycle, and every red cycle contains a vertex of degree at most 4, then $G^*$ is Hamiltonian.
This result implies the following special case of Barnette's Conjecture: if $G$ is an Eulerian planar triangulation, whose vertices are properly coloured blue, red and green, such that every red-green cycle contains a vertex of degree 4, then $G^*$ is Hamiltonian. Our final result highlights the limitations of using a proper colouring of $G$ as a starting point for proving Barnette's Conjecture. We also explain related results on Barnette's Conjecture that were obtained by Kelmans and for which detailed self-contained proofs have not been published.
On homogeneous planar functions
Published
• View Publication
• BIB
Let $p$ be an odd prime and $\F_q$ be the finite field with $q=p^n$ elements. A planar function $f:\F_q\rightarrow\F_q$ is called homogenous if $f(λx)=λ^df(x)$ for all $λ\in\F_p$ and $x\in\F_q$, where $d$ is some fixed positive integer. We characterize $x^2$ as the unique homogenous planar function over $\F_{p^2}$ up to equivalence.