Related papers: Proof of Han's Hook Expansion Conjecture
After recalling the various tautological algebras of the moduli space of curves and some of its partial compactifications and stating several well-known results and conjectures concerning these algebras, we prove that the natural extension…
This is the second of a series of three papers where we prove the Gan--Gross--Prasad conjecture for Fourier--Jacobi periods on unitary groups and an Ichino--Ikeda type refinement. Our strategy is based on the comparison of relative trace…
A new representation of Dirac's delta-distribution, based on the so-called q-exponentials, has been recently conjectured. We prove here that this conjecture is indeed valid.
Using the recently proposed differential hierarchy (Z-expansion) technique, we obtain a general expression for the HOMFLY polynomials in two arbitrary symmetric representations of link families, including Whitehead and Borromean links.…
The cross--product conjecture (CPC) of Brightwell, Felsner and Trotter (1995) is a two-parameter quadratic inequality for the number of linear extensions of a poset $P= (X, \prec)$ with given value differences on three distinct elements in…
In this note, we prove a conjecture proposed by Tao Zhang, Shuxing Li, Tao Feng and Gennian Ge, IEEE Transaction on Information Theory, vol. 60, no. 5, May 2014. This conjecture is about the cross correlation distribution of ternary…
We provide a proof of the union-closed sets conjecture, by means of a suitable refinement of the breakthrough entropy-approach introduced by Gilmer. The novelty here is to consider a convex combination of $A$ and $A\cup B$, where $A,B$ are…
We provide new and purely combinatorial proofs of two infinite extensions of the Hales--Jewett theorem. The first one is due to T. Carlson and S. Simpson and the second one is due T. Carlson. Both concern infinite increasing sequences of…
Using the Operator Product Expansion for Wilson loops we derive a simple formula giving the discontinuities of the two loop result in terms of the one loop answer. We also argue that the knowledge of these discontinuities should be enough…
A family of exact upper bounds interpolating between Chebyshev's and Cantelli's is presented.
In this paper, we give a new and short proof of a Theorem on k-hypertournament losing scores due to Zhou et al.[7].
We prove a continued fraction expansion for a certain $q$-tangent function that was conjectured by the present writer, then proved by Fulmek, now in a completely elementary way.
We formalise and mechanise a construtive, proof theoretic proof of Craig's Interpolation Theorem in Isabelle/HOL. We give all the definitions and lemma statements both formally and informally. We also transcribe informally the formal…
The construction of HNN-extensions of involutive Hom-associative algebras and involutive Hom-Lie algebras is described. Then, as an application of HNN-extension, by using the validity of Poincar\'e-Birkhoff-Witt theorem for involutive…
The Naruse hook-length formula is a recent general formula for the number of standard Young tableaux of skew shapes, given as a positive sum over excited diagrams of products of hook-lengths. In 2015 we gave two different $q$-analogues of…
We give a new proof of the butterfly theorem, based on the use of several expressions involving the scale factor between the two wings.
We prove a multivariable elliptic analogue of Jackson's 8W7 summation formula, which was recently conjectured by S.O.Warnaar.
In this paper, we will give an extension of Mok's theorem on the generalized Frankel conjecture under the condition of the orthogonal bisectional curvature.
We prove Malle's conjecture for nonic Heisenberg extensions over $\mathbb{Q}$. Our main algebraic result shows that the number of nonic Heisenberg extensions over $\mathbb{Q}$ with discriminant bounded by $X$ is given by a character sum. We…
Based on the duality between open-string theory on noncompact Calabi-Yau threefolds and Chern-Simons theory on three manifolds, M Marino and C Vafa conjectured a formula of one-partition Hodge integrals in term of invariants of the unknot…