Related papers: A combinatorial proof of the $\lambda_g$ conjectur…

We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of lambda theories. Relying on the notion of easy intersection type theory we successfully build a filter model in which the interpretation…

We give a one-sentence elementary proof of the combinatorial Fa\`a di Bruno's formula.

We test the recently conjectured duality between $N=2$ supersymmetric type II and heterotic string models by analysing a class of higher dimensional interactions in the respective low-energy Lagrangians. These are $F$-terms of the form $F_g…

This note contains a new combinatorial proof of Cramer's rule based on the Gessel-Viennot-Lindstrom Lemma.

In this paper we give an elementary proof of the local sum conjecture in two dimensions. In a remarkable paper [CMN, arXiv:1810.11340], this conjecture has been established in all dimensions using sophisticated, powerful techniques from a…

We formulate the geometric P=W conjecture for singular character varieties. We establish it for compact Riemann surfaces of genus one, and obtain partial results in arbitrary genus. To this end, we employ non-Archimedean, birational and…

Given a sequence of genus $g\geq 2$ curves converging to a punctured Riemann surface with complete metric of constant Gaussian curvature $-1$. we prove that the Kodaira embedding using orthonormal basis of the Bergman space of sections of a…

A new proof for adjoint systems of linear equations is presented. The argument is built on the principles of Algorithmic Differentiation. Application to scalar multiplication sets the base line. Generalization yields adjoint inner vector,…

In this paper we prove Gamma Conjecture $1$ for twistor bundles of hyperbolic $6$ manifolds, which are monotone symplectic manifolds which admit no K\"ahler structure. The proof involves a direct computation of the $J$-function, and a…

The purpose of the article is to provide partial proofs for two conjectures given by Witte and Forrester in "Moments of the Gaussian $\beta$ Ensembles and the large $N$ expansion of the densities" with the use of the topological recursion…

We give a combinatorial characterization of generic minimal rigidity for planar periodic frameworks. The characterization is a true analogue of the Maxwell-Laman Theorem from rigidity theory: it is stated in terms of a finite combinatorial…

There is a relation between the generalized Property R Conjecture and the Schoenflies Conjecture that suggests a new line of attack on the latter. The approach gives a quick proof of the genus 2 Schoenflies Conjecture and suffices to prove…

Connected sum and trivalent vertex sum are natural operations on genus 2 spatial graphs and, as with knots, tunnel number behaves in interesting ways under these operations. We prove sharp Scharlemann-Schultens type bounds for the tunnel…

The algebraic $\lambda$-calculus is an extension of the ordinary $\lambda$-calculus with linear combinations of terms. We establish that two ordinary $\lambda$-terms are equivalent in the algebraic $\lambda$-calculus iff they are…

This paper provides an alternate proof to parts of the Goulden-Slofstra formula for enumerating two vertex maps by genus, which is an extension of the famous Harer-Zagier formula that computes the Euler characteristic of the moduli space of…

Let $S$ be a closed oriented surface of genus at least two. Gallo, Kapovich, and Marden asked if 2\pi-graftings produce all projective structures on $S$ with arbitrarily fixed holonomy (Grafting Conjecture). In this paper, we show that the…

We build a variant of Collatz Conjecture for polynomials over $\mathbb{F}_2$ and we prove that it is solved. By the way, we give several examples.

Relative notions of combinatorial asphericity have been used to prove that injective labeled oriented trees (which encode spines of ribbon 2-knots) are aspherical. This article presents an overview and comparison of the different notions of…

In 1998, Lin presented a conjecture on a class of ternary sequences with ideal 2-level autocorrelation in his Ph.D thesis. Those sequences have a very simple structure, i.e., their trace representation has two trace monomial terms. In this…

We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the $\lambda$-definability conjecture implies the higher-order matching conjecture.