Related papers: On a conjecture by Y. Last

We use a classical result of Gollinski and Ibragimov to prove an analog of the strong Szego theorem for Jacobi matrices on $l^2(\N)$. In particular, we consider the class of Jacobi matrices with conditionally summable parameter sequences…

Any counterexample to the two-dimensional Jacobian Conjecture gives a rational map from one projective plane to another. We use some ideas of the Minimal Model Program to study the combinatorial structure of a rational surface, that is…

We develop a probabilistic approach to the celebrated Jacobian conjecture, which states that any Keller map (i.e. any polynomial mapping $F\colon \mathbb{C}^n \to \mathbb{C}^n$ whose Jacobian determinant is a nonzero constant) has a…

We shall present an elementary approach to extremal decompositions of (quantum) covariance matrices determined by densities. We give a new proof on former results and provide a sharp estimate of the ranks of the densities that appear in the…

Using numerical, theoretical and general methods, we construct evaluation formulas for the Jacobi $\theta$ functions. Some of our results are conjectures, but are verified numerically.

The paper presents a counterexample to the Hodge conjecture.

We state an improved version of the conjecture of Langlands and Rapoport, and we prove the conjecture for a large class of Shimura varieties. In particular, we obtain the first proof of the (original) conjecture for Shimura varieties of…

In this paper, we partly prove a supercongruence conjectured by Z.-W. Sun in 2013. Let $p$ be an odd prime and let $a\in\mathbb{Z}^{+}$. Then if $p\equiv1\pmod3$, we have \begin{align*}…

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.

Let $X=(x_{ij})$ and $Y=(y_{ij})$ be generic $n$ by $n$ matrices and $Z=XY-YX$. Let $S=k[x_{11},...,x_{nn},y_{11},...,y_{nn}]$, where $k$ is a field, let $I$ be the ideal generated by the entries of $Z$ and let $R=S/I$. We give a conjecture…

We prove a conjecture of K. Marton, widely known as the polynomial Freiman--Ruzsa conjecture, in characteristic $2$. The argument extends to odd characteristic, with details to follow in a subsequent paper.

We present a case study in {\it experimental} yet {\it rigorous} mathematics by describing an algorithm, fully implemented in both Mathematica and Maple, that {\it automatically conjectures}, and then {\it automatically proves}, closed-form…

The two dimensional Jacobian Conjecture says that a morphism $f:\mathbb{C}[x,y]\to \mathbb{C}[x,y]$ having an invertible Jacobian, is invertible. We show that a morphism $f$ having an invertible Jacobian is invertible, in each of the…

We use the classical results of Baxter and Gollinski-Ibragimov to prove a new spectral equivalence for Jacobi matrices on $l^2(\N)$. In particular, we consider the class of Jacobi matrices with conditionally summable parameter sequences and…

We give a new proof of a lemma by L. Shepp, that was used in connection to random coverings of a circle.

The two-dimensional Jacobian Conjecture says that a $\mathbb{C}$-algebra endomorphism $F:\mathbb{C}[x,y] \to \mathbb{C}[x,y]$ that has an invertible Jacobian is an automorphism. We show that if a $\mathbb{C}$-algebra endomorphism…

An alternative proof of the duality of generalized Lie bialgebroid is given and proved a canonical Jacobi structure can be defined on the base of it. We also introduce the notion of morphism between generalized Lie bialgebroids and proved…

The Newton polytope related to a ``minimal" counterexample to the Jacobian conjecture is introduced and described. This description allows to obtain a sharper estimate for the geometric degree of the polynomial mapping given by a Jacobian…

We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the $\lambda$-definability conjecture implies the higher-order matching conjecture.

We give a new proof of the existence of designs, which is much shorter and gives better bounds.