相关论文: Sun's log-concavity conjecture on the Catalan-Larc…

Classically, the continuous-time Langevin diffusion converges exponentially fast to its stationary distribution $\pi$ under the sole assumption that $\pi$ satisfies a Poincar\'e inequality. Using this fact to provide guarantees for the…

We present an explicit closed-form formula for the vertices of the classical cut polytope $\operatorname{CUT}(n)$, defined as the convex hull of cut vectors of the complete graph $K_n$. Our derivation proceeds via a related polytope,…

We prove that a curious generating series identity implies Faber's intersection number conjecture (by showing that it implies a combinatorial identity already given in arXiv:1902.02742) and give a new proof of Faber's conjecture by directly…

We establish a connection between Cohen-Lyndon triples and equivariant homology theory, with a focus on the Baum-Connes conjecture. In the first part of this work, we establish an excision sequence for the classifying spaces for proper…

We investigate log-concavity in the context of level Hilbert functions and pure $O$-sequences, two classes of numerical sequences introduced by Stanley in the late Seventies whose structural properties have since been the object of a…

In this paper, using quaternion arithmetic in the ring of Lipschitz integers, we present a proof of Zh\`i-W\v{e}i S\={u}n's "1-3-5 conjecture" for integral solutions, and for all natural numbers greater than a specific constant. This,…

We investigate threshold phenomena for random polytopes $K_N=\conv\{X_1,\dots,X_N\}$ generated by i.i.d.\ samples from an atomic law $\mu$. We identify and provide a missing justification in the discrete-hypercube threshold argument of…

We prove a conjecture of Northshield by determining the maximal order of his analogue of Stern's sequence for $\mathbb{Z}[\sqrt{2}]$. In particular, if $b$ is Northshield's analogue, we prove that…

Gerhold conjectured and proved conditionally that (log n: n=1,2,...) is not a holonomic sequence. Flajolet, Gerhold and Salvy gave a proof using an analytic machinery. We give a simple proof.

Let $\overline{p}(n)$ denote the overpartition function. In this paper, we obtain an inequality for the sequence $\Delta^{2}\log \ \sqrt[n-1]{\overline{p}(n-1)/(n-1)^{\alpha}}$ which states that \begin{equation*} \log…

We prove under the Bombieri-Lang conjecture for surfaces that there is an absolute bound on the length of sequences of integer squares with constant second differences, for sequences which are not formed by the squares of integers in…

For all positive integers n, we prove the following divisibility properties: $$(2n+3){2n\choose n} | 3{6n\choose 3n}{3n\choose n}, and (10n+3){3n\choose n} | 21{15n\choose 5n} {5n\choose n}.$$ This confirms two recent conjectures of Z.-W.…

The gaps in the sequence $\{\sqrt{n}\}$ were shown by Elkies-McMullen (2004) to have a limiting distribution which is not the exponential distribution. However it is conjectured that the distribution of gaps in the sequence…

The classical Fibonacci sequence is known to exhibit many fascinating properties. In this paper, we explore the Fibonacci sequence and integer sequences generated by second order linear recurrence relations with positive integer…

We formulate a conjecture on the number of integral points of bounded height on log Fano varieties in analogy with Manin's conjecture on the number of rational points of bounded height on Fano varieties. We also give a prediction for the…

This paper proves Lee-Lee's conjecture that establishes a coincidence between the set of associated roots of non-self-intersecting curves in a $n$-punctured disc and the set of real Schur roots of acyclic (valued) quivers with $n$ vertices.

In this note, we prove two supercongruences involving Almkvist--Zudilin sequences, which were originally conjectured by Z.-H. Sun.

In this paper we prove a generalization of Montel's theorem for a class of first order elliptic equations with measurable coefficients involving Hodge-Dirac operators. We then apply this result to sequences of solutions of second order…

The Rota--Heron--Welsh conjecture (now a theorem of Adiprasito, Huh, and the author) asserts the log-concavity of the characteristic polynomial of matroids. We give an exposition of the Lorentzian polynomial proof following the work of…

Let $G$ be a graph with adjacency matrix $A(G)$. We conjecture that \[2n^+(G) \le n^-(G)(n^-(G) + 1),\] where $n^+(G)$ and $n^-(G)$ denote the number of positive and negative eigenvalues of $A(G)$, respectively. This conjecture generalizes…