planar
3209 papers tagged with this keyword
The Planar Modular Partition Monoid
The primary contribution of this thesis is to introduce and examine the planar modular partition monoid for parameters $m, k \in \mathbb{Z}_{>0}$, which has simultaneously and independently generated interest from other researchers as outlined within.
Our collective understanding of related monoids, in particular the Jones, Brauer and partition monoids, along with the algebras they generate, has heavily influenced the direction of research by a significant number of mathematicians and physicists. Examples include Schur-Weyl type dualities in representation theory along with Potts, ice-type and Andrew-Baxter-Forrester models from statistical mechanics, giving strong motivation for the planar modular partition monoid to be examined.
The original results contained within this thesis relating to the planar modular partition monoid are: the establishment of generators; recurrence relations for the cardinality of the monoid; recurrence relations for the cardinality of Green's $\mathcal{R}$, $\mathcal{L}$ and $\mathcal{D}$ relations; and a conjecture on relations that appear to present the planar modular partition monoid when $m=2$. For diagram semigroups that are closed under vertical reflections, characterisations of Green's $\mathcal{R}$, $\mathcal{L}$ and $\mathcal{H}$ relations have previously been established using the upper and lower patterns of bipartitions. We give a characterisation of Green's $\mathcal{D}$ relation with a similar flavour for diagram semigroups that are closed under vertical reflections.
$<paragraph\ missing\ due\ to\ arXiv\ character\ limit\ on\ abstracts\ -\ see\ thesis\ file>$
A further contribution of this thesis is a reasonably comprehensive exposition of the fundamentals of diagram semigroups, which have traditionally been approached from the representation theory side and have since blossomed into a thriving area of research in their own right.
All minor-minimal apex obstructions with connectivity two
Published in The Electronic Journal of Combinatorics 28(1) (2021), #P1.23
• View Publication
• BIB
A graph is an apex graph if it contains a vertex whose deletion leaves a planar graph. The family of apex graphs is minor-closed and so it is characterized by a finite list of minor-minimal non-members. The long-standing problem of determining this finite list of apex obstructions remains open. This paper determines the 133 minor-minimal, non-apex graphs that have connectivity two.
Limit Laws of Planar Maps with Prescribed Vertex Degrees
Published in Comb. Probab. Comput. 28 (4) (Special Issue on Analysis of Algorithms), 2019, 519-541
• View Publication
• BIB
We prove a general multi-dimensional central limit theorem for the expected number of vertices of a given degree in the family of planar maps whose vertex degrees are restricted to an arbitrary (finite or infinite) set of positive integers $D$. Our results rely on a classical bijection with mobiles (objects exhibiting a tree structure), combined with refined analytic tools to deal with the systems of equations on infinite variables that arise. We also discuss possible extensions to maps of higher genus and to weighted maps.
DP-Degree Colorable Hypergraphs
Published
• View Publication
• BIB
In order to solve a question on list coloring of planar graphs, Dvořák and Postle introduced the concept of so called DP-coloring, thereby extending the concept of list-coloring. DP-coloring was anaylized in detail by Bernshteyn, Kostochka, and Pron for graphs and multigraphs; they characterized DP-degree colorable multigraphs and deduced a Brooks' type result from this. The characterization of the corresponding 'bad' covers was later given by Kim and Ozeki. In this paper, the concept of DP-colorings is extended to hypergraphs having multiple (hyper-)edges. We characterize the DP-degree colorable hypergraphs and, furthermore, the corresponding 'bad' covers. This gives a Brooks' type result for the DP-chromatic number of a hypergraph. In the last part, we examine DP-critical graphs and establish some basic facts on their structure as well as a Gallai-type bound on the minimum number of edges.
Extremal $H$-free planar graphs
Published
• View Publication
• BIB
Given a graph $H$, a graph is $H$-free if it does not contain $H$ as a subgraph. We continue to study the topic of "extremal" planar graphs, that is, how many edges can an $H$-free planar graph on $n$ vertices have? We define $ex_{_\mathcal{P}}(n,H)$ to be the maximum number of edges in an $H$-free planar graph on $n $ vertices. We first obtain several sufficient conditions on $H$ which yield $ex_{_\mathcal{P}}(n,H)=3n-6$ for all $n\ge |V(H)|$. We discover that the chromatic number of $H$ does not play a role, as in the celebrated Erdős-Stone Theorem. We then completely determine $ex_{_\mathcal{P}}(n,H)$ when $H$ is a wheel or a star. Finally, we examine the case when $H$ is a $(t, r)$-fan, that is, $H$ is isomorphic to $K_1+tK_{r-1}$, where $t\ge2$ and $r\ge 3$ are integers. However, determining $ex_{_\mathcal{P}}(n,H)$, when $H$ is a planar subcubic graph, remains wide open.
Searching for square-complementary graphs: non-existence results and complexity of recognition
Published
• View Publication
• BIB
A graph is square-complementary (squco, for short) if its square and complement are isomorphic. We prove that there are no squco graphs with girth 6, that every bipartite graph is an induced subgraph of a squco bipartite graph, that the problem of recognizing squco graphs is graph isomorphism complete, and that no nontrivial squco graph is both bipartite and planar. These results resolve three of the open problems posed in Discrete Math. 327 (2014) 62-75.
On L-shaped point set embeddings of trees: first non-embeddable examples
An L-shaped embedding of a tree in a point set is a planar drawing of the tree where the vertices are mapped to distinct points and every edge is drawn as a sequence of two axis-aligned line segments. There has been considerable work on establishing upper bounds on the minimum cardinality of a point set to guarantee that any tree of the same size with maximum degree 4 admits an L-shaped embedding on the point set. However, no non-trivial lower bound is known to this date, i.e., no known $n$-vertex tree requires more than $n$ points to be embedded. In this paper, we present the first examples of $n$-vertex trees for $n\in\{13,14,16,17,18,19,20\}$ that require strictly more points than vertices to admit an L-shaped embedding. Moreover, using computer help, we show that every tree on $n\leq 12$ vertices admits an L-shaped embedding in every set of $n$ points. We also consider embedding ordered trees, where the cyclic order of the neighbors of each vertex in the embedding is prescribed. For this setting, we determine the smallest non-embeddable ordered tree on $n=10$ vertices, and we show that every ordered tree on $n\leq 9$ or $n=11$ vertices admits an L-shaped embedding in every set of $n$ points. We also construct an infinite family of ordered trees which do not always admit an L-shaped embedding, answering a question raised by Biedl, Chan, Derka, Jain, and Lubiw.
A note on the Grinberg condition in the cycle spaces
Finding a Hamilton graph from simple connected graphs is an important problem in discrete mathematics and computer science. Grinberg Theorem is a well-known necessary condition for planar Hamilton graphs. It divides a plane into two parts: inside and outside faces. The sum of inside faces in a Hamilton graph is a Hamilton cycle. In this paper, using a basis of the cycle space to represent a graph and by the Inclusion-Exclusion Principle, we derive the equality with respect to the inside faces that can be also obtained from Grinberg Theorem. By further investigating the cycle structure of inside faces, we give a new combinatorial interpretation to Grinberg's condition, which explains why Grinberg Theorem is not sufficient for Hamilton graphs. Our results will improve deriving an efficient condition for Hamilton graphs.
On walks avoiding a quadrant
Published in Electronic Journal of Combinatorics, 26 P3.31 (2019) 1-34
• View Publication
• BIB
Two-dimensional (random) walks in cones are very natural both in combinatorics and probability theory: they are interesting for themselves and also because they are strongly related to other discrete structures. While walks restricted to the first quadrant have been studied a lot, the case of planar, non-convex cones---equivalent to the three-quarter plane after a linear transform---has been approached only recently. In this article we develop an analytic approach to the case of walks in three quadrants. The advantage of this method is to provide uniform treatment in the study of models corresponding to different step sets. After splitting the three quadrants in two symmetric convex cones, the method is composed of three main steps: write a system of functional equations satisfied by the counting generating function, which may be simplified into one single equation under symmetry conditions; transform the functional equation into a boundary value problem; and finally solve this problem, using a concept of anti-Tutte's invariant. The result is a contour-integral expression for the generating function. Such systems of functional equations also appear in queueing theory with the famous Join-the-Shortest-Queue model, which is still an open problem in the non-symmetric case.
Lattices with many congruences are planar
Let $L$ be an $n$-element finite lattice. We prove that if $L$ has strictly more than $2^{n-5}$ congruences, then $L$ is planar. This result is sharp, since for each natural number $n\geq 8$, there exists a non-planar lattice with exactly $2^{n-5}$ congruences.
On the usage of lines in $GC_n$ sets
Published
• View Publication
• BIB
A planar node set $\mathcal X,$ with $|\mathcal X|=\binom{n+2}{2}$ is called $GC_n$ set if each node possesses fundamental polynomial in form of a product of $n$ linear factors. We say that a node uses a line $Ax+By+C=0$ if $Ax+By+C$ divides the fundamental polynomial of the node. A line is called $k$-node line if it passes through exactly $k$-nodes of $\mathcal X.$ At most $n+1$ nodes can be collinear in $GC_n$ sets and an $(n+1)$-node line is called maximal line. The Gasca - Maeztu conjecture (1982) states that every $GC_n$ set has a maximal line. Until now the conjecture has been proved only for the cases $n \le 5.$ Here we adjust and prove a conjecture proposed in the paper - V. Bayramyan, H. H., Adv Comput Math, 43: 607-626, 2017. Namely, by assuming that the Gasca-Maeztu conjecture is true, we prove that for any $GC_n$ set $\mathcal X$ and any $k$-node line $\ell$ the following statement holds:
Either the line $\ell$ is not used at all, or it is used by exactly $\binom{s}{2}$ nodes of $\mathcal X,$ where $s$ satisfies the condition $σ:=2k-n-1\le s\le k.$ If in addition $σ\ge 3$ and $μ(\mathcal X)>3$ then the first case here is excluded, i.e., the line $\ell$ is necessarily a used line. Here $μ(\mathcal X)$ denotes the number of maximal lines of $\mathcal X.$
At the end, we bring a characterization for the usage of $k$-node lines in $GC_n$ sets when $σ=2$ and $μ(\mathcal X)>3.$
When Do Gomory-Hu Subtrees Exist?
Published
• View Publication
• BIB
Gomory-Hu (GH) Trees are a classical sparsification technique for graph connectivity. It is one of the fundamental models in combinatorial optimization which also continually finds new applications, most recently in social network analysis. For any edge-capacitated undirected graph $G=(V,E)$ and any subset of {\em terminals} $Z \subseteq V$, a Gomory-Hu Tree is an edge-capacitated tree $T=(Z,E(T))$ such that for every $u,v \in Z$, the value of the minimum capacity $uv$ cut in $G$ is the same as in $T$. Moreover, the minimum cuts in $T$ directly identify (in a certain way) those in $G$. It is well-known that we may not always find a GH tree which is a subgraph of $G$. For instance, every GH tree for the vertices of $K_{3,3}$ is a $5$-star. We characterize those graph and terminal pairs $(G,Z)$ which always admit such a tree. We show that these are the graphs which have no \emph{terminal-$K_{2,3}$ minor}. That is, no $K_{2,3}$ minor whose vertices correspond to terminals in $Z$. We also show that the family of pairs $(G,Z)$ which forbid such $K_{2,3}$ "$Z$-minors" arises, roughly speaking, from so-called Okamura-Seymour instances. More precisely, they are subgraphs of {\em $Z$-webs}. A $Z$-web is built from planar graphs with one outside face which contains all the terminals and each inner face is a triangle which may contain an arbitrary graph. This characterization yields an additional consequence for multiflow problems. Fix a graph $G$ and a subset $Z \subseteq V(G)$ of terminals. Call $(G,Z)$ {\em cut-sufficient} if the cut condition is sufficient to characterize the existence of a multiflow for any demands between vertices in $Z$, and any edge capacities on $G$. Then $(G,Z)$ is cut-sufficient if and only if it is terminal-$K_{2,3}$ free.
Birkhoff-von Neumann Graphs that are PM-compact
Published
• View Publication
• BIB
A well-studied geometric object in combinatorial optimization is the perfect matching polytope of a graph $G$. In any investigation concerning the perfect matching polytope, one may assume that $G$ is matching covered --- that is, it is a connected graph (of order at least two) and each edge lies in some perfect matching.
A graph $G$ is Birkhoff-von Neumann (BvN) if its perfect matching polytope is characterized solely by non-negativity and degree constraints. A result of Balas (1981) implies that $G$ is BvN if and only if $G$ does not contain a pair of vertex-disjoint odd cycles $(C_1,C_2)$ such that $G-V(C_1)-V(C_2)$ has a perfect matching. It follows immediately that the corresponding decision problem is in co-NP. However, it is not known to be in NP. The problem is in P if the input graph is planar --- due to a result of Carvalho, Lucchesi and Murty (2004). These authors, along with Kothari (2018), have shown that this problem is equivalent to the seemingly unrelated problem of deciding whether a given graph is $\overline{C_6}$-free.
The combinatorial diameter of a polytope is the diameter of its $1$-skeleton graph. A graph $G$ is PM-compact (PMc) if the combinatorial diameter of its perfect matching polytope equals one. A result of Chvátal (1975) implies that $G$ is PMc if and only if $G$ does not contain a pair of vertex-disjoint even cycles $(C_1,C_2)$ such that $G-V(C_1)-V(C_2)$ has a perfect matching. Once again the corresponding decision problem is in co-NP, but it is not known to be in NP. The problem is in P if the input graph is bipartite or is near-bipartite --- due to a result of Wang, Lin, Carvalho, Lucchesi, Sanjith and Little (2013).
In this paper, we consider the "intersection" of the aforementioned problems. We give a complete characterization of matching covered graphs that are BvN as well as PMc. (Thus the corresponding decision problem is in P.)
A tight Erdős-Pósa function for planar minors
Published in Advances in Combinatorics, 2019:2, 33 pp
• View Publication
• BIB
Let $H$ be a planar graph. By a classical result of Robertson and Seymour, there is a function $f:\mathbb{N} \to \mathbb{R}$ such that for all $k \in \mathbb{N}$ and all graphs $G$, either $G$ contains $k$ vertex-disjoint subgraphs each containing $H$ as a minor, or there is a subset $X$ of at most $f(k)$ vertices such that $G-X$ has no $H$-minor. We prove that this remains true with $f(k) = c k \log k$ for some constant $c=c(H)$. This bound is best possible, up to the value of $c$, and improves upon a recent result of Chekuri and Chuzhoy [STOC 2013], who established this with $f(k) = c k \log^d k$ for some universal constant $d$. The proof is constructive and yields a polynomial-time $O(\log \mathsf{OPT})$-approximation algorithm for packing subgraphs containing an $H$-minor.
Using Block Designs in Crossing Number Bounds
Published
• View Publication
• BIB
The crossing number ${\mbox {cr}}(G)$ of a graph $G=(V,E)$ is the smallest number of edge crossings over all drawings of $G$ in the plane. For any $k\ge 1$, the $k$-planar crossing number of $G$, ${\mbox {cr}}_k(G)$, is defined as the minimum of ${\mbox {cr}}(G_1)+{\mbox {cr}}(G_2)+\ldots+{\mbox {cr}}(G_{k})$ over all graphs $G_1, G_2,\ldots, G_{k}$ with $\cup_{i=1}^{k}G_i=G$. Pach et al. [\emph{Computational Geometry: Theory and Applications} {\bf 68} 2--6, (2018)] showed that for every $k\ge 1$, we have ${\mbox {cr}}_k(G)\le \left(\frac{2}{k^2}-\frac1{k^3}\right){\mbox {cr}}(G)$ and that this bound does not remain true if we replace the constant $\frac{2}{k^2}-\frac1{k^3}$ by any number smaller than $\frac1{k^2}$. We improve the upper bound to $\frac{1}{k^2}(1+o(1))$ as $k\rightarrow \infty$. For the class of bipartite graphs, we show that the best constant is exactly $\frac{1}{k^2}$ for every $k$. The results extend to the rectilinear variant of the $k$-planar crossing number.
Action graphs, planar rooted forests, and self-convolutions of the Catalan numbers
Published in Involve 14 (2021) 387-399
• View Publication
• BIB
We show that families of action graphs, with initial graphs which are linear of varying length, give rise to self-convolutions of the Catalan sequence. We prove this result via a comparison with planar rooted forests with a fixed number of trees.
The Hopf algebra of integer binary relations
Published in Algebraic Combinatorics, Resurgence, Moulds and Applications (CARMA), European Mathematical Society Publishing House, pp.299-344, 2020
• View Publication
• BIB
We construct a Hopf algebra on integer binary relations that contains under the same roof several well-known Hopf algebras related to the permutahedra and the associahedra: the Malvenuto-Reutenauer algebra on permutations, the Loday-Ronco algebra on planar binary trees, and the Chapoton algebras on ordered partitions and on Schröder trees. We also derive from our construction new Hopf structures on intervals of the weak order on permutations and of the Tamari order on binary trees.
Ising model and the positive orthogonal Grassmannian
Published in Duke Math. J. 169, no. 10 (2020), 1877-1942
• View Publication
• BIB
We completely describe by inequalities the set of boundary correlation matrices of planar Ising networks embedded in a disk. Specifically, we build on a recent result of M.~Lis to give a simple bijection between such correlation matrices and points in the totally nonnegative part of the orthogonal Grassmannian, which has been introduced in 2013 in the study of the scattering amplitudes of ABJM theory. We also show that the edge parameters of the Ising model for reduced networks can be uniquely recovered from boundary correlations, solving the inverse problem. Under our correspondence, the Kramers--Wannier high/low temperature duality transforms into the cyclic symmetry of the Grassmannian, and using this cyclic symmetry, we prove that the spaces under consideration are homeomorphic to closed balls.
Distance-Two Colorings of Barnette Graphs
Published
• View Publication
• BIB
Barnette identified two interesting classes of cubic polyhedral graphs for which he conjectured the existence of a Hamiltonian cycle. Goodey proved the conjecture for the intersection of the two classes. We examine these classes from the point of view of distance-two colorings. A distance-two $r$-coloring of a graph $G$ is an assignment of $r$ colors to the vertices of $G$ so that any two vertices at distance at most two have different colors. Note that a cubic graph needs at least four colors. The distance-two four-coloring problem for cubic planar graphs is known to be NP-complete. We claim the problem remains NP-complete for tri-connected bipartite cubic planar graphs, which we call type-one Barnette graphs, since they are the first class identified by Barnette. By contrast, we claim the problem is polynomial for cubic plane graphs with face sizes $3, 4, 5,$ or $6$, which we call type-two Barnette graphs, because of their relation to Barnette's second conjecture. We call Goodey graphs those type-two Barnette graphs all of whose faces have size $4$ or $6$. We fully describe all Goodey graphs that admit a distance-two four-coloring, and characterize the remaining type-two Barnette graphs that admit a distance-two four-coloring according to their face size.
For quartic plane graphs, the analogue of type-two Barnette graphs are graphs with face sizes $3$ or $4$. For this class, the distance-two four-coloring problem is also polynomial; in fact, we can again fully describe all colorable instances -- there are exactly two such graphs.
Percolation on triangulations: a bijective path to Liouville quantum gravity
Published
• View Publication
• BIB
We set the foundation for a series of works aimed at proving strong relations between uniform random planar maps and Liouville quantum gravity (LQG). Our method relies on a bijective encoding of site-percolated planar triangulations by certain 2D lattice paths. Our bijection parallels in the discrete setting the \emph{mating-of-trees} framework of LQG and Schramm-Loewner evolutions (SLE) introduced by Duplantier, Miller, and Sheffield. Combining these two correspondences allows us to relate uniform site-percolated triangulations to $\sqrt{8/3}$-LQG and SLE$_6$. In particular, we establish the convergence of several functionals of the percolation model to continuous random objects defined in terms of $\sqrt{8/3}$-LQG and SLE$_6$. For instance, we show that the exploration tree of the percolation converges to a branching SLE$_6$, and that the collection of percolation cycles converges to the conformal loop ensemble CLE$_6$. We also prove convergence of counting measure on the pivotal points of the percolation. Our results play an essential role in several other works, including a program for showing convergence of the conformal structure of uniform triangulations and works which study the behavior of random walk on the uniform infinite planar triangulation.