On pair correlation and discrepancy

We say that a sequence $\{x_n\}_{n \geq 1}$ in $[0,1)$ has Poissonian pair correlations if \begin{equation*} \lim_{N \rightarrow \infty} \frac{1}{N} \# \left\{ 1 \leq l \neq m \leq N \, : \, \left\lVert x_l-x_m \right\rVert < \frac{s}{N} \right\} = 2s \end{equation*} for all $s>0$. In this note we show that if the convergence in the above expression is - in a certain sense - fast, then this implies a small discrepancy for the sequence $\{x_n\}_{n \geq 1}$. As an easy consequence it follows that every sequence with Poissonian pair correlations is uniformly distributed in $[0,1)$.Comment: To appear in Archiv der Mathemati

Sets of bounded discrepancy for multi-dimensional irrational rotation

We study bounded remainder sets with respect to an irrational rotation of the $d$-dimensional torus. The subject goes back to Hecke, Ostrowski and Kesten who characterized the intervals with bounded remainder in dimension one. First we extend to several dimensions the Hecke-Ostrowski result by constructing a class of $d$-dimensional parallelepipeds of bounded remainder. Then we characterize the Riemann measurable bounded remainder sets in terms of "equidecomposability" to such a parallelepiped. By constructing invariants with respect to this equidecomposition, we derive explicit conditions for a polytope to be a bounded remainder set. In particular this yields a characterization of the convex bounded remainder polygons in two dimensions. The approach is used to obtain several other results as well.Comment: To appear in Geometric And Functional Analysi

A positive lower bound for lim inf⁡N→∞∏r=1N∣2sin⁡πrφ∣\liminf_{N\to\infty} \prod_{r=1}^N \left| 2\sin \pi r \varphi \right|

Nearly 60 years ago, Erd\H{o}s and Szekeres raised the question of whether $$\liminf_{N\to \infty} \prod_{r=1}^N \left| 2\sin \pi r \alpha \right| =0$$ for all irrationals $\alpha$. Despite its simple formulation, the question has remained unanswered. It was shown by Lubinsky in 1999 that the answer is yes if $\alpha$ has unbounded continued fraction coefficients, and it was suggested that the answer is yes in general. However, we show in this paper that for the golden ratio $\varphi=(\sqrt{5}-1)/2$, $$\liminf_{N\to \infty} \prod_{r=1}^N \left| 2\sin \pi r \varphi \right| >0 ,$$ providing a negative answer to this long-standing open problem

Direct imaging of long-range ferromagnetic and antiferromagnetic order in a dipolar metamaterial

Magnetic metamaterials such as artificial spin ice offer a route to tailor magnetic properties. Such materials can be fabricated by lithographically defining arrays of nanoscale magnetic islands. The magnetostatic interactions between the elements are influenced by their shape and geometric arrangement and can lead to long-range ordering. We demonstrate how the magnetic order in a two-dimensional periodic array of circular disks is controlled by the lattice symmetry. Antiferromagnetic and ferromagnetic order extending through the entire array is observed for the square and hexagonal lattice, respectively. Furthermore, we show that a minute deviation from perfect circularity of the elements along a preferred direction results in room-temperature blocking and favors collinear spin textures

On the order of magnitude of Sudler products II

We study the asymptotic behavior of Sudler products PN(α)=∏Nr=12∣∣sinπrα∣∣ for quadratic irrationals α∈R. In particular, we verify the convergence of certain perturbed Sudler products along subsequences, and show that liminfNPN(α)=0 and limsupNPN(α)/N=∞ whenever the maximal digit in the period of the continued fraction expansion of α exceeds 23. This generalizes known results for the period one case α=[0;a¯¯¯].acceptedVersio

Constructing bounded remainder sets and cut-and-project sets which are bounded distance to lattices, II

Recent results of several authors have led to constructions of parallelotopes which are bounded remainder sets for totally irrational toral rotations. In this brief note we explain, in retrospect, how some of these results can easily be obtained from a geometric argument which was previously employed by Duneau and Oguey in the study of deformation properties of mathematical models for quasicrystals