Related papers: A Simple Proof for the Generalized Frankel Conject…

Let R be a regular local ring, containing an infinite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R.

The Mordell--Lang conjecture for abelian varieties states that the intersection of an algebraic subvariety $X$ with a subgroup of finite rank is contained in a finite union of cosets contained in $X$. In this article, we prove a uniform…

In this note, we give an alternate proof of the multinomial theorem using a probabilistic approach. Although the multinomial theorem is basically a combinatorial result, our proof may be simpler for a student familiar with only basic…

Most of the assertions in the theory of well ordered sets are quite simple. However, one of its central statements, Zermelo's theorem, stands out of this rule, for its well-known proofs are rather complicated. The aim of the current paper…

We prove that the Buchweitz-Greuel-Schreyer Conjecture on the minimal rank of a matrix factorization holds for a generic polynomial of given degree and strength. The proof introduces a notion of the secondary strength of a polynomial, and…

We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.

We show that the Fr\"oberg conjecture holds in the second non-trivial degree for an ideal generated by generic forms of degree $d>2$. We also show that the conjecture is true up to degree $2d-1$ provided that the number of variables is…

We prove that the `Upper Matching Conjecture' of Friedland, Krop, and Markstr\"om and the analogous conjecture of Kahn for independent sets in regular graphs hold for all large enough graphs as a function of the degree. That is, for every…

Let $\mathbb{M}:=(M(X),p)$ be a direct summand of the motive associated with a geometrically split, geometrically variety over a field $F$ satisfying the nilpotence principle. We show that under some conditions on an extension $E/F$, if…

We prove the following version of the Loebl-Komlos-Sos Conjecture: For every alpha>0 there exists a number M such that for every k>M every n-vertex graph G with at least (0.5+alpha)n vertices of degree at least (1+alpha)k contains each tree…

The article on the upper central series of infinite groups by M. de Falco, F. de Giovanni, C. Musella and Y.P. Sysak, proceedings of the american mathematical society, Volume 139, Number 2, February 2011, 385--389 consists of a quite long…

The union-closed sets conjecture, attributed to P\'eter Frankl from 1979, states that for any non-empty finite union-closed family of finite sets not consisting of only the empty set, there is an element that is in at least half of the sets…

Let R be a regular local ring, containing a finite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R. If the regular local ring R contains an…

We present a simple proof of Christer Borell's general inequality in the Brunn-Minkowski theory. We then discuss applications of Borell's inequality to the log-Brunn-Minkowski inequality of B\"or\"oczky, Lutwak, Yang and Zhang.

In the present paper, we propose a new generalization of the Borel-Cantelli lemma. This generalization can be further used to derive strong limit results for Markov chains. Illustrative applications are provided.

A very simple and short proof of the polynomial matrix spectral factorization theorem (on the unit circle as well as on the real line) is presented, which relies on elementary complex analysis and linear algebra.

Assuming Schanuel's Conjecture we prove that for any variety V over the algebraic closure over the rational numbers, of dimension n and with dominant projections, there exists a generic point in V. We obtain in this way many instances of…

We prove global effective versions of the Brian\ccon-Skoda-Huneke theorem. Our results extend, to singular varieties, a result of Hickel on the membership problem in polynomial ideals in $\mathbf C^n$, and a related theorem of Ein and…

Glivenko's theorem says that, in propositional logic, classical provability of a formula entails intuitionistic provability of double negation of that formula. We generalise Glivenko's theorem from double negation to an arbitrary nucleus,…

The purpose of this note is to give an affirmative answer to a conjecture appearing in [Integral Transforms Spec. Funct. 26 (2015) 90-95].