Related papers: Herbert Stahl's proof of the BMV conjecture

The reformulation of the Bessis-Moussa-Villani conjecture given by Lieb and Seiringer asserts that the coefficient of t^r in the polynomial Trace[(A+tB)^p], with A and B positive semidefinite matrices, is nonnegative for all p and r. We…

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…

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…

In a recent paper, Roland Bacher conjectured three identities concerning Stern's sequence and its twist. In this paper we prove Bacher's conjectures. Possibly of independent interest, we also give a way to compute the Stern value (or…

Let G be a unitary group of a signed-Hermitian form h given over a non-Archimedian local field k of residue characteristic not two. Let V be the vector space on which h is defined. We consider minimal skew-strata, more precisely pairs (b,a)…

This is a summary of the proof of BAB conjecture. All material are taken from the two BAB paper in the reference. The aim of this summary is to help reader to understand the more technical side of the proof of BAB.

We show that a recent interpolative new proof of the Bohnenblust--Hille inequality, when suitably handled, recovers its best known constants. This seems to be unexpectedly surprising since the known interpolative approaches only provide…

Several inequalities for eigenvalues involving convex combinations and compressions are given. These inequalities are matrix version of the basic convexity inequality f((a+b)/2) < (f(a)+f(b))/2.

We show that every set $A$ of natural numbers with positive upper density can be shifted to contain the restricted sumset $\{b_1 + b_2 : b_1, b_2\in B \text{ and } b_1 \neq b_2 \}$ for some infinite set $B \subset A$.

Fillmore Theorem says that if A is an nxn complex non-scalar matrix and {\gamma}_1,...,{\gamma}_{n} are complex numbers with {\gamma}_1+...+{\gamma}_{n}=trA, then there exists a matrix B similar to A with diagonal entries…

We give a short proof to the following tilting theorem by Happel, Reiten and Smal{\o} via an explicit construction: given two abelian categories $\mathcal{A}$ and $\mathcal{B}$ such that $\mathcal{B}$ is tilted from $\mathcal{A}$, then…

We prove a conjecture by Kreiman and Lakshmibai on a combinatorial description of multiplicities of points on Schubert varieties in Graszmannians in terms of certain sets of reflections in the corresponding Weyl group. The proof is…

Let B be an n by n doubly substochastic matrix. We show that B can be written as a convex combination of no more than {\sigma}(B)+t subpermutation matrices, where {\sigma}(B) is the number of nonzero elements in B and t is the number of…

Simple proofs of the Hermite-Biehler and Routh-Hurwitz theorems are presented. The total nonnegativity of the Hurwitz matrix of a stable real polynomial follows as an immediate corollary.

We prove a conjecture by W. Bergweiler and A. Eremenko on the traces of elements of modular group in this paper

What has become known as Stahl's Theorem in power engineering circles has been used to justify a convergence guarantee of the Holormorphic Embedding Method (HEM) as it applies to the power flow (PF) problem. In this two-part paper, we…

The classical Harer conjecture is about the stable homology triviality of the obvious embedding $\phi : B_{2g+2} \hookrightarrow \Gamma_{g}$, which was proved by Song and Tillmann. The main part of the proof is to show that $\B\phi^{+} : \B…

We show that Connes' embedding conjecture on von Neumann algebras is equivalent to the existence of certain algebraic certificates for a polynomial in noncommuting variables to satisfy the following nonnegativity condition: The trace is…

We will prove the Brannan conjecture for particular values of the parameter. The basic tool of the study is an integral representation published in a recent work [3].

A very short proof of the Fej\'er-Riesz lemma is presented in the matrix case