planar
3209 papers tagged with this keyword
A note on the unit distance problem for planar configurations with Q-independent direction set
Published
• View Publication
• BIB
Let $T(n)$ denote the maximum number of unit distances that a set of $n$ points in the Euclidean plane $\mathbb{R}^2$ can determine with the additional condition that the distinct unit length directions determined by the configuration must be $\mathbb{Q}$-independent. This is related to the Erdos unit distance problem but with a simplifying additional assumption on the direction set which holds "generically".
We show that $T(n+1)-T(n)$ is the Hamming weight of $n$, i.e., the number of nonzero binary coefficients in the binary expansion of $n$, and find a formula for $T(n)$ explicitly. In particular $T(n)$ is $Θ(n log(n))$. Furthermore we describe a process to construct a set of $n$ points in the plane with $\mathbb{Q}$-independent unit length direction set which achieves exactly $T(n)$ unit distances. In the process of doing this, we show $T(n)$ is also the same as the maximum number of edges a subset of vertices of size $n$ determines in either the countably infinite lattice $\mathbb{Z}^{\infty}$ or the infinite hypercube graph $\{0,1\}^{\infty}$.
The problem of determining T(n) can be viewed as either a type of packing or isoperimetric problem.
Topological transition in disordered planar matching: combinatorial arcs expansion
Published in J. Stat. Mech. (2014) P12004
• View Publication
• BIB
In this paper, we investigate analytically the properties of the disordered Bernoulli model of planar matching. This model is characterized by a topological phase transition, yielding complete planar matching solutions only above a critical density threshold. We develop a combinatorial procedure of arcs expansion that explicitly takes into account the contribution of short arcs, and allows to obtain an accurate analytical estimation of the critical value by reducing the global constrained problem to a set of local ones. As an application to a toy representation of the RNA secondary structures, we suggest generalized models that incorporate a one-to-one correspondence between the contact matrix and the RNA-type sequence, thus giving sense to the notion of effective non-integer alphabets.
The Bernardi process and torsor structures on spanning trees
Published
• View Publication
• BIB
Let G be a ribbon graph, i.e., a connected finite graph G together with a cyclic ordering of the edges around each vertex. By adapting a construction due to O. Bernardi, we associate to any pair (v,e) consisting of a vertex v and an edge e adjacent to v a bijection between spanning trees of G and elements of the set Pic^g(G) of degree g divisor classes on G, where g is the genus of G. Using the natural action of the Picard group Pic^0(G) on Pic^g(G), we show that the Bernardi bijection gives rise to a simply transitive action β_v of Pic^0(G) on the set of spanning trees which does not depend on the choice of e.
A plane graph has a natural ribbon structure (coming from the counterclockwise orientation of the plane), and in this case we show that β_v is independent of v as well. Thus for plane graphs, the set of spanning trees is naturally a torsor for the Picard group. Conversely, we show that if β_v is independent of v then G together with its ribbon structure is planar. We also show that the natural action of Pic^0(G) on spanning trees of a plane graph is compatible with planar duality.
These findings are formally quite similar to results of Holroyd et al. and Chan-Church-Grochow, who used rotor-routing to construct an action r_v of Pic^0(G) on the spanning trees of a ribbon graph G, which they show is independent of v if and only if G is planar. It is therefore natural to ask how the two constructions are related. We prove that β_v = r_v for all vertices v of G when G is a planar ribbon graph, i.e. the two torsor structures (Bernardi and rotor-routing) on the set of spanning trees coincide. In particular, it follows that the rotor-routing torsor is compatible with planar duality. We conjecture that for every non-planar ribbon graph G, there exists a vertex v with β_v \neq r_v.
Sandpiles, spanning trees, and plane duality
Published
• View Publication
• BIB
Let G be a connected, loopless multigraph. The sandpile group of G is a finite abelian group associated to G whose order is equal to the number of spanning trees in G. Holroyd et al. used a dynamical process on graphs called rotor-routing to define a simply transitive action of the sandpile group of G on its set of spanning trees. Their definition depends on two pieces of auxiliary data: a choice of a ribbon graph structure on G, and a choice of a root vertex. Chan, Church, and Grochow showed that if G is a planar ribbon graph, it has a canonical rotor-routing action associated to it, i.e., the rotor-routing action is actually independent of the choice of root vertex.
It is well-known that the spanning trees of a planar graph G are in canonical bijection with those of its planar dual G*, and furthermore that the sandpile groups of G and G* are isomorphic. Thus, one can ask: are the two rotor-routing actions, of the sandpile group of G on its spanning trees, and of the sandpile group of G* on its spanning trees, compatible under plane duality? In this paper, we give an affirmative answer to this question, which had been conjectured by Baker.
Entropy compression method applied to graph colorings
Based on the algorithmic proof of Lovász local lemma due to Moser and Tardos, the works of Grytczuk et al. on words, and Dujmović et al. on colorings, Esperet and Parreau developed a framework to prove upper bounds for several chromatic numbers (in particular acyclic chromatic index, star chromatic number and Thue chromatic number) using the so-called \emph{entropy compression method}.
Inspired by this work, we propose a more general framework and a better analysis. This leads to improved upper bounds on chromatic numbers and indices. In particular, every graph with maximum degree $Δ$ has an acyclic chromatic number at most $\frac{3}{2}Δ^{\frac43} + O(Δ)$. Also every planar graph with maximum degree $Δ$ has a facial Thue choice number at most $Δ+ O(Δ^\frac 12)$ and facial Thue choice index at most $10$.
The Minimum Bends in a Polyline Drawing with Fixed Vertex Locations
We consider embeddings of planar graphs in $R^2$ where vertices map to points and edges map to polylines. We refer to such an embedding as a polyline drawing, and ask how few bends are required to form such a drawing for an arbitrary planar graph. It has long been known that even when the vertex locations are completely fixed, a planar graph admits a polyline drawing where edges bend a total of $O(n^2)$ times. Our results show that this number of bends is optimal. In particular, we show that $Ω(n^2)$ total bends is required to form a polyline drawing on any set of fixed vertex locations for almost all planar graphs. This result generalizes all previously known lower bounds, which only applied to convex point sets, and settles 2 open problems.
Relaxed Locally Identifying coloring of Graphs
A \textit{locally identifying coloring} ($lid$-coloring) of a graph is a proper coloring such that the sets of colors appearing in the closed neighborhoods of any pair of adjacent vertices having distinct neighborhoods are distinct. Our goal is to study a \textit{relaxed locally identifying coloring} ($rlid$-coloring) of a graph that is similar to locally identifying coloring for which the coloring is not necessary proper.We denote by $χ_{rlid}(G)$ the minimum number of colors used in a relaxed locally identifying coloring of a graph $G$
In this paper, we prove that the problem of deciding that $χ_{rlid}(G)=3$ for a $2$-degenerate planar graph $G$ is $NP$-complete. We give several bounds of $χ_{rlid}(G)$ and construct graphs for which some of these bounds are tightened. Studying some families of graphs allows us to compare this parameter with the minimum number of colors used in a locally identifying coloring of a graph $G$ ($χ_{lid}(G)$), the size of a minimum identifying code of $G$ ($γ_{id}(G)$) and the chromatic number of $G$ ($χ(G)$).
Generalizing the divisibility property of rectangle domino tilings
Published in Electron. J. Combin., 23(3):#P3-5, 2016
• View Publication
• BIB
We introduce a class of graphs called compound graphs, generalizing rectangles, which are constructed out of copies of a planar bipartite base graph. The main result is that the number of perfect matchings of every compound graph is divisible by the number of matchings of its base graph. Our approach is to use Kasteleyn's theorem to prove a key lemma, from which the divisibility theorem follows combinatorially. This theorem is then applied to provide a proof of Problem 21 of Propp's Enumeration of Matchings, a divisibility property of rectangles. Finally, we present a new proof, in the same spirit, of Ciucu's factorization theorem.
Pseudo-Gorenstein and level Hibi rings
Published
• View Publication
• BIB
We introduce pseudo-Gorenstein rings and characterize those Hibi rings attached to a finite distributive lattice L which are pseudo-Gorenstein. The characterization is given in terms of the poset of join-irreducible elements of L. We also present a necessary condition for Hibi rings to be level. Special attention is given to planar and hyper-planar lattices. Finally the pseudo-Goresntein and level property of Hibi rings and generalized Hibi rings is compared with each other.
On the largest dynamic monopolies of graphs with a given average threshold
Published
• View Publication
• BIB
Let $G$ be a graph and $τ$ be an assignment of nonnegative integer thresholds to the vertices of $G$. A subset of vertices $D$ is said to be a $τ$-dynamic monopoly, if $V(G)$ can be partitioned into subsets $D_0, D_1, \ldots, D_k$ such that $D_0=D$ and for any $i\in \{0, \ldots, k-1\}$, each vertex $v$ in $D_{i+1}$ has at least $τ(v)$ neighbors in $D_0\cup \ldots \cup D_i$. Denote the size of smallest $τ$-dynamic monopoly by $dyn_τ(G)$ and the average of thresholds in $τ$ by $\overlineτ$. We show that the values of $dyn_τ(G)$ over all assignments $τ$ with the same average threshold is a continuous set of integers. For any positive number $t$, denote the maximum $dyn_τ(G)$ taken over all threshold assignments $τ$ with $\overlineτ\leq t$, by $Ldyn_t(G)$. In fact, $Ldyn_t(G)$ shows the worst-case value of a dynamic monopoly when the average threshold is a given number $t$. We investigate under what conditions on $t$, there exists an upper bound for $Ldyn_{t}(G)$ of the form $c|G|$, where $c<1$. Next, we show that $Ldyn_t(G)$ is coNP-hard for planar graphs but has polynomial-time solution for forests.
Edge Roman domination on graphs
Published in Graphs Combin. 32 (2016), 1731--1747
• View Publication
• BIB
An edge Roman dominating function of a graph $G$ is a function $f\colon E(G) \rightarrow \{0,1,2\}$ satisfying the condition that every edge $e$ with $f(e)=0$ is adjacent to some edge $e'$ with $f(e')=2$. The edge Roman domination number of $G$, denoted by $γ'_R(G)$, is the minimum weight $w(f) = \sum_{e\in E(G)} f(e)$ of an edge Roman dominating function $f$ of $G$. This paper disproves a conjecture of Akbari, Ehsani, Ghajar, Jalaly Khalilabadi and Sadeghian Sadeghabad stating that if $G$ is a graph of maximum degree $Δ$ on $n$ vertices, then $γ_R'(G) \le \lceil \fracΔ{Δ+1} n \rceil$. While the counterexamples having the edge Roman domination numbers $\frac{2Δ-2}{2Δ-1} n$, we prove that $\frac{2Δ-2}{2Δ-1} n + \frac{2}{2Δ-1}$ is an upper bound for connected graphs. Furthermore, we provide an upper bound for the edge Roman domination number of $k$-degenerate graphs, which generalizes results of Akbari, Ehsani, Ghajar, Jalaly Khalilabadi and Sadeghian Sadeghabad. We also prove a sharp upper bound for subcubic graphs.
In addition, we prove that the edge Roman domination numbers of planar graphs on $n$ vertices is at most $\frac{6}{7}n$, which confirms a conjecture of Akbari and Qajar. We also show an upper bound for graphs of girth at least five that is 2-cell embeddable in surfaces of small genus. Finally, we prove an upper bound for graphs that do not contain $K_{2,3}$ as a subdivision, which generalizes a result of Akbari and Qajar on outerplanar graphs.
The constant objective value property for combinatorial optimization problems
Given a combinatorial optimization problem, we aim at characterizing the set of all instances for which every feasible solution has the same objective value.
Our central result deals with multi-dimensional assignment problems. We show that for the axial and for the planar $d$-dimensional assignment problem instances with constant objective value property are characterized by sum-decomposable arrays. We provide a counterexample to show that the result does not carry over to general $d$-dimensional assignment problems.
Our result for the axial $d$-dimensional assignment problem can be shown to carry over to the axial $d$-dimensional transportation problem. Moreover, we obtain characterizations when the constant objective value property holds for the minimum spanning tree problem, the shortest path problem and the minimum weight maximum cardinality matching problem.
Planar graphs with $Δ\geq 7$ and no triangle adjacent to a $C_4$ are minimally edge and total choosable
Published
• View Publication
• BIB
For planar graphs, we consider the problems of \emph{list edge coloring} and \emph{list total coloring}. Edge coloring is the problem of coloring the edges while ensuring that two edges that are adjacent receive different colors. Total coloring is the problem of coloring the edges and the vertices while ensuring that two edges that are adjacent, two vertices that are adjacent, or a vertex and an edge that are incident receive different colors. In their list extensions, instead of having the same set of colors for the whole graph, every vertex or edge is assigned some set of colors and has to be colored from it. A graph is minimally edge or total choosable if it is list edge $Δ$-colorable or list total $(Δ+1)$-colorable, respectively, where $Δ$ is the maximum degree in the graph.
It is already known that planar graphs with $Δ\geq 8$ and no triangle adjacent to a $C_4$ are minimally edge and total choosable (Li Xu 2011), and that planar graphs with $Δ\geq 7$ and no triangle sharing a vertex with a $C_4$ or no triangle adjacent to a $C_k$ ($\forall 3 \leq k \leq 6$) are minimally total colorable (Wang Wu 2011). We strengthen here these results and prove that planar graphs with $Δ\geq 7$ and no triangle adjacent to a $C_4$ are minimally edge and total choosable.
Enumeration of polyominoes defined in terms of pattern avoidance or convexity constraints
In this thesis, we consider the problem of characterizing and enumerating sets of polyominoes described in terms of some constraints, defined either by convexity or by pattern containment. We are interested in a well known subclass of convex polyominoes, the k-convex polyominoes for which the enumeration according to the semi-perimeter is known only for k=1,2. We obtain, from a recursive decomposition, the generating function of the class of k-convex parallelogram polyominoes, which turns out to be rational. Noting that this generating function can be expressed in terms of the Fibonacci polynomials, we describe a bijection between the class of k-parallelogram polyominoes and the class of planted planar trees having height less than k+3. In the second part of the thesis we examine the notion of pattern avoidance, which has been extensively studied for permutations. We introduce the concept of pattern avoidance in the context of matrices, more precisely permutation matrices and polyomino matrices. We present definitions analogous to those given for permutations and in particular we define polyomino classes, i.e. sets downward closed with respect to the containment relation. So, the study of the old and new properties of the redefined sets of objects has not only become interesting, but it has also suggested the study of the associated poset. In both approaches our results can be used to treat open problems related to polyominoes as well as other combinatorial objects.
The edge chromatic number of outer-1-planar graphs
Published
• View Publication
• BIB
A graph is outer-1-planar if it can be drawn in the plane so that all vertices are on the outer face and each edge is crossed at most once. In this paper, we completely determine the edge chromatic number of outer 1-planar graphs.
Random infinite squarings of rectangles
Published
• View Publication
• BIB
A recent preprint (arXiv:1402.2632) introduced a growth procedure for planar maps, whose almost sure limit is "the uniform infinite 3-connected planar map". A classical construction of Brooks, Smith, Stone and Tutte (1940) associates a squaring of a rectangle (i.e. a tiling of a rectangle by squares) to any to finite, edge-rooted planar map with non-separating root edge. We use this construction together with the map growth procedure to define a growing sequence of squarings of rectangles. We prove the sequence of squarings converges to an almost sure limit: a random infinite squaring of a finite rectangle. This provides a canonical planar embedding of the uniform infinite 3-connected planar map. We also show that the limiting random squaring almost surely has a unique point of accumulation.
Sandwiching saturation number of fullerene graphs
The saturation number of a graph $G$ is the cardinality of any smallest maximal matching of $G$, and it is denoted by $s(G)$. Fullerene graphs are cubic planar graphs with exactly twelve 5-faces; all the other faces are hexagons. They are used to capture the structure of carbon molecules. Here we show that the saturation number of fullerenes on $n$ vertices is essentially $n/3$.
Degree Monotone Paths
We shall study degree-monotone paths in graphs, a problem inspired by the celebrated theorem of Erd{ő}s-Szekeres concerning the longest monotone subsequence of a given sequence of numbers.
A path P in a graph G is said to be a degree monotone path if the sequence of degrees of the vertices in P in the order they appear in P is monotonic.
In this paper we shall consider these three problem related to this parameter:
1. Find bounds on $mp(G)$ in terms of other parameters of $G$.
2. Study $f(n,k)$ defined to be the maximum number of edges in a graph on $n$ vertices with $mp(G) < k$.
3. Estimate the minimum and the maximum over all graph $G$ on $n$ vertices of $mp(G)+mp(\overline{G})$.
For the first problem our main tool will be the Gallai-Roy Theorem on directed paths and chromatic number. We shall also consider in some detail maximal planar and maximal outerplanar graphs in order to investigate the sharpness of the bounds obtained. For the second problem we establish a close link between $f(n,k)$ and the classical Turan numbers. For the third problem we establish some Nordhaus-Gaddum type of inequalities. We conclude by indicating some open problems which our results point to.
Intersection Graphs of L-Shapes and Segments in the Plane
Published
• View Publication
• BIB
An L-shape is the union of a horizontal and a vertical segment with a common endpoint. These come in four rotations: L, Γ, LE{} and \eeG. A $k$-bend path is a simple path in the plane, whose direction changes $k$ times from horizontal to vertical. If a graph admits an intersection representation in which every vertex is represented by an L, an L{} or Γ, a $k$-bend path, or a segment, then this graph is called an $\{L\}$-graph, $\{L,Γ\}$-graph, $B_k$-VPG-graph or SEG-graph, respectively. Motivated by a theorem of Middendorf and Pfeiffer [Discrete Mathematics, 108(1):365--372, 1992], stating that every $\{L,Γ\}$-graph is a SEG-graph, we investigate several known subclasses of SEG-graphs and show that they are $\{L\}$-graphs, or $B_k$-VPG-graphs for some small constant $k$. We show that all planar $3$-trees, all line graphs of planar graphs, and all full subdivisions of planar graphs are $\{L\}$-graphs. Furthermore we show that all complements of planar graphs are $B_{17}$-VPG-graphs and all complements of full subdivisions are $B_2$-VPG-graphs. Here a full subdivision is a graph in which each edge is subdivided at least once.
Cycle/cocycle oblique projections on oriented graphs
Published in Lett. Math. Phys. 105 , 89-107 (2015)
• View Publication
• BIB
It is well known that the edge vector space of an oriented graph can be decomposed in terms of cycles and cocycles (alias cuts, or bonds), and that a basis for the cycle and the cocycle spaces can be generated by adding and removing edges to an arbitrarily chosen spanning tree. In this paper we show that the edge vector space can also be decomposed in terms of cycles and the generating edges of cocycles (called cochords), or of cocycles and the generating edges of cycles (called chords). From this observation follows a construction in terms of oblique complementary projection operators. We employ this algebraic construction to prove several properties of unweighted Kirchhoff-Symanzik matrices, encoding the mutual superposition between cycles and cocycles. In particular, we prove that dual matrices of planar graphs have the same spectrum (up to multiplicities). We briefly comment on how this construction provides a refined formalization of Kirchhoff's mesh analysis of electrical circuits, which has lately been applied to generic thermodynamic networks.