planar
3156 papers tagged with this keyword
On minimizers of the maximal distance functional for a planar convex closed smooth curve
Fix a compact $M \subset \mathbb{R}^2$ and $r>0$. A minimizer of the maximal distance functional is a connected set $Σ$ of the minimal length, such that \[ max_{y \in M} dist(y,Σ) \leq r. \] The problem of finding maximal distance minimizers is connected to the Steiner tree problem.
In this paper we consider the case of a convex closed curve $M$, with the minimal radius of curvature greater than $r$ (it implies that $M$ is smooth). The first part is devoted to statements on structure of $Σ$: we show that the closure of an arbitrary connected component of $B_r(M) \cap Σ$ is a local Steiner tree which connects no more than five vertices.
In the second part we "derive in the picture". Assume that the left and right neighborhoods of $y \in M$ are contained in $r$-neighborhoods of different points $x_1$, $x_2 \in Σ$. We write conditions on the behavior of $Σ$ in the neighborhoods of $x_1$ and $x_2$ under the assumption by moving $y$ along $M$.
Distinct distances on non-ruled surfaces and between circles
Published
• View Publication
• BIB
We improve the current best bound for distinct distances on non-ruled algebraic surfaces in ${\mathbb R}^3$. In particular, we show that $n$ points on such a surface span $Ω\left(n^{32/39-\varepsilon}\right)$ distinct distances, for any $\varepsilon>0$. Our proof adapts the proof of Székely for the planar case, which is based on the crossing lemma.
As part of our proof for distinct distances on surfaces, we also obtain new results for distinct distances between circles in ${\mathbb R}^3$. Consider point sets ${\mathcal P}_1$ and ${\mathcal P}_2$ of respective sizes $m$ and $n$, such that each set lies on a distinct circle in ${\mathbb R}^3$. We characterize the cases when the number of distinct distances between the two sets can be $O(m+n)$. This includes a new configuration with a small number of distances. In any other case, we prove that the number of distinct distances is $Ω\left(\min\left\{m^{2/3}n^{2/3},m^2,n^2\right\}\right)$.
Counting Homomorphic Cycles in Degenerate Graphs
Published
• View Publication
• BIB
Since counting subgraphs in general graphs is, by and large, a computationally demanding problem, it is natural to try and design fast algorithms for restricted families of graphs. One such family that has been extensively studied is that of graphs of bounded degeneracy (e.g., planar graphs). This line of work, which started in the early 80's, culminated in a recent work of Gishboliner et al., which highlighted the importance of the task of counting homomorphic copies of cycles (i.e., cyclic walks) in graphs of bounded degeneracy.
Our main result in this paper is a surprisingly tight relation between the above task and the well-studied problem of detecting (standard) copies of directed cycles in general directed graphs. More precisely, we prove the following:
1. One can compute the number of homomorphic copies of $C_{2k}$ and $C_{2k+1}$ in $n$-vertex graphs of bounded degeneracy in time $\tilde{O}(n^{d_{k}})$, where the fastest known algorithm for detecting directed copies of $C_k$ in general $m$-edge digraphs runs in time $\tilde{O}(m^{d_{k}})$.
2. Conversely, one can transform any $O(n^{b_{k}})$ algorithm for computing the number of homomorphic copies of $C_{2k}$ or of $C_{2k+1}$ in $n$-vertex graphs of bounded degeneracy, into an $\tilde{O}(m^{b_{k}})$ time algorithm for detecting directed copies of $C_k$ in general $m$-edge digraphs.
We emphasize that our first result does not use a black-box reduction (as opposed to the second result which does). Instead, we design an algorithm for computing the number of $C_k$-homomorphisms in degenerate graphs and show that one part of its analysis can be reduced to the analysis of the fastest known algorithm for detecting directed cycles in general digraphs, which was carried out in a recent breakthrough of Dalirrooyfard, Vuong and Vassilevska Williams.
Total domination in plane triangulations
Published in Discrete Math. 344 (2021) 112179
• View Publication
• BIB
A total dominating set of a graph $G=(V,E)$ is a subset $D$ of $V$ such that every vertex in $V$ is adjacent to at least one vertex in $D$. The total domination number of $G$, denoted by $γ_t (G)$, is the minimum cardinality of a total dominating set of $G$. A near-triangulation is a biconnected planar graph that admits a plane embedding such that all of its faces are triangles except possibly the outer face. We show in this paper that $γ_t (G) \le \lfloor \frac{2n}{5}\rfloor$ for any near-triangulation $G$ of order $n\ge 5$, with two exceptions.
The complexity of the Perfect Matching-Cut problem
Published
• View Publication
• BIB
Perfect Matching-Cut is the problem of deciding whether a graph has a perfect matching that contains an edge-cut. We show that this problem is NP-complete for planar graphs with maximum degree four, for planar graphs with girth five, for bipartite five-regular graphs, for graphs of diameter three and for bipartite graphs of diameter four. We show that there exist polynomial time algorithms for the following classes of graphs: claw-free, $P_5$-free, diameter two, bipartite with diameter three and graphs with bounded tree-width.
The Rank-Generating Functions of Upho Posets
Published
• View Publication
• BIB
Upper homogeneous finite type (upho) posets are a large class of partially ordered sets with the property that the principal order filter at every vertex is isomorphic to the whole poset. Well-known examples include k-array trees, the grid graphs, and the Stern poset. Very little is known about upho posets in general. In this paper, we construct upho posets with Schur-positive Ehrenborg quasisymmetric functions, whose rank-generating functions have rational poles and zeros. We also categorize the rank-generating functions of all planar upho posets. Finally, we prove the existence of an upho poset with uncomputable rank-generating function.
Strong $3$-Flow Conjecture for Projective Planar Graphs
Published
• View Publication
• BIB
In 1972, Tutte posed the $3$-Flow Conjecture: that all $4$-edge-connected graphs have a nowhere zero $3$-flow. This was extended by Jaeger et al.(1992) to allow vertices to have a prescribed, possibly non-zero difference (modulo $3$) between the inflow and outflow. They conjectured that all $5$-edge-connected graphs with a valid prescription function have a nowhere zero $3$-flow meeting that prescription. Kochol (2001) showed that replacing $4$-edge-connected with $5$-edge-connected would suffice to prove the $3$-Flow Conjecture and Lovász et al.(2013) showed that both conjectures hold if the edge connectivity condition is relaxed to $6$-edge-connected. Both problems are still open for $5$-edge-connected graphs.
The $3$-Flow Conjecture was known to hold for planar graphs, as it is the dual of Grötzsch's Colouring Theorem. Steinberg and Younger (1989) provided the first direct proof using flows for planar graphs, as well as a proof for projective planar graphs. Richter et al.(2016) provided the first direct proof using flows of the Strong $3$-Flow Conjecture for planar graphs. We prove the Strong $3$-Flow Conjecture for projective planar graphs.
Two Strong $3$-Flow Theorems for Planar Graphs
In 1972, Tutte posed the $3$-Flow Conjecture: that all $4$-edge-connected graphs have a nowhere zero $3$-flow. This was extended by Jaeger et al.(1992) to allow vertices to have a prescribed, possibly non-zero difference (modulo $3$) between the inflow and outflow. They conjectured that all $5$-edge-connected graphs with a valid prescription function have a nowhere zero $3$-flow meeting that prescription (we call this the Strong $3$-Flow Conjecture). Kochol (2001) showed that replacing $4$-edge-connected with $5$-edge-connected would suffice to prove the $3$-Flow Conjecture and Lovász et al.(2013) showed that the $3$-Flow and Strong $3$-Flow Conjectures hold if the edge connectivity condition is relaxed to $6$-edge-connected. Both problems are still open for $5$-edge-connected graphs.
The $3$-Flow Conjecture was known to hold for planar graphs, as it is the dual of Grötzsch's Colouring Theorem. Steinberg and Younger (1989) provided the first direct proof using flows for planar graphs, as well as a proof for projective planar graphs. Richter et al.(2016) provided the first direct proof using flows of the Strong $3$-Flow Conjecture for planar graphs. We provide two extensions to their result, that we developed in order to prove the Strong $3$-Flow Conjecture for projective planar graphs.
A note on adaptable choosability and choosability with separation of planar graphs
Let $F$ be a (possibly improper) edge-coloring of a graph $G$; a vertex coloring of $G$ is \emph{adapted to} $F$ if no color appears at the same time on an edge and on its two endpoints. If for some integer $k$, a graph $G$ is such that given any list assignment $L$ to the vertices of $G$, with $|L(v)| \ge k$ for all $v$, and any edge-coloring $F$ of $G$, $G$ admits a coloring $c$ adapted to $F$ where $c(v) \in L(v)$ for all $v$, then $G$ is said to be \emph{adaptably $k$-choosable}. A {\em $(k,d)$-list assignment} for a graph $G$ is a map that assigns to each vertex $v$ a list $L(v)$ of at least $k$ colors such that $|L(x) \cap L(y)| \leq d$ whenever $x$ and $y$ are adjacent. A graph is {\em $(k,d)$-choosable} if for every $(k,d)$-list assignment $L$ there is an $L$-coloring of $G$. It has been conjectured that planar graphs are $(3,1)$-choosable. We give some progress on this conjecture by giving sufficient conditions for a planar graph to be adaptably $3$-choosable. Since $(k,1)$-choosability is a special case of adaptable $k$-choosablity, this implies that a planar graph satisfying these conditions is $(3,1)$-choosable.
Two point concentration of maximum degree in sparse random planar graphs
Let $P(n,m)$ be a graph chosen uniformly at random from the class of all planar graphs on vertex set $\left\{1, \ldots, n\right\}$ with $m=m(n)$ edges. We show that in the sparse regime, when $\limsup_{n \to \infty} m/n<1$, with high probability the maximum degree of $P(n,m)$ takes at most two different values.
Remark on topological nature of upward planarity
The notion of an upward plane graph in graph theory and that of a progressive plane graph (or plane string diagram) in category theory are essentially the same thing. In this paper, we combine the ideas in graph theory and category theory to explain why and in what sense upward planarity is a topological property. The main result is that two upward planar drawings of an acyclic directed graph are equivalent (connected by a deformation) if and only if they are connected by a planar isotopy which preserves the orientation and polarization of $G$. This result gives a positive answer to Selinger's conjectue, whose strategy is different from the solution recently given by Delpeuch and Vicary.
Enumerative and planar combinatorics of trivariate monomial resolutions
The canonical sylvan resolution is a resolution of an arbitrary monomial ideal over a polynomial ring that is minimal and has an explicit combinatorial formula for the differential. The differential is a weighted sum over lattice paths of weights of chain-link fences, which are sequences of faces that are linked to each other via higher-dimensional analogues of spanning trees. Along a lattice path in the three-variable case, these weights can be condensed to a single weight contributing to the combinatorial formula for the differential that bypasses any computation of chain-link fences. The main results in this paper express the sylvan matrix entries for monomial ideals in three variables as a sum over lattice paths of simpler weights that depend only on the number of specific Koszul simplicial complexes that lie along the corresponding lattice path. Certain entries have numerators equal to the number of lattice paths in $\mathbb{N}^2$ that follow specific restrictions.
Sparse reconstruction in spin systems I: iid spins
Published
• View Publication
• BIB
For a sequence of Boolean functions $f_n : \{-1,1\}^{V_n} \longrightarrow \{-1,1\}$, defined on increasing configuration spaces of random inputs, we say that there is sparse reconstruction if there is a sequence of subsets $U_n \subseteq V_n$ of the coordinates satisfying $|U_n| = o(|V_n|)$ such that knowing the coordinates in $U_n$ gives us a non-vanishing amount of information about the value of $f_n$.
We first show that, if the underlying measure is a product measure, then no sparse reconstruction is possible for any sequence of transitive functions. We discuss the question in different frameworks, measuring information content in $L^2$ and with entropy. We also highlight some interesting connections with cooperative game theory. Beyond transitive functions, we show that the left-right crossing event for critical planar percolation on the square lattice does not admit sparse reconstruction either. Some of these results answer questions posed by Itai Benjamini.
Planar Kinematics: Cyclic Fixed Points, Mirror Superpotential, k-Dimensional Catalan Numbers, and Root Polytopes
Published
• View Publication
• BIB
In this paper we prove that points in the space $X(k,n)$ of configurations of $n$ points in $\mathbb{CP}^{k-1}$ which are fixed under a certain cyclic action are the solutions to the generalized scattering equations on planar kinematics (PK). In the first part, we give a constructive upper bound: we show that these solutions inject into certain aperiodic k-element subsets of $\{1,\ldots, n\}$, and consequently that their number is bounded above by the number of Lyndon words with k one's and n-k zeros. The proof uses a somewhat surprising connection between the superpotential of the mirror of $G(n-k,n)$ and the generalized CHY potential on $X(k,n)$. We also check the recent conjecture that generalized biadjoint amplitudes evaluate to $k$-dimensional Catalan numbers on PK for several examples including $k=3$ and $n\leq 40$ and $(k,n)=(6,13)$. We then reformulate the CEGM generalized biadjoint scalar amplitude directly as a Laplace transform-type integral over ${\rm Trop}^+ G(k,n)$ and we use it to evaluate the amplitude on PK with the purpose of exhibiting how GFD's glue together.
We initiate the study of two minimal lattice polytopal neighborhoods of the planar kinematics point. One of these, the rank-graded root polytope $\mathcal{R}_{k,n}$, in the case $k=2$, is a projection of the standard type A root polytope. The other, denoted $Π_{k,n}$, in the case $k=2$, is a degeneration of the associahedron. We check up to and including $\mathcal{R}_{3,9}$ and $\mathcal{R}_{4,9}$ that the relative volume of $\mathcal{R}_{k,n}$ is the multi-dimensional Catalan number $C^{(k)}_{n-k}$, hinting towards the possibility of deeper geometric and combinatorial interpretations of $m^{(k)}(\mathbb{I}_n,\mathbb{I}_n)$ near the PK point.
Upper bounds on mixing time of finite Markov chains
Published in SIAM Journal on Discrete Mathematics, Vol. 36, Iss. 4 (2022), 3031-3057
• View Publication
• BIB
We provide a general framework for computing upper bounds on mixing times of finite Markov chains when its minimal ideal is left zero. Our analysis is based on combining results by Brown and Diaconis with our previous work on stationary distributions of finite Markov chains. Stationary distributions can be computed from the Karnofsky--Rhodes and McCammond expansion of the right Cayley graph of the finite semigroup underlying the Markov chain. Using loop graphs, which are planar graphs consisting of a straight line with attached loops, there are rational expressions for the stationary distribution in the probabilities. From these we obtain bounds on the mixing time. In addition, we provide a new Markov chain on linear extension of a poset with $n$ vertices, inspired by but different from the promotion Markov chain of Ayyer, Klee and the last author. The mixing time of this Markov chain is $O(n \log n)$.
Circular chromatic number of signed graphs
Published
• View Publication
• BIB
A signed graph is a pair $(G, σ)$, where $G$ is a graph and $σ: E(G) \to \{+, -\}$ is a signature which assigns to each edge of $G$ a sign. Various notions of coloring of signed graphs have been studied. In this paper, we extend circular coloring of graphs to signed graphs. Given a signed graph $(G, σ)$ a circular $r$-coloring of $(G, σ)$ is an assignment $ψ$ of points of a circle of circumference $r$ to the vertices of $G$ such that for every edge $e=uv$ of $G$, if $σ(e)=+$, then $ψ(u)$ and $ψ(v)$ have distance at least $1$, and if $σ(e)=-$, then $ψ(v)$ and the antipodal of $ψ(u)$ have distance at least $1$. The circular chromatic number $χ_c(G, σ)$ of a signed graph $(G, σ)$ is the infimum of those $r$ for which $(G, σ)$ admits a circular $r$-coloring. For a graph $G$, we define the signed circular chromatic number of $G$ to be $\max\{χ_c(G, σ): σ\text{ is a signature of $G$}\}$.
We study basic properties of circular coloring of signed graphs and develop tools for calculating $χ_c(G, σ)$. We explore the relation between the circular chromatic number and the signed circular chromatic number of graphs, and present bounds for the signed circular chromatic number of some families of graphs. In particular, we determine the supremum of the signed circular chromatic number of $k$-chromatic graphs of large girth, of simple bipartite planar graphs, $d$-degenerate graphs, simple outerplanar graphs and series-parallel graphs. We construct a signed planar simple graph whose circular chromatic number is $4+\frac{2}{3}$. This is based and improves on a signed graph built by Kardos and Narboni as a counterexample to a conjecture of Máčajová, Raspaud, and Škoviera.
Extremal graphs and classification of planar graphs by MC-numbers
Published
• View Publication
• BIB
An edge-coloring of a connected graph $G$ is called a {\em monochromatic connection coloring} (MC-coloring for short) if any two vertices of $G$ are connected by a monochromatic path in $G$. For a connected graph $G$, the {\em monochromatic connection number} (MC-number for short) of $G$, denoted by $mc(G)$, is the maximum number of colors that ensure $G$ has a monochromatic connection coloring by using this number of colors. This concept was introduced by Caro and Yuster in 2011. They proved that $mc(G)\leq m-n+k$ if $G$ is not a $k$-connected graph. In this paper we depict all graphs with $mc(G)=m-n+k+1$ and $mc(G)= m-n+k$ if $G$ is a $k$-connected but not $(k+1)$-connected graph. We also prove that $mc(G)\leq m-n+4$ if $G$ is a planar graph, and classify all planar graphs by their monochromatic connectivity numbers.
Group connectivity and group coloring: small groups versus large groups
Published in The Electronic Journal of Combinatorics (2020): P1-49
• View Publication
• BIB
A well-known result of Tutte says that if Gamma is an Abelian group and G is a graph having a nowhere-zero Gamma-flow, then G has a nowhere-zero Gamma'-flow for each Abelian group Gamma' whose order is at least the order of Gamma. Jaeger, Linial, Payan, and Tarsi observed that this does not extend to their more general concept of group connectivity. Motivated by this we define g(k) as the least number such that, if G is Gamma-connected for some Abelian group Gamma of order k, then G is also Gamma'-connected for every Abelian group Gamma' of order |Gamma'| > g(k). We prove that g(k) exists and satisfies for infinitely many k, (2 - o(1))k < g(k) <= 8k^3 + 1. The upper bound holds for all k. Analogously, we define h(k) as the least number such that, if G is Gamma-colorable for some Abelian group Gamma of order k, then G is also Gamma'-colorable for every Abelian group Gamma' of order |Gamma'| > h(k). Then h(k) exists and satisfies for infinitely many k, (2 - o(1))k < h(k) < (2 + o(1))k ln(k). The upper bound (for all k) follows from a result of Král', Pangrác, and Voss. The lower bound follows by duality from our lower bound on g(k) as that bound is demonstrated by planar graphs.
Sparse universal graphs for planarity
Published in Journal of the London Mathematical Society, 108/4:1333--1357, 2023
• View Publication
• BIB
We show that for every integer $n\geq 1$ there exists a graph $G_n$ with $(1+o(1))n$ vertices and $n^{1 + o(1)}$ edges such that every $n$-vertex planar graph is isomorphic to a subgraph of $G_n$. The best previous bound on the number of edges was $O(n^{3/2})$, proved by Babai, Chung, Erdős, Graham, and Spencer in 1982. We then show that for every integer $n\geq 1$ there is a graph $U_n$ with $n^{1 + o(1)}$ vertices and edges that contains induced copies of every $n$-vertex planar graph. This significantly reduces the number of edges in a recent construction of the authors with Dujmović, Gavoille, and Micek.
Counting Subgraphs in Degenerate Graphs
Published
• View Publication
• BIB
We consider the problem of counting the number of copies of a fixed graph $H$ within an input graph $G$. This is one of the most well-studied algorithmic graph problems, with many theoretical and practical applications. We focus on solving this problem when the input $G$ has bounded degeneracy. This is a rich family of graphs, containing all graphs without a fixed minor (e.g. planar graphs), as well as graphs generated by various random processes (e.g. preferential attachment graphs). We say that $H$ is easy if there is a linear-time algorithm for counting the number of copies of $H$ in an input $G$ of bounded degeneracy. A seminal result of Chiba and Nishizeki from '85 states that every $H$ on at most 4 vertices is easy. Bera, Pashanasangi, and Seshadhri recently extended this to all $H$ on 5 vertices, and further proved that for every $k > 5$ there is a $k$-vertex $H$ which is not easy. They left open the natural problem of characterizing all easy graphs $H$.
Bressan has recently introduced a framework for counting subgraphs in degenerate graphs, from which one can extract a sufficient condition for a graph $H$ to be easy. Here we show that this sufficient condition is also necessary, thus fully answering the Bera--Pashanasangi--Seshadhri problem. We further resolve two closely related problems; namely characterizing the graphs that are easy with respect to counting induced copies, and with respect to counting homomorphisms.