Related papers: An elementary additive doubling inequality

We prove that if two normed-algebra-valued cosine families indexed by a single Abelian group, of which one is bounded and comprised solely of scalar elements of the underlying algebra, differ in norm by less than $1$ uniformly in the…

Let G be a finitely presented group, and let p be a prime. Then G is 'large' (respectively, 'p-large') if some normal subgroup with finite index (respectively, index a power of p) admits a non-abelian free quotient. This paper provides a…

Let $A$ be a hereditary algebra. We construct a fundamental domain for the cluster category of $A$ inside the category of modules over the duplicated algebra $\bar{A}$ of $A$. We then prove that there exists a bijection between the tilting…

We prove some new bounds for the size of the maximal dissociated subset of structured (having small sumset, large energy and so on) subsets A of an abelian group.

We give a necessary and sufficient condition for a morphism between recollements of abelian categories to be an equivalence.

In a previous publication, we showed how group actions can be used to generate Bell inequalities. The group action yields a set of measurement probabilities whose sum is the basic element in the inequality. The sum has an upper bound if the…

Let S be a closed oriented surface of genus g > 1, and let T denote its Torelli group. First, given a set E of homotopically nontrivial, pairwise disjoint, pairwise nonisotopic simple closed curves on S, we determine precisely when a…

In the paper we prove that any sumset or difference set has large E_3 energy. Also, we give a full description of families of sets having critical relations between some kind of energies such as E_k, T_k and Gowers norms. In particular, we…

We derive a single general Bell inequality which is a necessary and sufficient condition for the correlation function for N particles to be describable in a local and realistic picture, for the case in which measurements on each particle…

We present an elementary combinatorial proof of the celebrated Friendship theorem. The proof involves looking at independent sets and constructing a bound on their size which forces a contradiction.

This paper examines the problem of obtaining a $D(4)$-quadruple by adding a smaller element to a $D(4)$-triple. We prove some relations between elements of observed hypothetical $D(4)$-quadruples under which conjecture of the uniqueness of…

In this paper we give alternate proofs of some well-known matrix inequalities. In particular, we show that under certain conditions the inequality holds \begin{align}\sum \limits_{\lambda_i\in \mathrm{Spec}(ab^{T})}\mathrm{min}\{\log…

Suppose that a binary operation $\circ$ on a finite set $X$ is injective in each variable separately and also associative. It is easy to prove that $(X,\circ)$ must be a group. In this paper we examine what happens if one knows only that a…

For a subset $A$ of an abelian group $G$, given its size $|A|$, its doubling $\kappa=|A+A|/|A|$, and a parameter $s$ which is small compared to $|A|$, we study the size of the largest sumset $A+A'$ that can be guaranteed for a subset $A'$…

In this paper we start to investigate a new body of questions in additive combinatorics. The fundamental Cauchy--Davenport theorem gives a lower bound on the size of a sumset A+B for subsets of the cyclic group Zp of order p (p prime), and…

In a 1989 paper \cite{arasu2}, Arasu used an observation about multipliers to show that no $(352,27,2)$ difference set exists in any abelian group. The proof is quite short and required no computer assistance. We show that it may be applied…

Let $A$ and $B$ be sets of $k\ge5$ elements in $F=\mathbb{Z}/p\mathbb{Z}$ the field with $p>2k-2$ elements. We denote by $A\dot{+}B$ the set of different elements of $F$ that can be written in the form $a+b$, where $a\in A$, $b\in B$,…

Let G be an additive abelian group whose finite subgroups are all cyclic. Let A_1,...,A_n (n>1) be finite subsets of G with cardinality k>0, and let b_1,...,b_n be pairwise distinct elements of G with odd order. We show that for every…

We consider filtrations of objects in an abelian category $\catA$ induced by a tilting object $T$ of homological dimension at most two. We define three disjoint subcategories with no maps between them in one direction, such that each object…

In this paper, we prove a criterion of elementary equivalence of stable linear groups over fields of characteristic two.