planar
3209 papers tagged with this keyword
Notes on planar semimodular lattices. IX. $\mathcal{C}_1$-diagrams
A planar semimodular lattice $L$ is \emph{slim} if $\mathbf{M}_3$ is not a sublattice of $L$. In a recent paper, G. Czédli introduced a very powerful diagram type for slim, planar, semimodular lattices. This short note proves the existence of such diagrams.
Shelling the m=1 amplituhedron
Published in Comb. Theory 3 (2023), no. 1, Paper No. 6, 22 pages
• View Publication
• BIB
The amplituhedron $\mathcal{A}_{n,k,m}$ was introduced by Arkani-Hamed and Trnka (2014) in order to give a geometric basis for calculating scattering amplitudes in planar $\mathcal{N}=4$ supersymmetric Yang-Mills theory. It is a projection inside the Grassmannian $\text{Gr}_{k,k+m}$ of the totally nonnegative part of $\text{Gr}_{k,n}$. Karp and Williams (2019) studied the $m=1$ amplituhedron $\mathcal{A}_{n,k,1}$, giving a regular CW decomposition of it. Its face poset $R_{n,l}$ (with $l := n-k-1$) consists of all projective sign vectors of length $n$ with exactly $l$ sign changes. We show that $R_{n,l}$ is EL-shellable, resolving a problem posed by Karp and Williams. This gives a new proof that $\mathcal{A}_{n,k,1}$ is homeomorphic to a closed ball, which was originally proved by Karp and Williams. We also give explicit formulas for the $f$-vector and $h$-vector of $R_{n,l}$, and show that it is rank-log-concave and strongly Sperner. Finally, we consider a related poset $P_{n,l}$ introduced by Machacek (2019), consisting of all projective sign vectors of length $n$ with at most $l$ sign changes. We show that it is rank-log-concave, and conjecture that it is Sperner.
Posets with $k$-outerplanar cover graphs have bounded dimension
In 2015, Felsner, Trotter, and Wiechert showed that posets with outerplanar cover graphs have bounded dimension. We generalise this result to posets with $k$-outerplanar cover graphs. Namely, we show that posets with $k$-outerplanar cover graph have dimension $\mathcal{O}(k^3)$. As a consequence, we show that every poset with a planar cover graph and height $h$ has dimension $\mathcal{O}(h^3)$. This improves the previously best known bound of $\mathcal{O}(h^6)$ by Kozik, Micek and Trotter.
$2$-distance $(Δ+1)$-coloring of sparse graphs using the potential method
Published
• View Publication
• BIB
A $2$-distance $k$-coloring of a graph is a proper $k$-coloring of the vertices where vertices at distance at most 2 cannot share the same color. We prove the existence of a $2$-distance ($Δ+1$)-coloring for graphs with maximum average degree less than $\frac{18}{7}$ and maximum degree $Δ\geq 7$. As a corollary, every planar graph with girth at least $9$ and $Δ\geq 7$ admits a $2$-distance $(Δ+1)$-coloring. The proof uses the potential method to reduce new configurations compared to classic approaches on $2$-distance coloring.
Tri-Partitions and Bases of an Ordered Complex
Published in Discrete and Computational Geometry (DCG) 64 (2020), 759-775
• View Publication
• BIB
Generalizing the decomposition of a connected planar graph into a tree and a dual tree, we prove a combinatorial analog of the classic Helmholz-Hodge decomposition of a smooth vector field. Specifically, we show that for every polyhedral complex, $K$, and every dimension, $p$, there is a partition of the set of $p$-cells into a maximal $p$-tree, a maximal $p$-cotree, and a collection of $p$-cells whose cardinality is the $p$-th Betti number of $K$. Given an ordering of the $p$-cells, this tri-partition is unique, and it can be computed by a matrix reduction algorithm that also constructs canonical bases of cycle and boundary groups.
A graph theoretical approach to the firebreak locating problem
Published
• View Publication
• BIB
In the last decade, wildfires have become wider and more destructive. The climate change and the growth of urban areas may further increase the probability of incidence of large-scale fires. The risk of fire can be lowered with preventive measures. Among them, firefighting lines are used to stop the fire from spreading beyond them. Due to high costs of installation and maintenance, their placement must be carefully planned. In this work, we address the wildfire management problem from a theoretical point of view and define a risk function to model the fire diffusion phenomena. The land is modeled by a mixed graph in which vertices are areas subject to fire with a certain probability while edges model the probability of fire spreading from one area to another. To reduce the risk, we introduce the {\sc Windy Firebreak Location} problem that addresses the optimal positioning of firefighting lines under budget constraints. We study the complexity of the problem and prove its hardness even when the graph is planar, bipartite, with maximum degree four and the propagation probabilities are equal to one. We also show an efficient polynomial time algorithm for particular instances on trees.
Torsor Structures on Spanning Trees
Published
• View Publication
• BIB
We study two actions of the (degree 0) Picard group on the set of the spanning trees of a finite ribbon graph. It is known that these two actions, denoted $β_q$ and $ρ_q$ respectively, are independent of the base vertex $q$ if and only if the ribbon graph is planar. Baker and Wang conjectured that in a nonplanar ribbon graph without multiple edges there always exists a vertex $q$ for which $ρ_q\neqβ_q$. We prove the conjecture and extend it to a class of ribbon graphs with multiple edges. We also give explicit examples exploring the relationship between the two torsor structures in the nonplanar case.
Pareto-Optimal Domino-Tiling of Orthogonal Polygon Phased Arrays
Published
• View Publication
• BIB
The modular design of planar phased arrays arranged on orthogonal polygon-shaped apertures is addressed and a new method is proposed to synthesize domino-tiled arrays fitting multiple, generally conflicting, requirements. Starting from an analytic procedure to check the domino-tileability of the aperture, two multi-objective optimization techniques are derived to efficiently and effectively deal with small and medium/large arrays depending on the values of the bounds for the cardinality of the solution space of the admissible clustered solutions. A set of representative numerical examples is reported to assess the effectiveness of the proposed synthesis approach also through full-wave simulations when considering non-ideal models for the radiating elements of the array.
Elementary proof for the bounds of the complexity of a planar multigraph and the size of a prime rectangular squaring
Two results (together with their relatively elementary proofs) are presented.
The first one presents the upper boundary on the number of spanning trees in a finite planar multigraph, proving that the complexity (the number of spanning trees) of a planar multigraph with $n$ edges does not exceed $τ^n$, where $τ\approx 1.8637$.
This result is, quite possibly, already known and/or published -- my quick web search did not turn up anything but that does not really prove much. It also seems plausible that this inequality is actually true for the "best possible" value of $τ^* \approx 1.7916$.
The second result uses the above theorem to improve on the well-known Conway's inequality for the number of tiles in a prime rectangular squaring.
Hitting minors on bounded treewidth graphs. II. Single-exponential algorithms
Published
• View Publication
• BIB
For a finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION (resp. ${\cal F}$-TM-DELETION) problem consists in, given a graph $G$ and an integer $k$, decide whether there exists $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain any of the graphs in ${\cal F}$ as a minor (resp. topological minor). We are interested in the parameterized complexity of both problems when the parameter is the treewidth of $G$, denoted by $tw$, and specifically in the cases where ${\cal F}$ contains a single connected planar graph $H$. We present algorithms running in time $2^{O(tw)} \cdot n^{O(1)}$, called single-exponential, when $H$ is either $P_3$, $P_4$, $C_4$, the paw, the chair, and the banner for both $\{H\}$-M-DELETION and $\{H\}$-TM-DELETION, and when $H=K_{1,i}$, with $i \geq 1$, for $\{H\}$-TM-DELETION. Some of these algorithms use the rank-based approach introduced by Bodlaender et al. [Inform Comput, 2015]. This is the second of a series of articles on this topic, and the results given here together with other ones allow us, in particular, to provide a tight dichotomy on the complexity of $\{H\}$-M-DELETION in terms of $H$.
Hitting minors on bounded treewidth graphs. III. Lower bounds
Published
• View Publication
• BIB
For a finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION problem consists in, given a graph $G$ and an integer $k$, decide whether there exists $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain any of the graphs in ${\cal F}$ as a minor. We are interested in the parameterized complexity of ${\cal F}$-M-DELETION when the parameter is the treewidth of $G$, denoted by $tw$. Our objective is to determine, for a fixed ${\cal F}$, the smallest function $f_{\cal F}$ such that ${\cal F}$-M-DELETION can be solved in time $f_{\cal F}(tw) \cdot n^{O(1)}$ on $n$-vertex graphs. We provide lower bounds under the ETH on $f_{\cal F}$ for several collections ${\cal F}$. We first prove that for any ${\cal F}$ containing connected graphs of size at least two, $f_{\cal F}(tw)= 2^{Ω(tw)}$, even if the input graph $G$ is planar. Our main contribution consists of superexponential lower bounds for a number of collections ${\cal F}$, inspired by a reduction of Bonnet et al.~[IPEC, 2017]. In particular, we prove that when ${\cal F}$ contains a single connected graph $H$ that is either $P_5$ or is not a minor of the banner (that is, the graph consisting of a $C_4$ plus a pendent edge), then $f_{\cal F}(tw)= 2^{Ω(tw \cdot \log tw)}$. This is the third of a series of articles on this topic, and the results given here together with other ones allow us, in particular, to provide a tight dichotomy on the complexity of $\{H\}$-M-DELETION, in terms of $H$, when $H$ is connected.
Bounds on half graph orders in powers of sparse graphs
Half graphs and their variants, such as ladders, semi-ladders and co-matchings, are combinatorial objects that encode total orders in graphs. Works by Adler and Adler (Eur. J. Comb.; 2014) and Fabiański et al. (STACS; 2019) prove that in the powers of sparse graphs, one cannot find arbitrarily large objects of this kind. However, these proofs either are non-constructive, or provide only loose upper bounds on the orders of half graphs and semi-ladders. In this work we provide nearly tight asymptotic lower and upper bounds on the maximum order of half graphs, parameterized on the distance, in the following classes of sparse graphs: planar graphs, graphs with bounded maximum degree, graphs with bounded pathwidth or treewidth, and graphs excluding a fixed clique as a minor.
The most significant part of our work is the upper bound for planar graphs. Here, we employ techniques of structural graph theory to analyze semi-ladders in planar graphs through the notion of cages, which expose a topological structure in semi-ladders. As an essential building block of this proof, we also state and prove a new structural result, yielding a fully polynomial bound on the neighborhood complexity in the class of planar graphs.
Queue layouts and nonrepetitive colouring of planar graphs and powers of trees
Dujmović, Joret, Micek, Morin, Ueckerdt and Wood recently in [Planar graphs have bounded queue-number, Journal of the ACM, Volume 67, Issue 4, Article No.: 22, August 2020] showed some attractive graph product structure theorems for planar graphs. By using the product structure, they proved that planar graphs have bounded queue-number $48$; in [Planar graphs have bounded nonrepetitive chromatic number, Advances in Combinatorics, 5, 11 pp, 2020], the authors proved that planar graphs have bounded nonrepetitive chromatic number $768$.
In this paper, still by using some product structure theorem, we improve the upper bound of queue-number of planar graphs to $27$ and the non-repetitive chromatic number to $320$. We also study powers of trees. We show a graph product structure theorem of the $k$-th power $T^k$ of tree $T$, then use it giving an upper bound of the nonrepetitive~chromatic~number of $T^k$. We also give an asymptotically tight upper bound of the queue-number of $T^k$.
Homology of polyomino tilings on flat surfaces
Published
• View Publication
• BIB
The homology group of a tiling introduced by M. Reid is studied for certain topological tilings. As in the planar case, for finite square grids on topological surfaces, the method of homology groups, namely the non-triviality of some specific element in the group allows a `coloring proof' of impossibility of a tiling. Several results about the non-existence of polyomino tilings on certain square-tiled surfaces are proved in the paper.
Phase transitions of composition schemes: Mittag-Leffler and mixed Poisson distributions
Published in Ann. Appl. Probab. 34(5): 4635-4693 (October 2024)
• View Publication
• BIB
Multitudinous probabilistic and combinatorial objects are associated with generating functions satisfying a composition scheme $F(z)=G(H(z))$. The analysis becomes challenging when this scheme is critical (i.e., $G$ and $H$ are simultaneously singular). Motivated by many examples (random mappings, planar maps, directed lattice paths), we consider a natural extension of this scheme, namely $F(z,u)=G(u H(z))M(z)$. We also consider a variant of this scheme, which allows us to analyse the number of $H$-components of a given size in $F$.
We prove that these two models lead to a rich world of limit laws, where we identify the key role played by a new universal law introduced in this article: the three-parameter Mittag-Leffler distribution, which is essentially the product of a beta and a Mittag-Leffler distribution. We also prove (double) phase transitions, additionally involving Boltzmann and mixed Poisson distributions, bringing a unified explanation of the associated thresholds. In all cases we obtain moment convergence and local limit theorems. We end with extensions of the critical composition scheme to a cycle scheme and to the multivariate case, leading to product distributions. Applications are presented for random walks, trees (supertrees of trees, increasingly labelled trees, preferential attachment trees), triangular Pólya urns, and the Chinese restaurant process.
On tangencies among planar curves with an application to coloring L-shapes
Published
• View Publication
• BIB
We prove that there are $O(n)$ tangencies among any set of $n$ red and blue planar curves in which every pair of curves intersects at most once and no two curves of the same color intersect. If every pair of curves may intersect more than once, then it is known that the number of tangencies could be super-linear. However, we show that a linear upper bound still holds if we replace tangencies by pairwise disjoint connecting curves that all intersect a certain face of the arrangement of red and blue curves.
The latter result has an application for the following problem studied by Keller, Rok and Smorodinsky [Disc.\ Comput.\ Geom.\ (2020)] in the context of \emph{conflict-free coloring} of \emph{string graphs}: what is the minimum number of colors that is always sufficient to color the members of any family of $n$ \emph{grounded L-shapes} such that among the L-shapes intersected by any L-shape there is one with a unique color? They showed that $O(\log^3 n)$ colors are always sufficient and that $Ω(\log n)$ colors are sometimes necessary. We improve their upper bound to $O(\log^2 n)$.
Pseudoline arrangement graphs: degree sequences and eccentricities
A pseudoline arrangement graph is a planar graph induced by an embedding of a (simple) pseudoline arrangement. We study the corresponding graph realization problem and properties of pseudoline arrangement graphs. In the first part, we give a simple criterion based on the degree sequence that says whether a degree sequence will have a pseudoline arrangement graph as one of its realizations. In the second part, we study the eccentricities of vertices in such graphs. We observe that the diameter (maximum eccentricity of a vertex in the graph) of any pseudoline arrangement graph on $n$ pseudolines is $n-2$. Then we characterize the diametrical vertices (whose eccentricity is equal to the graph diameter) of pseudoline arrangement graphs. These results hold for line arrangement graphs as well.
The rotor-routing torsor and the Bernardi torsor disagree for every non-planar ribbon graph
Published
• View Publication
• BIB
Let $G$ be a ribbon graph. Matthew Baker and Yao Wang proved that the rotor-routing torsor and the Bernardi torsor for $G$, which are two torsor structures on the set of spanning trees for the Picard group of $G$, coincide when $G$ is planar. We prove the conjecture raised by them that the two torsors disagree when $G$ is non-planar.
Critical varieties in the Grassmannian
Published
• View Publication
• BIB
We introduce a family of spaces called critical varieties. Each critical variety is a subset of one of the positroid varieties in the Grassmannian. The combinatorics of positroid varieties is captured by the dimer model on a planar bipartite graph $G$, and the critical variety is obtained by restricting to Kenyon's critical dimer model associated to a family of isoradial embeddings of $G$. This model is invariant under square/spider moves on $G$, and we give an explicit boundary measurement formula for critical varieties which does not depend on the choice of $G$. This extends our recent results for the critical Ising model, and simultaneously also includes the case of critical electrical networks.
We systematically develop the basic properties of critical varieties. In particular, we study their real and totally positive parts, the combinatorics of the associated strand diagrams, and introduce a shift map motivated by the connection to zonotopal tilings and scattering amplitudes.
On particular examples of planar integral point sets and their classification
Published
• View Publication
• BIB
A planar integral point set is a set of non-collinear points in plane such that for any pair of the points the Euclidean distance between the points is integral. We discuss the classification of planar integral point sets and provide examples of sets that are not covered by the existent classification.