Related papers: A proof of Bjorner's totally nonnegative conjectur…

For any integers $d, n \geq 2$ and $1/({\min\{n,d\}})^{0.4999} < \varepsilon<1$, we show the existence of a set of $n$ vectors $X\subset \mathbb{R}^d$ such that any embedding $f:X\rightarrow \mathbb{R}^m$ satisfying $$ \forall x,y\in X,\…

By a result of Helton and McCullough, open bounded convex free semialgebraic sets are exactly open (matricial) solution sets D_L of a linear matrix inequality (LMI) L(X)>0. This paper gives a precise algebraic certificate for a polynomial…

Let $M$ be a non-compact connected manifold with a cocompact and properly discontinuous action of a discrete group $G$. We establish a Poincar\'{e}-Hopf theorem for a bounded vector field on $M$ satisfying a mild condition on zeros. As an…

We show that the functor from bialgebras to vector spaces sending a bialgebra to its subspace of primitives has monadic length at most 2.

Let $L_N = L_{MBM}(X_1,..., X_N; Y_1,..., Y_N)$ be the minimum length of a bipartite matching between two sets of points in $\mathbf{R}^d$, where $X_1,..., X_N,...$ and $Y_1,..., Y_N,...$ are random points independently and uniformly…

Tubal scalars are usual vectors, and tubal matrices are matrices with every element being a tubal scalar. Such a matrix is often recognized as a third-order tensor. The product between tubal scalars, tubal vectors, and tubal matrices can be…

The variety of principal minors of $n\times n$ symmetric matrices, denoted $Z_{n}$, is invariant under the action of a group $G\subset \GL(2^{n})$ isomorphic to $\G$. We describe an irreducible $G$-module of degree $4$ polynomials…

Let A(n) be a $k\times s$ matrix and $m(n)$ be a $k$ dimensional vector, where all entries of A(n) and $m(n)$ are integer-valued polynomials in $n$. Suppose that $$t(m(n)|A(n))=#\{x\in\mathbb{Z}_{+}^{s}\mid A(n)x=m(n)\}$$ is finite for each…

The recent paper "Linear Connectivity Forces Large Complete Bipartite Minors" by Boehme et al. relies on a structure theorem for graphs with no H-minor. The sketch provided of how to deduce this theorem from the work of Robertson and…

Recently Lieb and Seiringer showed that the Bessis-Moussa-Villani conjecture from quantum physics can be restated in the following purely algebraic way: The sum of all words in two positive semidefinite matrices where the number of each of…

We prove an $L^2$ theorem on generically surjective morphism of holomorphic vector bundles via a degeneration argument, generalizing the author's previous work on the $L^2$ division theorem of Skoda. The proof is based on Berndtsson's…

Despite a full characterization of the face vectors of simple and simplicial polytopes, the face numbers of general polytopes are poorly understood. Around 1997, B\'ar\'any asked whether for all convex $d$-polytopes $P$ and all $0 \leq k…

In this short paper, we will give a simple and transcendental proof for Mok's theorem of the generalized Frankel conjecture. This work is based on the maximum principle in \cite{BS2} proposed by Brendle and Schoen.

$ \newcommand{\schs}{\scriptstyle{\mathsf{S}}_1} $For all $n \ge 1$, we give an explicit construction of $m \times m$ matrices $A_1,\ldots,A_n$ with $m = 2^{\lfloor n/2 \rfloor}$ such that for any $d$ and $d \times d$ matrices…

The BMV conjecture for traces, which states that $Tr exp(A -\lambda B)$ is the Laplace transform of a positive measure, is shown to be equivalent to two other statements: (i) The polynomial $\lambda\mapsto Tr(A+\lambda B)^p$ has only…

In this paper, we prove the converse of the dynamical Mordell--Lang conjecture in positive characteristic: For every subset $S \subseteq \mathbb{N}_0$ which is a union of finitely many arithmetic progressions along with finitely many…

The title's century-old conjecture is established fpr D=2 and is likely for all D.

Motivated by Hadwiger's conjecture, we prove that every $n$-vertex graph $G$ with no independent set of size three contains an $\lceil n/2\rceil$-vertex simple minor $H$ with $$0.98688 \cdot \binom{|V(H)|}{2} - o(n^2)$$ edges.

We prove a conjecture of Borisov and Nuer, which states that every element in the even unimodular lattice of signature (1,9) can be expressed as the difference of two elements of squared length -2. As a consequence, every unnodal Enriques…

It is proved that any polynomial vector field in two complex variables which is complete on a non-algebraic trajectory is complete.