Related papers: Baker's Explicit abc-Conjecture and applications
The union-closed sets conjecture, also known as Frankl's conjecture, is a well-studied problem with various formulations. In terms of lattices, the conjecture states that every finite lattice $L$ with more than one element contains a…
There were two famous conjectures on complete affine maximal surfaces, one due to E. Calabi, the other to S.S. Chern. Both were solved with different methods about one decade ago by studying the associated Euler-Lagrange equation. Here we…
We give a counterexample to a conjecture made by Cigler, Jerman and Wojciechowski stating that all posets are conclusive. We also provide combinatorial characterizations for conclusiveness of finite posets and the existence of outer…
In a previous paper the second author developed a new approach to the abelian p-adic Stark Conjecture at s=1 and stated some related conjectures. This paper develops and applies techniques using p-adic measures and continued fractions to…
This paper is a sequel to [3]. We formulate a natural algebraic geometry conjecture, give some of its number theoretic and analytical consequences, and show that those can be used to get further advances in wave turbulence theory.
The Union Closed Sets Conjecture states that in every finite, nontrivial set family closed under taking unions there is an element contained in at least half of all the sets of the family. We investigate two new directions with respect to…
In this paper we prove that any lambda-term that is strongly normalising for beta-reduction is also strongly normalising for beta,assoc-reduction. assoc is a call-by-value rule that has been used in works by Moggi, Joachimsky, Espirito…
We prove the explicit version of the Buzzard--Diamond--Jarvis conjecture formulated by Diamond--Demb\'el\'e--Roberts. More precisely, we prove that it is equivalent to the original Buzzard--Diamond--Jarvis conjecture, which was proved for…
A short, fairly self-contained proof is given of the Poincar\'e Conjecture. In the previous version there was an error on Page 8. This gap has now been filled.
The Hodge conjecture is shown to be equivalent to a question about the homology of very ample divisors with ordinary double point singularities. The infinitesimal version of the result is also discussed.
The Image Conjecture was formulated by the third author, who showed that it implied his Vanishing Conjecture, which is equivalent to the famous Jacobian Conjecture. We prove various cases of the Image Conjecture and show how it leads to…
We prove the Aharoni Berger Conjecture
In the theory of generalized cluster algebras, we build the so-called cluster formula and $D$-matrix pattern. Then as applications, some fundamental conjectures of generalized cluster algebras are solved affirmatively.
We show that it is consistent that the Borel Conjecture and the dual Borel Conjecture hold simultaneously.
The aim of this note is a proof of a recent conjecture of Kellner concerning the number of distinct prime factors of a particular product of primes. The proof uses profound results from analytic number theory, such as Granville-Ramar\'{e}'s…
A family of sets $\mathcal{A}$ is union-closed if it is finite and nonempty with member sets that are all finite and distinct (at least one of which is nonempty) and it satisfies the property $X, Y \in \mathcal{A} \implies X \cup Y \in…
In the paper, the authors first inductively establish explicit formulas for derivatives of the arc sine function, then derive from these explicit formulas explicit expressions for a family of Bell polynomials related to the square function,…
We revisit and generalize the concept of composite likelihood as a method to make a probabilistic inference by aggregation of multiple Bayesian agents, thereby defining a class of predictive models which we call composite Bayesian. This…
We give some results and conjectures about recurrence relations for certain sequences of binomial sums.
We introduce the concept of an extended O-operator that generalizes the well-known concept of a Rota-Baxter operator. We study the associative products coming from these operators and establish the relationship between extended O-operators…