planar
3156 papers tagged with this keyword
Intrinsically spherical 3-linked graphs
We exhibit several families of planar graphs that are minor-minimal intrinsically spherical $3$-linked. A graph is intrinsically spherical 3-linked if it is planar graph that has, in every spherical embedding, a non-split 3-link consisting of two disjoint cycles ($S^1$s) and two disjoint vertices ($S^0$), or a cycle and two pairs of disjoint vertices. We conjecture that $K_4 \dot{\bigcup} K_4$, $K_{3,2} \dot{\bigcup} K_{3,2}$, and $K_4 \dot{\bigcup} K_{3,2}$ form the complete set of minor-minimal intrinsically type I spherical 3-linked graphs (that is, in every spherical embedding, have a nonsplit link of two cycles and one $S^0$).
The Signed (Total) Roman Domination Problem on some Classes of Planar Graphs -- Convex Polytopes
Published
• View Publication
• BIB
In this paper we deal with the calculation of the signed (total) Roman domination numbers, $γ_{sR}$ and $γ_{stR}$ respectively, on a few classes of planar graphs from the literature. We give proofs for the exact values of the numbers $γ_{sR}(A_n)$ and $γ_{sR}(R_n)$ as well as the numbers
$γ_{stR}(S_n)$ and $γ_{stR}(T_n)$. For some other classes of planar graphs, such as $Q_n$, %$S_n"$ and $T_n"$, lower and upper bounds on $γ_{sR}$ are calculated and proved. %We give some open problems on the exact values of $γ_{sR}$ and $γ_{stR}$ for some classes of planar graphs.
On the inner product problem in the plane
We establish the optimal lower bound $\gtrsim N$ for counting the number of distinct inner products of pairs from any $N$ given vectors in $\R^2$. Essentially, we lift a related incidence structure defined by inner products in the plane to $\R^3$ and derive our bound by showing that the lifted structures result in planar graphs.
On the Hat Guessing Number of Graphs
Published
• View Publication
• BIB
The hat guessing number $HG(G)$ of a graph $G$ on $n$ vertices is defined in terms of the following game: $n$ players are placed on the $n$ vertices of $G$, each wearing a hat whose color is arbitrarily chosen from a set of $q$ possible colors. Each player can see the hat colors of his neighbors, but not his own hat color. All of the players are asked to guess their own hat colors simultaneously, according to a predetermined guessing strategy and the hat colors they see, where no communication between them is allowed. The hat guessing number $HG(G)$ is the largest integer $q$ such that there exists a guessing strategy guaranteeing at least one correct guess for any hat assignment of $q$ possible colors.
In this note we construct a planar graph $G$ satisfying $HG(G)=12$, settling a problem raised in \cite{BDFGM}. We also improve the known lower bound of $(2-o(1))\log_2 n$ for the typical hat guessing number of the random graph $G=G(n,1/2)$, showing that it is at least $n^{1-o(1)}$ with probability tending to $1$ as $n$ tends to infinity. Finally, we consider the linear hat guessing number of complete multipartite graphs.
A Sublinear Bound on the Page Number of Upward Planar Graphs
Published
• View Publication
• BIB
The page number of a directed acyclic graph $G$ is the minimum $k$ for which there is a topological ordering of $G$ and a $k$-coloring of the edges such that no two edges of the same color cross, i.e., have alternating endpoints along the topological ordering. We address the long-standing open problem asking for the largest page number among all upward planar graphs. We improve the best known lower bound to $5$ and present the first asymptotic improvement over the trivial $O(n)$ upper bound, where $n$ denotes the number of vertices in $G$. Specifically, we first prove that the page number of every upward planar graph is bounded in terms of its width, as well as its height. We then combine both approaches to show that every $n$-vertex upward planar graph has page number $O(n^{2/3} \log(n)^{2/3})$.
Cubic planar bipartite graphs are dispersable
A graph is called dispersable if it has a book embedding in which each page has maximum degree 1 and the number of pages is the maximum degree. Bernhart and Kainen conjectured every k-regular bipartite graph is dispersable. Forty years later, Alam, Bekos, Gronemann, Kaufmann, and Pupyrev have disproved this conjecture, identifying nonplanar 3- and 4-regular bipartite graphs that are not dispersable. They also proved all cubic planar bipartite 3-connected graphs are dispersable and conjectured that the connectivity condition could be relaxed. We prove that every cubic planar bipartite multigraph is dispersable. A postscript is added which includes new references.
Spectra of three-peg Hanoi towers graphs
Published
• View Publication
• BIB
We consider the relationship between the Laplacians on two sequences of planar graphs, one from the theory of self-similar groups and one from analysis on fractals. By establishing a spectral decimation map between these sequences we give an elementary calculation of the spectrum of the former, which was first computed by Grigorchuk and Šunić. Our method also gives a full description of the eigenfunctions.
Parking on Cayley trees & Frozen Erdös-Rényi
Published
• View Publication
• BIB
Consider a uniform rooted Cayley tree $T_{n}$ with $n$ vertices and let $m$ cars arrive sequentially, independently, and uniformly on its vertices. Each car tries to park on its arrival node, and if the spot is already occupied, it drives towards the root of the tree and parks as soon as possible. Lackner & Panholzer (arXiv:1504.04972) established a phase transition for this process when $ m \approx \frac{n}{2}$. In this work, we couple this model with a variant of the classical Erdös-Rényi random graph process. This enables us to describe the phase transition for the size of the components of parked cars using a modification of the multiplicative coalescent which we name the frozen multiplicative coalescent. The geometry of critical parked clusters is also studied. Those trees are very different from Bienaymé-Galton-Watson trees and should converge towards the growth-fragmentation trees canonically associated to the $3/2$-stable process that already appeared in the study of random planar maps.
55- and 56-configurations are reducible
Let $G$ be a 4-chromatic maximal planar graph (MPG) with the minimum degree of at least 4 and let $C$ be an even-length cycle of $G$.If $|f(C)|=2$ for every $f$ in some Kempe equivalence class of $G$, then we call $C$ an unchanged bichromatic cycle (UBC) of $G$, and correspondingly $G$ an unchanged bichromatic cycle maximal planar graph (UBCMPG) with respect to $C$, where $f(C)=\{f(v)| v\in V(C)\}$. For an UBCMPG $G$ with respect to an UBC $C$, the subgraph of $G$ induced by the set of edges belonging to $C$ and its interior (or exterior), denoted by $G^C$, is called a base-module of $G$; in particular, when the length of $C$ is equal to four, we use $C_4$ instead of $C$ and call $G^{C_4}$ a 4-base-module. In this paper, we first study the properties of UBCMPGs and show that every 4-base-module $G^{C_4}$ contains a 4-coloring under which $C_4$ is bichromatic and there are at least two bichromatic paths with different colors between one pair of diagonal vertices of $C_4$ (these paths are called module-paths). We further prove that every 4-base-module $G^{C_4}$ contains a 4-coloring (called decycle coloring) for which the ends of a module-path are colored by distinct colors. Finally, based on the technique of the contracting and extending operations of MPGs, we prove that 55-configurations and 56-configurations are reducible by converting the reducibility problem of these two classes of configurations into the decycle coloring problem of 4-base-modules.
Bipartite cubic planar graphs are dispersable
The book embedding of a graph $G$ is to place the vertices of $G$ on the spine and draw the edges to the pages so that the edges in the same page do not cross with each other. A book embedding is matching if the vertices in the same page have maximum degree at most 1. The matching book thickness is the minimum number of pages in which a graph can be matching book embedded. A graph $G$ is dispersable if and only if $mbt(G)=Δ(G)$. In this paper, we prove that bipartite cubic planar graphs are dispersable.
Almost-Orthogonal Bases for Inner Product Polynomials
In this paper, we consider low-degree polynomials of inner products between a collection of random vectors. We give an almost orthogonal basis for this vector space of polynomials when the random vectors are Gaussian, spherical, or Boolean. In all three cases, our basis admits an interesting combinatorial description based on the topology of the underlying graph of inner products.
We also analyze the expected value of the product of two polynomials in our basis. In all three cases, we show that this expected value can be expressed in terms of collections of matchings on the underlying graph of inner products. In the Gaussian and Boolean cases, we show that this expected value is always non-negative. In the spherical case, we show that this expected value can be negative but we conjecture that if the underlying graph of inner products is planar then this expected value will always be non-negative.
Logarithmic Weisfeiler-Leman Identifies All Planar Graphs
The Weisfeiler-Leman (WL) algorithm is a well-known combinatorial procedure for detecting symmetries in graphs and it is widely used in graph-isomorphism tests. It proceeds by iteratively refining a colouring of vertex tuples. The number of iterations needed to obtain the final output is crucial for the parallelisability of the algorithm.
We show that there is a constant k such that every planar graph can be identified (that is, distinguished from every non-isomorphic graph) by the k-dimensional WL algorithm within a logarithmic number of iterations. This generalises a result due to Verbitsky (STACS 2007), who proved the same for 3-connected planar graphs.
The number of iterations needed by the k-dimensional WL algorithm to identify a graph corresponds to the quantifier depth of a sentence that defines the graph in the (k+1)-variable fragment C^{k+1} of first-order logic with counting quantifiers. Thus, our result implies that every planar graph is definable with a C^{k+1}-sentence of logarithmic quantifier depth.
Electrical networks and Lagrangian Grassmannians
Published
• View Publication
• BIB
Cactus networks were introduced by Lam as a generalization of planar electrical networks. He defined a map from these networks to the Grassmannian Gr($n+1,2n$) and showed that the image of this map, $\mathcal X_n$ lies inside the totally nonnegative part of this Grassmannian. In this paper, we show that $\mathcal X_n$ is exactly the elements of Gr($n+1,2n$) that are both totally nonnegative and isotropic for a particular skew-symmetric bilinear form. For certain classes of cactus networks, we also explicitly describe how to turn response matrices and effective resistance matrices into points of Gr($n+1,2n$) given by Lam's map. Finally, we discuss how our work relates to earlier studies of total positivity for Lagrangian Grassmannians.
Permutations of point sets in $\mathbb{R}^d$
Given a set $S$ consisting of $n$ points in $\mathbb{R}^d$ and one or two vantage points, we study the number of orderings of $S$ induced by measuring the distance (for one vantage point) or the average distance (for two vantage points) from the vantage point(s) to the points of $S$ as the vantage points move through $\mathbb{R}^d.$ With one vantage point, a theorem of Good and Tideman \cite{MR505547} shows the maximum number of orderings is a sum of unsigned Stirling numbers of the first kind. We show that the minimum value in all dimensions is $2n-2,$ achieved by $n$ equally spaced points on a line. We investigate special configurations that achieve intermediate numbers of orderings in the one--dimensional and two--dimensional cases. We also treat the case when the points are on the sphere $S^2,$ connecting spherical and planar configurations. We briefly consider an application using weights suggested by an application to social choice theory. We conclude with several open problems that we believe deserve further study.
Immanant Positivity for Catalan-Stieltjes Matrices
Published
• View Publication
• BIB
In this paper we give some sufficient conditions for the nonnegativity of immanants of square submatrices of Catalan-Stieltjes matrices and their corresponding Hankel matrices. To obtain these sufficient conditions, we construct new planar networks with a recursive nature for Catalan-Stieltjes matrices. As applications, we provide a unified way to produce inequalities for many combinatorial polynomials, such as the Eulerian polynomials, Schröder polynomials and Narayana polynomials.
Smaller extended formulations for spanning tree polytopes in minor-closed classes and beyond
Published in Electronic Journal of Combinatorics, 28/4:P4.47, 2021
• View Publication
• BIB
Let $G$ be a connected $n$-vertex graph in a proper minor-closed class $\mathcal G$. We prove that the extension complexity of the spanning tree polytope of $G$ is $O(n^{3/2})$. This improves on the $O(n^2)$ bounds following from the work of Wong (1980) and Martin (1991). It also extends a result of Fiorini, Huynh, Joret, and Pashkovich (2017), who obtained a $O(n^{3/2})$ bound for graphs embedded in a fixed surface. Our proof works more generally for all graph classes admitting strongly sublinear balanced separators: We prove that for every constant $β$ with $0<β<1$, if $\mathcal G$ is a graph class closed under induced subgraphs such that all $n$-vertex graphs in $\mathcal G$ have balanced separators of size $O(n^β)$, then the extension complexity of the spanning tree polytope of every connected $n$-vertex graph in $\mathcal{G}$ is $O(n^{1+β})$. We in fact give two proofs of this result, one is a direct construction of the extended formulation, the other is via communication protocols. Using the latter approach we also give a short proof of the $O(n)$ bound for planar graphs due to Williams (2002).
Branched coverings of the 2-sphere
Published
• View Publication
• BIB
Thurston obtained a combinatorial characterization for generic branched self-coverings that preserve the orientation of the oriented 2-sphere by associating a planar graph to them [arXiv:1502.04760]. In this work, the Thurston result is generalized to any branched covering of the oriented 2-sphere. To achieve that the notion of local balance introduced by Thurston is generalized. As an application, a new proof for a Theorem of Eremenko-Gabrielov-Mukhin-Tarasov-Varchenko [MR1888795], [MR2552110] is obtained. This theorem corresponded to a special case of the B. \& M. Shapiro conjecture. In this case, it refers to generic rational functions stating that a generic rational function $ R : \mathbb{C}\mathbb{P}^1 \rightarrow \mathbb{C}\mathbb{P}^1$ with only real critical points can be transformed by post-composition with an automorphism of $\mathbb{C}\mathbb{P}^1$ into a quotient of polynomials with real coefficients. Operations against balanced graphs are introduced.
Convergence of the Probabilistic Interpretation of Modulus
Published
• View Publication
• BIB
Given a Jordan domain $Ω\subset\mathbb{C}$ and two disjoint arcs $A, B$ on $\partialΩ$, the modulus $m$ of the curve family connecting $A$ and $B$ in $Ω$ is equal to the modulus of the curve family connecting the vertical sides in the rectangle $R=[0,1]\times[0,m]$. Also, $m>0$ is the unique value such that there is a conformal map $ψ$ mapping $Ω$ to ${\rm int}(R)$ so that $ψ$ extends continuously to a homeomorphism of $\partial Ω$ onto $\partial R$ and the arcs $A$ and $B$ are sent to the vertical sides of $R$. Moreover, in the case of the rectangle the family of horizontal segments connecting the two sides has the same modulus as the entire connecting family. Pulling these segments back to $Ω$ via $ψ$ yields a family of extremal curves (also known as horizontal trajectories) connecting $A$ to $B$ in $Ω$. In this paper, we show that these extremal curves can be approximated by some discrete paths arising from an orthodiagonal approximation of $Ω$. Moreover, we show that there is a natural probability mass function (pmf) on these paths, deriving from the theory of discrete modulus, which converges to the transverse measure on the set of extremal curves. The key ingredient is an algorithm that, for an embedded planar graph, takes the current flow between two sets of nodes, and produces a unique path decomposition with non-crossing paths. Moreover, some care was taken to adapt recent results for harmonic convergence on orthodiagonal maps, due to Gurel-Gurevich, Jerison, and Nachmias, to our context. Finally, we generalize a result of N.~Alrayes from the square grid setting to the orthodiagonal setting, and prove that the discrete modulus of the approximating non-crossing paths converges to the continuous modulus.
Log-concavity in planar random walks
Published in Combinatorica 42 (2022), 1011--1026
• View Publication
• BIB
We prove log-concavity of exit probabilities of lattice random walks in certain planar regions.
The scaling limit of fair Peano paths
We study random Peano paths on planar square grids that arise from fair random spanning trees. These are trees that are sampled in such a way as to have the same (if possible) edge probabilities. In particular, we are interested in identifying the scaling limit as the mesh-size of the grid tends to zero. It is known \cite{lawler-schramm-werner2002} that if the trees are sampled uniformly, then the scaling limit exists and equals ${\rm SLE}_8$. We show that if we simply follow the same steps as in \cite{lawler-schramm-werner2002}, then fair Peano paths have a deterministic scaling limit.