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

In this paper, we propose $\lambda_{g}$ conjecture for Hodge integrals with target varieties. Then we establish relations between Virasoro conjecture and $\lambda_{g}$ conjecture, in particular, we prove $\lambda_{g}$ conjecture in all…

We outline a proof of the categorical geometric Langlands conjecture for GL(2), as formulated in reference [AG], modulo a number of more tractable statements that we call Quasi-Theorems.

We verify the Invariance Conjectures of tautological equations in genus two. In particular, a uniform derivation of all known genus two equations is given.

We formulate a tropical analogue of Grothendieck's section conjecture: that for every stable graph G of genus g>2, and every field k, the generic curve with reduction type G over k satisfies the section conjecture. We prove many cases of…

We prove the conjecture of Friedlander et al. about sums over Littelmann patterns for the the root system of type $G_2$, which is an analogue of Tokuyama's theorem for root systems of type $A_r$. We use elementary means to show that the…

We prove a formula which compares intersection numbers of conormal varieties of two projective varieties and their dual varieties. When one of them is linear, we can recover the usual Plucker formula for the degree of the dual variety. The…

We prove the $p$-curvature conjecture for rank two vector bundles with connection on generic curves, by combining deformation techniques for families of varieties and topological arguments.

For a graph $G$, let $\lambda_2(G)$ denote its second smallest Laplacian eigenvalue. It was conjectured that $\lambda_2(G) + \lambda_2(\overline{G}) \geq 1$, where $\bar{G}$ is the complement of $G$. Here, we prove this conjecture in the…

In the paper we propose a proof of Reeder's Conjecture on the graded multiplicities of small representations in the exterior algebra $\Lambda$g for the simple Lie algebras of type B and C.

We give a purely combinatorial proof of the Glaisher-Crofton identity which derives from the analysis of discrete structures generated by iterated second derivative. The argument illustrates utility of symbolic and generating function…

We propose a conjectural formula for $DR_g(a,-a) \lambda_g$ and check all its expected properties. Our formula refines the one point case of a similar conjecture made by the first named author in collaboration with Gu\'er\'e and Rossi, and…

This paper performs the following steps toward the proof of GLC in the de Rham setting: (i) We deduce GLC for G=GL_n; (ii) We prove that the Langlands functor L_G constructed in [GLC1], when restricted to the cuspidal category, is…

We present a polymorphic linear lambda-calculus as a proof language for second-order intuitionistic linear logic. The calculus includes addition and scalar multiplication, enabling the proof of a linearity result at the syntactic level.

K. Harada conjectured for any finite group $G$, the product of sizes of all conjugacy classes is divisible by the product of degrees of all irreducible characters. We study this conjecture when $G$ is the general linear group over a finite…

We construct families of hyperelliptic curves over Q of arbitrary genus g with (at least) g integral elements in K_2. We also verify the Beilinson conjectures about K_2 numerically for several curves with g=2, 3, 4 and 5. The paper is…

We prove Behrend's conjecture on the rationality of the canonical reduction of principal bundles and reductive group schemes for classical groups and give new bounds for the conjecture for exceptional groups. However we find a…

We present another proof for the well-known {\em small model property} of two-variable logic. As far as we know, existing proofs of this property rely heavily on model theoretic concepts. In contrast, ours is purely combinatorial and uses…

By finding orthogonal representation for a family of simple connected called $\delta$-graphs it is possible to show that $\delta$-graphs satisfy delta conjecture. An extension of the argument to graphs of the form…

We prove the Strengthened Hanna Neumann Conjecture, in its common graph theoretic formulation. Our original approach to this conjecture used cohomology of sheaves on graphs, although here we give a short combinatorial proof that we found in…

We present a proof of a combinatorial conjecture from the second author's Ph.D. thesis. The proof relies on binomial and multinomial sums identities. We also discuss the relevance of the conjecture in the context of PAC-Bayesian machine…