Growth in solvable subgroups of GL_r(Z/pZ)

Let $K=Z/pZ$ and let $A$ be a subset of \GL_r(K) such that is solvable. We reduce the study of the growth of $A$ under the group operation to the nilpotent setting. Specifically we prove that either $A$ grows rapidly (meaning $|A\cdot A\cdot A|\gg |A|^{1+\delta}$), or else there are groups $U_R$ and $S$, with $S/U_R$ nilpotent such that $A_k\cap S$ is large and $U_R\subseteq A_k$, where $k$ is a bounded integer and $A_k = \{x_1 x_2...b x_k : x_i \in A \cup A^{-1} \cup {1}}$. The implied constants depend only on the rank $r$ of $\GL_r(K)$. When combined with recent work by Pyber and Szab\'o, the main result of this paper implies that it is possible to draw the same conclusions without supposing that is solvable.Comment: 46 pages. This version includes revisions recommended by an anonymous referee including, in particular, the statement of a new theorem, Theorem

Bounds on the diameter of Cayley graphs of the symmetric group

In this paper we are concerned with the conjecture that, for any set of generators S of the symmetric group of degree n, the word length in terms of S of every permutation is bounded above by a polynomial of n. We prove this conjecture for sets of generators containing a permutation fixing at least 37% of the points.Comment: 17 pages, 6 table

Expansion in perfect groups

Let Ga be a subgroup of GL_d(Q) generated by a finite symmetric set S. For an integer q, denote by Ga_q the subgroup of Ga consisting of the elements that project to the unit element mod q. We prove that the Cayley graphs of Ga/Ga_q with respect to the generating set S form a family of expanders when q ranges over square-free integers with large prime divisors if and only if the connected component of the Zariski-closure of Ga is perfect.Comment: 62 pages, no figures, revision based on referee's comments: new ideas are explained in more details in the introduction, typos corrected, results and proofs unchange

Some Additive Combinatorics Problems in Matrix Rings

We study the distribution of singular and unimodular matrices in sumsets in matrix rings over finite fields. We apply these results to estimate the largest prime divisor of the determinants in sumsets in matrix rings over the integers

On the Gannon-Lee Singularity Theorem in Higher Dimensions

The Gannon-Lee singularity theorems give well-known restrictions on the spatial topology of singularity-free (i.e., nonspacelike geodesically complete), globally hyperbolic spacetimes. In this paper, we revisit these classic results in the light of recent developments, especially the failure in higher dimensions of a celebrated theorem by Hawking on the topology of black hole horizons. The global hyperbolicity requirement is weakened, and we expand the scope of the main results to allow for the richer variety of spatial topologies which are likely to occur in higher-dimensional spacetimes.Comment: 13 pages, no figures, to appear in Class. Quantum Gra

Farms of the future guidelines

The farms of the future (FOTF) approach is an interactive climate adaptation, knowledge sharing and learning experience that transforms climate forecasts into field-based realities by physically taking participants on a journey to areas that already experience climatic conditions that represent plausible future climate scenarios. The hypothesis behind this is that the knowledge exchange process can enhance a farmer’s/village’s capacity to adapt to changing climatic conditions by exposing them to innovative farming communities that have already successfully adapted their agricultural practices to various distinct climatic conditions the reference village might experience

Expansion in SL_d(Z/qZ), q arbitrary

Let S be a fixed finite symmetric subset of SL_d(Z), and assume that it generates a Zariski-dense subgroup G. We show that the Cayley graphs of pi_q(G) with respect to the generating set pi_q(S) form a family of expanders, where pi_q is the projection map Z->Z/qZ

Small doubling in groups

Let A be a subset of a group G = (G,.). We will survey the theory of sets A with the property that |A.A| <= K|A|, where A.A = {a_1 a_2 : a_1, a_2 in A}. The case G = (Z,+) is the famous Freiman--Ruzsa theorem.Comment: 23 pages, survey article submitted to Proceedings of the Erdos Centenary conferenc

A Reformulation of the Hoop Conjecture

A reformulation of the Hoop Conjecture based on the concept of trapped circle is presented. The problems of severe compactness in every spatial direction, and of how to superpose the hoops with the surface of the black hole, are resolved. A new conjecture concerning "peeling" properties of dynamical/trapping horizons is propounded. A novel geometric Hoop inequality is put forward. The possibility of carrying over the results to arbitrary dimension is discussed.Comment: 6 pages, no figures. New references included, typos corrected, explanatory comments added. Much shorter version, in order to match EPL length restrictions. To be published in EP