Related papers: Proof of Han's Hook Expansion Conjecture

The classical honeycomb conjecture asserts that any partition of the plane into regions of equal area has perimeter at least that of the regular hexagonal honeycomb tiling. Pappus discusses this problem in his preface to Book V. This paper…

We prove two special cases of a strengthened Gaussian correlation conjecture, due to Tehranchi, and show that if the conjecture holds asymptotically, it holds for any dimension. Additionally, we use these special cases to prove a refined…

In this paper some proof theory for propositional Lax Logic is developed. A cut free terminating sequent calculus is introduced for the logic, and based on that calculus it is shown that the logic has uniform interpolation. Furthermore, a…

Recently, Amdeberhan et al. proved congruences for the number of hooks of fixed even length among the set of self-conjugate partitions of an integer $n$, therefore answering positively a conjecture raised by Ballantine et al.. In this…

Recently F\'eray, Goulden and Lascoux gave a proof of a new hook summation formula for unordered increasing trees by means of a generalization of the Pr\"ufer code for labelled trees and posed the problem of finding a bijection between…

In this article, we prove an analogue of the Rubio de Francia's extrapolation theorem in the setting of Hausdorff capacities. We prove the result using techniques analogous to those in the classical setting and using the recently developed…

We collect some results in combinatorial geometry that follow from an inequality of Langer in algebraic geometry. Langer's inequality gives a lower bound on the number of incidences between a point set and its spanned lines, and was…

We prove a noncommutative version of Bishop's peak interpolation-set theorem.

In this short note, we give an affirmative answer to Wu's conjecture on practical numbers, which was posed in [X.-H. Wu, {\it Special forms and the distribution of practical numbers}, Acta Math. Hungar., {\bf 160}(2020), 405-411].

Using the correspondence between a cycle up-down permutation and a pair of matchings, we give a combinatorial proof of the enumeration of alternating permutations according to the given peak set.

In this paper, we obtain geometric expansions of a local trace formula and its twisted variant for the twisted Gan-Gross-Prasad conjecture. As an application, we prove the local twisted Gan-Gross-Prasad conjecture for $U(V_K)/U(V)$ for…

We give here some precisions and improvements about the validity of the explicit reconstruction of any holomorphic function on a ball of $\mathbb{C}^2$ from its restrictions on a family of complex lines. Such validity depends on the mutual…

We prove some combinatorial results related to a formula on Hodge integrals conjectured by Mari\~no and Vafa. These results play important roles in the proof and applications of this formula by the author jointly with Chiu-Chu Melissa Liu…

A {\em pointed partition} of $n$ is a pair $(\lambda, v)$ where $\lambda\vdash n$ and $v$ is a cell in its Ferrers diagram. We construct an involution on pointed partitions of $n$ exchanging "hook length" and "part length". This gives a…

We present a pathwise proof of the HWI inequality which is based on en-tropic interpolations rather than displacement ones. Unlike the latter, entropic interpolations are regular both in space and time. Consequently, our approach is closer…

We present a simple method based on the stability and duality of the properties of sampling and interpolation, which allows one to substantially simplify the proofs of some classical results.

We prove that a suitably adjusted version of Peter Jones' formula for interpolation by bounded holomorphic functions gives a sharp upper bound for what is known as the constant of interpolation. We show how this leads to precise and…

We outline a proof of a remarkable formula for Hodge integrals conjectured by Marino and Vafa in hep-th/0108064 base on large N duality.

In this note we prove a general version of the Extrapolation Theorem, extending the classical linear extrapolation theorem due to B. Maurey. Our result shows, in particular, that the operators involved do not need to be linear.

The purpose of this paper is to develop and study recursive proofs of coinductive predicates. Such recursive proofs allow one to discover proof goals in the construction of a proof of a coinductive predicate, while still allowing the use of…