Abstract:A classical theorem due to Mattila (see \cite{Mat84}; see also \cite{M95}, Chapter 13) says that if $A,B \subset {\Bbb R}^d$ of Hausdorff dimension $s_A, s_B$, respectively, with $s_A+s_B \ge d$, $s_B>\frac{d+1}{2}$ and $dim_{\mathcal H}(A \times B)=s_A+s_B\ge d$, then $$ dim_{\mathcal H}(A \cap (z+B)) \leq s_A+s_B-d$$ for almost every $z \in {\Bbb R}^d$, in the sense of Lebesgue measure. In this paper, we replace the Hausdorff dimension on the left hand side of the first inequality above by the upper Minkowski dimension, replace the Lebesgue measure of the set of translates by a Hausdorff measure on a set of sufficiently large dimension and replace the translation and rotation group by a more general variable coefficient family of transformations. Interesting arithmetic issues arise in the consideration of sharpness examples. These results are partly motivated by those in \cite{EIT11} and \cite{IJL10} where in the former the classical regular value theorem from differential geometry was investigated in a fractal setting and in the latter discrete incidence theory is explored from an analytic standpoint. Fourier Integral Operator bounds and other techniques of harmonic analysis play a crucial role in our investigation. We also consider, in the spirit of the Furstenberg conjecture, inverse problems for intersections by asking how small a dimension of a set can be given that the dimension of its intersections with a suitably well-curved family of manifolds is bounded from below by a given threshold. Finally, we shall discuss applications of our estimates to the problem of estimating the number of solutions of systems of diophantine equations over integers.

On some Rajchman measures and equivalent Salem's problem

The Logarithmic Minkowski Problem For Non-Symmetric Measures

On Lehmer's question for integer-valued polynomials

On the Minkowski problem for p-harmonic measures

On an identity of Delange and its application to Cohen-Ramanujan expansions

Invariant Measures for Solvable Groups and Diophantine Approximation

On the generalized Dirichlet beta and Riemann zeta functions and Ramanujan-type formulae for beta and zeta values

Equivalent criteria for the Riemann hypothesis for a general class of $L$-functions

Certain Extensions of Results of Siegel, Wilton and Hardy

A partial converse to the Riemann--Lebesgue lemma for Bessel--Fourier series of order zero

Operator Analogues of Mahler's Measure

A note on series equivalent of the Riemann hypothesis

On the equilibrium measure for the Lukyanov integral

On the monotonicity of left and right Riemann sums

Intersections of sets, diophantine equations and Fourier analysis

An equivalent inequality for the Riemann hypothesis

Inhomogeneous Diophantine Approximation on $M_0$-sets

The Mahler Measure of X + 1/x + Y + 1/y + 4 ± 42 and Beilinson’s Conjecture

Ramanujan-Berndt-type integrals of order four and series associated with Jacobi elliptic functions

On solutions vanishing at infinity of infinite systems of quadratic Urysohn integral equations