English
Related papers

Related papers: Counting planar diagrams with various restrictions

200 papers

It is shown in this note that approximating the number of independent sets in a $k$-uniform linear hypergraph with maximum degree at most $\Delta$ is NP-hard if $\Delta\geq 5\cdot 2^{k-1}+1$. This confirms that for the relevant sampling and…

Computational Complexity · Computer Science 2023-09-29 Guoliang Qiu , Jiaheng Wang

We solve three enumerative problems concerning families of planar maps. More precisely, we establish algebraic equations for the generating function of non-separable triangulations in which all vertices have degree at least d, for a certain…

Combinatorics · Mathematics 2009-06-18 Olivier Bernardi

In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair steps are relatively terminating with respect to R. We further…

Logic in Computer Science · Computer Science 2009-10-30 Nao Hirokawa , Aart Middeldorp

A data structure is presented that explicitly maintains the graph of a Voronoi diagram of $N$ point sites in the plane or the dual graph of a convex hull of points in three dimensions while allowing insertions of new sites/points. Our…

Computational Geometry · Computer Science 2020-07-06 Elena Arseneva , John Iacono , Grigorios Koumoutsos , Stefan Langerman , Boris Zolotov

Nonrenormalizable scalar fields, such as \varphi^4_n, n\ge5, require infinitely many distinct counter terms when perturbed about the free theory, and lead to free theories when defined as the continuum limit of a lattice regularized theory…

High Energy Physics - Theory · Physics 2011-08-04 John R. Klauder

A graph is called (generically) rigid in $\mathbb{R}^d$ if, for any choice of sufficiently generic edge lengths, it can be embedded in $\mathbb{R}^d$ in a finite number of distinct ways, modulo rigid transformations. Here we deal with the…

Computational Geometry · Computer Science 2017-01-26 Ioannis Z. Emiris , Ioannis Psarros

It is shown how strictly four-dimensional integration by parts combined with differential renormalization and its infrared analogue can be applied for calculation of Feynman diagrams.

High Energy Physics - Theory · Physics 2009-10-30 V. A. Smirnov

We determine the number of labelled chordal planar graphs with $n$ vertices, which is asymptotically $c_1\cdot n^{-5/2} \gamma^n n!$ for a constant $c_1>0$ and $\gamma \approx 11.89235$. We also determine the number of rooted simple chordal…

Combinatorics · Mathematics 2022-04-12 Jordi Castellví , Marc Noy , Clément Requilé

This paper describes substantial advances in the analysis (parsing) of diagrams using constraint grammars. The addition of set types to the grammar and spatial indexing of the data make it possible to efficiently parse real diagrams of…

cmp-lg · Computer Science 2008-02-03 Robert P. Futrelle , Nikos Nikolakis

Listed as No. 53 among the one hundred famous unsolved problems in [J. A. Bondy, U. S. R. Murty, Graph Theory, Springer, Berlin, 2008] is Steinberg's conjecture, which states that every planar graph without 4- and 5-cycles is 3-colorable.…

Combinatorics · Mathematics 2017-02-27 Ligang Jin , Yingli Kang , Michael Schubert , Yingqian Wang

Parameterised subgraph counting problems are the most thoroughly studied topic in the theory of parameterised counting, and there has been significant recent progress in this area. Many of the existing tractability results for parameterised…

Computational Complexity · Computer Science 2015-06-01 Kitty Meeks

We prove that the Weisfeiler-Leman (WL) dimension of the class of all finite planar graphs is at most 3. In particular, every finite planar graph is definable in first-order logic with counting using at most 4 variables. The previously best…

Discrete Mathematics · Computer Science 2017-08-25 Sandra Kiefer , Ilia Ponomarenko , Pascal Schweitzer

In the graphical calculus of planar string diagrams, equality is generated by exchange moves, which swap the heights of adjacent vertices. We show that left- and right-handed exchanges each give strongly normalizing rewrite strategies for…

Logic in Computer Science · Computer Science 2023-06-22 Antonin Delpeuch , Jamie Vicary

Define a boundary point of a graph which is embedded in the Euclidean plane a vertex which is incident to only one edge. In this paper we consider graphs which are embedded in the Euclidean plane with a finite number of boundary points. The…

Combinatorics · Mathematics 2015-01-12 Yashar Memarian

We settle a problem of Dujmovi\'c, Eppstein, Suderman, and Wood by showing that there exists a function $f$ with the property that every planar graph $G$ with maximum degree $d$ admits a drawing with noncrossing straight-line edges, using…

Combinatorics · Mathematics 2010-11-13 Balázs Keszegh , János Pach , Dömötör Pálvölgyi

In this paper we study some Erdos type problems in discrete geometry. Our main result is that we show that there is a planar point set of n points such that no four are collinear but no matter how we choose a subset of size $n^{5/6+o(1)} $…

Combinatorics · Mathematics 2018-10-15 Jozsef Balogh , Jozsef Solymosi

Hypergraphs are structures that can be decomposed or described; in other words they are recursively countable. Here, we get exact and asymptotic enumeration results on hypergraphs by means of exponential generating functions. The number of…

Discrete Mathematics · Computer Science 2008-06-20 Tsiriniaina Andriamampianina

We show for a broad class of counting problems, correlation decay (strong spatial mixing) implies FPTAS on planar graphs. The framework for the counting problems considered by us is the Holant problems with arbitrary constant-size domain…

Data Structures and Algorithms · Computer Science 2012-07-17 Yitong Yin , Chihao Zhang

Untangling is a process in which some vertices of a planar graph are moved to obtain a straight-line plane drawing. The aim is to move as few vertices as possible. We present an algorithm that untangles the cycle graph C_n while keeping at…

Computational Geometry · Computer Science 2011-02-07 Josef Cibulka

We describe in detail the constrained procedure of differential renormalization and develop the techniques required for one-loop calculations. As an illustration we renormalize Scalar QED and show that the two-, three- and four-point Ward…

High Energy Physics - Phenomenology · Physics 2015-06-25 F. del Aguila , A. Culatti , R. Munoz-Tapia , M. Perez-Victoria
‹ Prev 1 8 9 10 Next ›