Related papers: Multisum Sets
For any integer $x$, let $T_x$ denote the triangular number $\frac{x(x+1)}{2}$. In this paper we give a complete characterization of all the triples of positive integers $(\alpha, \beta, \gamma)$ for which the ternary sums $\alpha x^2…
We show that there exist infinite sets $A = \{a_1,a_2,\dots\}$ and $B = \{b_1,b_2,\dots\}$ of natural numbers such that $a_i+b_j$ is prime whenever $1 \leq i < j$.
Supersymmetry remains compelling theory over 30 years in spite of lack of its discovery. It could be already near the corner our days, therefore present and upcoming experiments are crucial for constraining or even discovery of the…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
A finite set $X$ in a Euclidean space $\mathbb{R}^d$ is called Ramsey if for every $k$ there exists an integer $n$ such that whenever $\mathbb{R}^n$ is coloured with $k$ colours, there is a monochromatic copy of $X$. Graham conjectured that…
In this paper, we report on the largest labelled dataset constructed so far for solving zero-dimensional square nonlinear systems with subdivision-based methods. A brief, non-exhaustive survey with emphasis on the literature from the past…
In this paper we solve the polarization problem for real Hilbert spaces, a long-standing conjecture that had remained open for nearly three decades. We also confirm that the only extremal configurations are orthonormal sets. These are…
Suppose that we have a finite colouring of the reals. What sumset-type structures can we hope to find in some colour class? One of our aims is to show that there is such a colouring for which no uncountable set has all of its pairwise sums…
Over 300 sequences and many unsolved problems and conjectures related to them are presented herein together with theorems corollaries, formulae, examples, mathematical criteria, etc. (about integer sequences, numbers, quotients, residues,…
Large formal mathematical libraries consist of millions of atomic inference steps that give rise to a corresponding number of proved statements (lemmas). Analogously to the informal mathematical practice, only a tiny fraction of such…
We prove the sufficiency of the Linear Superposition Principle for linear trees, which characterizes the spectra achievable by a real symmetric matrix whose underlying graph is a linear tree. The necessity was previously proven in 2014.…
Sharpening (a particular case of) a result of Szemeredi and Vu and extending earlier results of Sarkozy and ourselves, we find, subject to some technical restrictions, a sharp threshold for the number of integer sets needed for their sumset…
Large sets of equiangular lines are constructed from sets of mutually unbiased bases, over both the complex and the real numbers.
Mirror symmetry, a phenomenon in superstring theory, has recently been used to give tentative calculations of several numbers in algebraic geometry. In this paper, the numbers of lines and conics on various hypersurfaces which satisfy…
We introduce a general multisummability theory of formal power series in Carleman ultraholomorphic classes. The finitely many levels of summation are determined by pairwise comparable, nonequivalent weight sequences admitting nonzero…
A multiple Gauss sum is a complete multiple exponential sum twisted by Dirichlet characters. We prove a new bound for multiple Gauss sums and, as an application, improve previous results in the Birch--Goldbach problem. Let $F_1, \ldots, F_R…
We prove that for any partition of a set which contains an infinite arithmetic (respectively geometric) progression into two disjoint subsets, at least one of these subsets contains an infinite number of triplets such that each triplet is…
We show that the higher order linear differential equation possesses all solutions of infinite order under certain conditions by extending the work of authors about second order differential equation \cite{dsm2}.
Satisfiability solving has been used to tackle a range of long-standing open math problems in recent years. We add another success by solving a geometry problem that originated a century ago. In the 1930s, Esther Klein's exploration of…
We prove that the conjecture made by Peter Frankl in the late 1970s is true. In other words for every finite union-closed family which contains a non?empty set, there is an element that belongs to at least half of its m