planar
3209 papers tagged with this keyword
Arcs and tensors
To an arc $\mathcal{A}$ of $\mathrm{PG}(k-1,q)$ of size $q+k-1-t$ we associate a tensor in $\langle ν_{k,t}(\mathcal{A})\rangle^{\otimes k-1}$, where $ν_{k,t}$ denotes the Veronese map of degree $t$ defined on $\mathrm{PG}(k-1,q)$. As a corollary we prove that for each arc $\mathcal{A}$ in $\mathrm{PG}(k-1,q)$ of size $q+k-1-t$, which is not contained in a hypersurface of degree $t$, there exists a polynomial $F(Y_1,\ldots,Y_{k-1})$ (in $k(k-1)$ variables) where $Y_j=(X_{j1},\ldots,X_{jk})$, which is homogeneous of degree $t$ in each of the $k$-tuples of variables $Y_j$, which upon evaluation at any $(k-2)$-subset $S$ of the arc $\mathcal{A}$ gives a form of degree $t$ on $\mathrm{PG}(k-1,q)$ whose zero locus is the tangent hypersurface of $\mathcal{A}$ at $S$, i.e. the union of the tangent hyperplanes of $\mathcal{A}$ at $S$. This generalises the equivalent result for planar arcs ($k=3$), proven in \cite{BaLa2018}, to arcs in projective spaces of arbitrary dimension. A slightly weaker result is obtained for arcs in $\mathrm{PG}(k-1,q)$ of size $q+k-1-t$ which are contained in a hypersurface of degree $t$. We also include a new proof of the Segre-Blokhuis-Bruen-Thas hypersurface associated to an arc of hyperplanes in $\mathrm{PG}(k-1,q)$.
On the topology of bi-cyclopermutohedra
Motivated by the work of Panina and her coauthors on cyclopermutohedron we study a poset whose elements correspond to equivalence classes of partitions of the set $\{1,\cdots, n+1\}$ up to cyclic permutations and orientation reversion. This poset is the face poset of a regular CW complex which we call bi-cyclopermutohedron and denote it by $\mathrm{QP}_{n+1}$. The complex $\mathrm{QP}_{n+1}$ contains subcomplexes homeomorphic to moduli space of certain planar polygons with $n+1$ sides up to isometries. In this article we find an optimal discrete Morse function on $\mathrm{QP}_{n+1}$ and use it to compute its homology with $\mathbb{Z}$ as well as $\mathbb{Z}_2$ coefficients.
Every planar graph with $Δ\geqslant 8$ is totally $(Δ+2)$-choosable
Total coloring is a variant of edge coloring where both vertices and edges are to be colored. A graph is totally $k$-choosable if for any list assignment of $k$ colors to each vertex and each edge, we can extract a proper total coloring. In this setting, a graph of maximum degree $Δ$ needs at least $Δ+1$ colors. In the planar case, Borodin proved in 1989 that $Δ+2$ colors suffice when $Δ$ is at least 9. We show that this bound also holds when $Δ$ is $8$.
Universal Gröbner Bases of Toric Ideals of Combinatorial Neural Codes
Published in Involve 14 (2021) 723-742
• View Publication
• BIB
In the 1970s, O'Keefe and Dostrovsky discovered that certain neurons, called place cells, in an animal's brain are tied to its location within its arena. A combinatorial neural code is a collection of $0/1$-vectors which encode the patterns of co-firing activity among the place cells. Gross, Obatake, and Youngs have recently used techniques from toric algebra to study when a neural code is $0$- $1$-, or $2$-inductively pierced: a property that allows one to reconstruct a Venn diagram-like planar figure that acts as a geometric schematic for the neural co-firing patterns. This article examines their work closely by focusing on a variety of classes of combinatorial neural codes. In particular, we identify universal Gröbner bases of the toric ideal for these codes.
Planar Point Sets Determine Many Pairwise Crossing Segments
We show that any set of $n$ points in general position in the plane determines $n^{1-o(1)}$ pairwise crossing segments. The best previously known lower bound, $Ω\left(\sqrt n\right)$, was proved more than 25 years ago by Aronov, Erd\H os, Goddard, Kleitman, Klugerman, Pach, and Schulman. Our proof is fully constructive, and extends to dense geometric graphs.
A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus
The Weisfeiler-Leman (WL) dimension of a graph is a measure for the inherent descriptive complexity of the graph. While originally derived from a combinatorial graph isomorphism test called the Weisfeiler-Leman algorithm, the WL dimension can also be characterised in terms of the number of variables that is required to describe the graph up to isomorphism in first-order logic with counting quantifiers.
It is known that the WL dimension is upper-bounded for all graphs that exclude some fixed graph as a minor (Grohe, JACM 2012). However, the bounds that can be derived from this general result are astronomic. Only recently, it was proved that the WL dimension of planar graphs is at most 3 (Kiefer, Ponomarenko, and Schweitzer, LICS 2017).
In this paper, we prove that the WL dimension of graphs embeddable in a surface of Euler genus $g$ is at most $4g+3$. For the WL dimension of graphs embeddable in an orientable surface of Euler genus $g$, our approach yields an upper bound of $2g+3$.
Planar graphs have bounded nonrepetitive chromatic number
Published in Advances in Combinatorics 2020:5
• View Publication
• BIB
A colouring of a graph is "nonrepetitive" if for every path of even order, the sequence of colours on the first half of the path is different from the sequence of colours on the second half. We show that planar graphs have nonrepetitive colourings with a bounded number of colours, thus proving a conjecture of Alon, Grytczuk, Haluszczak and Riordan (2002). We also generalise this result for graphs of bounded Euler genus, graphs excluding a fixed minor, and graphs excluding a fixed topological minor.
Planar graphs have bounded queue-number
Published in J. ACM 67(4):22, 2020
• View Publication
• BIB
We show that planar graphs have bounded queue-number, thus proving a conjecture of Heath, Leighton and Rosenberg from 1992. The key to the proof is a new structural tool called layered partitions, and the result that every planar graph has a vertex-partition and a layering, such that each part has a bounded number of vertices in each layer, and the quotient graph has bounded treewidth. This result generalises for graphs of bounded Euler genus. Moreover, we prove that every graph in a minor-closed class has such a layered partition if and only if the class excludes some apex graph. Building on this work and using the graph minor structure theorem, we prove that every proper minor-closed class of graphs has bounded queue-number.
Layered partitions have strong connections to other topics, including the following two examples. First, they can be interpreted in terms of strong products. We show that every planar graph is a subgraph of the strong product of a path with some graph of bounded treewidth. Similar statements hold for all proper minor-closed classes. Second, we give a simple proof of the result by DeVos et al. (2004) that graphs in a proper minor-closed class have low treewidth colourings.
The cubical matching complex revisited
Ehrenborg noted that all tilings of a bipartite planar graph are encoded by its cubical matching complex and claimed that this complex is collapsible. We point out to an oversight in his proof and explain why these complexes can be the union of collapsible complexes. Also, we prove that all links in these complexes are suspensions up to homotopy. Furthermore, we extend the definition of a cubical matching complex to planar graphs that are not necessarily bipartite, and show that these complexes are either contractible or a disjoint union of contractible complexes.
For a simple connected region that can be tiled with dominoes ($2\times 1$ and $1\times 2$) and $2\times 2$ squares, let $f_i$ denote the number of tilings with exactly $i$ squares. We prove that $f_0-f_1+f_2-f_3+\cdots=1$ (established by Ehrenborg) is the only linear relation for the numbers $f_i$.
The Sierpiński product of graphs
In this paper we introduce a product-like operation that generalizes the construction of generalized Sierpiński graphs. Let $G,H$ be graphs and let $f: V(G) \to V(H)$ be a function. Then the Sierpiński product of $G$ and $H$ with respect to $f$ is defined as a pair $(K,\varphi)$, where $K$ is a graph on the vertex set $V(G) \times V(H)$ with two types of edges:
-- $\{(g,h),(g,h')\}$ is an edge in $K$ for every $g\in V(G)$ and every $\{h,h'\}\in E(H)$,
-- $\{(g,f(g'),(g',f(g))\}$ is an edge in $K$ for every edge $\{g,g'\} \in E(G)$; and $\varphi: V(G) \to V(K)$ is a function that maps every vertex $g \in V(G)$ to the vertex $(g,f(g)) \in V(K)$. Graph $K$ will be denoted by $G\otimes_f H$. Function $\varphi$ is needed to define the product of more than two factors. By applying this operation $n$ times to the same graph we obtain the $n$-th generalized Sierpiński graph.
Some basic properties of the Sierpiński product are presented. In particular, we show that $G \otimes_f H$ is connected if and only if both $G$ and $H$ are connected and we present some necessary and sufficient conditions that $G,H$ must fulfill in order for $G \otimes_f H$ to be planar. As for symmetry properties, we show which automorphisms of $G$ and $H$ extend to automorphisms of $G \otimes_f H$. In many cases we can also describe the whole automorphism group of $G\otimes_f H$.
Linear-Time and Efficient Distributed Algorithms for List Coloring Graphs on Surfaces
In 1994, Thomassen proved that every planar graph is 5-list-colorable. In 1995, Thomassen proved that every planar graph of girth at least five is 3-list-colorable. His proofs naturally lead to quadratic-time algorithms to find such colorings. Here, we provide the first such linear-time algorithms to find such colorings.
For a fixed surface S, Thomassen showed in 1997 that there exists a linear-time algorithm to decide if a graph embedded in S is 5-colorable and similarly in 2003 if a graph of girth at least five embedded in S is 3-colorable. Using the theory of hyperbolic families, the author and Thomas showed such algorithms exist for list-colorings. Dvorak and Kawarabayashi actually gave an $O(n^{O(g+1)})$-time algorithm to find such colorings (if they exist) in n-vertex graphs where g is the Euler genus of the surface. Here we provide the first such algorithm whose exponent does not depend on the genus; indeed, we provide a linear-time algorithm.
In 1988, Goldberg, Plotkin and Shannon provided a deterministic distributed algorithm for 7-coloring n-vertex planar graphs in $O(\log n)$ rounds. In 2018, Aboulker, Bonamy, Bousquet, and Esperet provided a deterministic distributed algorithm for 6-coloring n-vertex planar graphs in $O(\log^3 n)$ rounds. Their algorithm in fact works for 6-list-coloring. They also provided an $O(\log^3 n)$-round algorithm for 4-list-coloring triangle-free planar graphs. Chechik and Mukhtar independently obtained such algorithms for ordinary coloring in $O(\log n)$ rounds, which is best possible in terms of running time. Here we provide the first polylogarithmic deterministic distributed algorithms for 5-coloring n-vertex planar graphs and similarly for 3-coloring planar graphs of girth at least five. Indeed, these algorithms run in $O(\log n)$ rounds, work also for list-colorings, and even work on a fixed surface (assuming such a coloring exists).
Proper 3-orientations of bipartite planar graphs with minimum degree at least 3
We show that every bipartite planar graph with minimum degree at least 3 has proper orientation number at most 3.
Erdös-Pósa property of minor-models with prescribed vertex sets
A minor-model of a graph $H$ in a graph $G$ is a subgraph of $G$ that can be contracted to $H$. We prove that for a positive integer $\ell$ and a non-empty planar graph $H$ with at least $\ell-1$ connected components, there exists a function $f_{H, \ell}:\mathbb{N}\rightarrow \mathbb{R}$ satisfying the property that every graph $G$ with a family of vertex subsets $Z_1, \ldots, Z_m$ contains either $k$ pairwise vertex-disjoint minor-models of $H$ each intersecting at least $\ell$ sets among prescribed vertex sets, or a vertex subset of size at most $f_{H, \ell}(k)$ that meets all such minor-models of $H$. This function $f_{H, \ell}$ is independent with the number $m$ of given sets, and thus, our result generalizes Mader's $\mathcal S$-path Theorem, by applying $\ell=2$ and $H$ to be the one-vertex graph. We prove that such a function $f_{H, \ell}$ does not exist if $H$ consists of at most $\ell-2$ connected components.
On Star 5-Colorings of Sparse Graphs
A \textit{star $k$-coloring} of a graph $G$ is a proper (vertex) $k$-coloring of $G$ such that the vertices on a path of length three receive at least three colors. Given a graph $G$, its \textit{star chromatic number}, denoted $χ_s(G)$, is the minimum integer $k$ for which $G$ admits a star $k$-coloring. Studying star coloring of sparse graphs is an active area of research, especially in terms of the maximum average degree of a graph; the \textit{maximum average degree}, denoted $mad(G)$, of a graph $G$ is $\max\left\{ \frac{2|E(H)|}{|V(H)|}:{H \subset G}\right\}$. It is known that for a graph $G$, if $mad(G)<\frac{8}{3}$, then $χ_s(G)\leq 6$, and if $mad(G)< \frac{18}{7}$ and its girth is at least 6, then $χ_s(G)\le 5$. We improve both results by showing that for a graph $G$, if $mad(G)\le \frac{8}{3}$, then $χ_s(G)\le 5$. As an immediate corollary, we obtain that a planar graph with girth at least 8 has a star 5-coloring, improving the best known girth condition for a planar graph to have a star 5-coloring.
Graphs avoiding immersion of K_{3,3}
DeVos and Malekian gave a structural description of graphs avoiding an immersion of K_{3,3}, showing that all such graphs are composed over small edge-cuts from graphs with at most 8 vertices and from 3-regular planar graphs. We provide another proof of this fact, simpler in some aspects.
A polynomial version of Cereceda's conjecture
Let $k$ and $d$ be such that $k \ge d+2$. Consider two $k$-colourings of a $d$-degenerate graph $G$. Can we transform one into the other by recolouring one vertex at each step while maintaining a proper coloring at any step? Cereceda et al. answered that question in the affirmative, and exhibited a recolouring sequence of exponential length. However, Cereceda conjectured that there should exist one of quadratic length.
The $k$-reconfiguration graph of $G$ is the graph whose vertices are the proper $k$-colourings of $G$, with an edge between two colourings if they differ on exactly one vertex. Cereceda's conjecture can be reformulated as follows: the diameter of the $(d+2)$-reconfiguration graph of any $d$-degenerate graph on $n$ vertices is $O(n^2)$. So far, the existence of a polynomial diameter is open even for $d=2$.
In this paper, we prove that the diameter of the $k$-reconfiguration graph of a $d$-degenerate graph is $O(n^{d+1})$ for $k \ge d+2$. Moreover, we prove that if $k \ge \frac 32 (d+1)$ then the diameter of the $k$-reconfiguration graph is quadratic, improving the previous bound of $k \ge 2d+1$. We also show that the $5$-reconfiguration graph of planar bipartite graphs has quadratic diameter, confirming Cereceda's conjecture for this class of graphs.
On the Density of $C_7$-Critical Graphs
In 1959, Grötzsch famously proved that every planar graph of girth at least 4 is 3-colourable (or equivalently, admits a homomorphism to $C_3$). A natural generalization of this is the following conjecture: for every positive integer $t$, every planar graph of girth at least $4t$ admits a homomorphism to $C_{2t+1}$. This is in fact the planar dual of a well-known conjecture of Jaeger which states that every $4t$-edge-connected graph admits a modulo $(2t+1)$-orientation. Though Jaeger's original conjecture was disproved in 2018 by Han et al., Lovasz et al. showed that every $6t$-edge connected graph admits a modulo $(2t+1)$-flow. The latter result implies that every planar graph of girth at least $6t$ admits a homomorphism to $C_{2t+1}$. We improve upon this in the $t=3$ case, by showing that every planar graph of girth at least $16$ admits a homomorphism to $C_7$. We obtain this through a more general result regarding the density of $C_7$-critical graphs: if $G$ is a $C_7$-critical graph with $G \not \in \{C_3, C_5\}$, then $e(G) \geq \tfrac{17v(G)-2}{15}$.
A short note on graphs with long Thomason's chains
Published
• View Publication
• BIB
We present a family of 3-connected cubic planar Hamiltonian graphs with an exponential number of steps required by Thomason's algorithm. The base of the exponent is approximately $1.1812...$, which exceeds previous results in the area.
Cut Polytopes of Minor-free Graphs
The cut polytope of a graph $G$ is the convex hull of the indicator vectors of all cuts in $G$ and is closely related to the MaxCut problem. We give the facet-description of cut polytopes of $K_{3,3}$-minor-free graphs and introduce an algorithm solving MaxCut on those graphs, which only requires the running time of planar MaxCut. Moreover, starting a systematic geometric study of cut polytopes, we classify graphs admitting a simple or simplicial cut polytope.
Planar Polynomials arising from Linearized polynomials
In this paper we construct planar polynomials of the type $f_{A,B}(x)=x(x^{q^2}+Ax^{q}+Bx)\in \mathbb{F}_{q^3}[x]$, with $A,B \in \mathbb{F}_{q}$. In particular we completely classify the pairs $(A,B)\in \mathbb{F}_{q}^2$ such that $f_{A,B}(x)$ is planar using connections with algebraic curves over finite fields.