9,752 research outputs found
Linear lambda terms as invariants of rooted trivalent maps
The main aim of the article is to give a simple and conceptual account for
the correspondence (originally described by Bodini, Gardy, and Jacquot) between
-equivalence classes of closed linear lambda terms and isomorphism
classes of rooted trivalent maps on compact oriented surfaces without boundary,
as an instance of a more general correspondence between linear lambda terms
with a context of free variables and rooted trivalent maps with a boundary of
free edges. We begin by recalling a familiar diagrammatic representation for
linear lambda terms, while at the same time explaining how such diagrams may be
read formally as a notation for endomorphisms of a reflexive object in a
symmetric monoidal closed (bi)category. From there, the "easy" direction of the
correspondence is a simple forgetful operation which erases annotations on the
diagram of a linear lambda term to produce a rooted trivalent map. The other
direction views linear lambda terms as complete invariants of their underlying
rooted trivalent maps, reconstructing the missing information through a
Tutte-style topological recurrence on maps with free edges. As an application
in combinatorics, we use this analysis to enumerate bridgeless rooted trivalent
maps as linear lambda terms containing no closed proper subterms, and conclude
by giving a natural reformulation of the Four Color Theorem as a statement
about typing in lambda calculus.Comment: accepted author manuscript, posted six months after publicatio
Holographic Entropy Cone with Time Dependence in Two Dimensions
In holographic duality, if a boundary state has a geometric description that
realizes the Ryu-Takayanagi proposal then its entanglement entropies must obey
certain inequalities that together define the so-called holographic entropy
cone. A large family of such inequalities have been proven under the assumption
that the bulk geometry is static, using a method involving contraction maps. By
using kinematic space techniques, we show that in two boundary (three bulk)
dimensions, all entropy inequalities that can be proven in the static case by
contraction maps must also hold in holographic states with time dependence.Comment: 37 pages, 10 figure
Three-coloring triangle-free graphs on surfaces II. 4-critical graphs in a disk
Let G be a plane graph of girth at least five. We show that if there exists a
3-coloring phi of a cycle C of G that does not extend to a 3-coloring of G,
then G has a subgraph H on O(|C|) vertices that also has no 3-coloring
extending phi. This is asymptotically best possible and improves a previous
bound of Thomassen. In the next paper of the series we will use this result and
the attendant theory to prove a generalization to graphs on surfaces with
several precolored cycles.Comment: 48 pages, 4 figures This version: Revised according to reviewer
comment
- …