Related papers: Compositionality of planar perfect matchings
Unitary fusion categories formalise the algebraic theory of topological quantum computation. These categories come naturally enriched in a subcategory of the category of Hilbert spaces, and by looking at this subcategory, one can identify a…
The ZX-calculus is a graphical calculus for reasoning about quantum systems and processes. It is known to be universal for pure state qubit quantum mechanics, meaning any pure state, unitary operation and post-selected pure projective…
A number which is either the square of an integer or two times the square of an integer is called squarish. There are two main results in the literature on graphs whose number of perfect matchings is squarish: one due to Jockusch (for…
The ring of Witt vectors associated to a ring R is a classical tool in algebra. We introduce a ring C(R) which is more easily constructed and which is isomorphic to the ring of Witt vectors W(R) for a perfect F_p-algebra R. It is obtained…
In this paper we develop symbolic computation algorithms to investigate finiteness of central configurations for the planar $n$-body problem. Our approach is based on Albouy-Kaloshin's work on finiteness of central configurations for the…
This paper introduces a new systematic algorithm for constructing periodic Euclidean weaving diagrams with combinatorial arguments. It is shown that such a weaving diagram can be considered as a specific type of four-regular periodic planar…
In this article, Temperley's bijection between spanning trees of the square grid on the one hand, and perfect matchings (also known as dimer coverings) of the square grid on the other, is extended to the setting of general planar directed…
This article introduces new algorithms for the uniform random generation of labelled planar graphs. Its principles rely on Boltzmann samplers, as recently developed by Duchon, Flajolet, Louchard, and Schaeffer. It combines the Boltzmann…
The valence of a function $f$ at a point $w$ is the number of distinct, finite solutions to $f(z) = w$. Let $f$ be a complex-valued harmonic function in an open set $R \subseteq \mathbb{C}$. Let $S$ denote the critical set of $f$ and $C(f)$…
In this paper, we build on the idea of Valiant \cite{Val79a} and Ben-Dor/Halevi \cite{Ben93}, that is, to count the number of satisfying solutions of a boolean formula via computing the permanent of a specially constructed matrix. We show…
We present evidence for the factorization of the world-sheet path integrals for 2d conformal field theories on the disk into bulk and boundary contributions. This factorization is then used to reinterpret a shift in closed string…
We present a deterministic way of assigning small (log bit) weights to the edges of a bipartite planar graph so that the minimum weight perfect matching becomes unique. The isolation lemma as described in (Mulmuley et al. 1987) achieves the…
All unitary Rational Conformal Field Theories (RCFT) are conjectured to be related to unitary coset Conformal Field Theories, i.e., gauged Wess-Zumino-Witten (WZW) models with compact gauge groups. In this paper we use subfactor theory and…
The Verlinde formula computes the dimension of certain vector spaces ("conformal blocks") associated to a Rational Conformal Field Theory. In this paper we show how this can be made rigorous for one particular such theory, the WZW model.…
A connected matching in a graph G consists of a set of pairwise disjoint edges whose covered vertices induce a connected subgraph of G. While finding a connected matching of maximum cardinality is a well-solved problem, it is NP-hard to…
Using Je\v{r}\'abek 's framework for probabilistic reasoning, we formalize the correctness of two fundamental RNC^2 algorithms for bipartite perfect matching within the theory VPV for polytime reasoning. The first algorithm is for testing…
The Wess-Zumino-Witten (WZW) theory has a global symmetry denoted by $G_L\otimes G_R$. In the standard gauged WZW theory, vector gauge fields (\ie\ with vector gauge couplings) are in the adjoint representation of the subgroup $H \subset…
A detailed study of the semiclassical expansion of the world line path integral for a charged relativistic particle in a constant external electric field is presented. We show that the Schwinger formula for charged particle pair production…
Perfect matchings and maximum weight matchings are two fundamental combinatorial structures. We consider the ratio between the maximum weight of a perfect matching and the maximum weight of a general matching. Motivated by the computer…
We use integrability at weak coupling to compute fishnet diagrams for four-point correlation functions in planar $\phi^4$ theory. The results are always multi-linear combinations of ladder integrals, which are in turn built out of classical…