Showing 1–13 of 13 results for author: Grepstad, S

Bounded distance equivalence of cut-and-project sets and equidecomposability

Authors: Sigrid Grepstad

Abstract: We show that given a lattice $Γ\subset \mathbb{R}^m \times \mathbb{R}^n$, and projections $p_1$ and $p_2$ onto $\mathbb{R}^m$ and $\mathbb{R}^n$ respectively, cut-and-project sets obtained using Jordan measurable windows $W$ and $W'$ in $\mathbb{R}^n$ of equal measure are bounded distance equivalent only if $W$ and $W'$ are equidecomposable by translations in $p_2(Γ)$. As a consequence, we obtain… ▽ More We show that given a lattice $Γ\subset \mathbb{R}^m \times \mathbb{R}^n$, and projections $p_1$ and $p_2$ onto $\mathbb{R}^m$ and $\mathbb{R}^n$ respectively, cut-and-project sets obtained using Jordan measurable windows $W$ and $W'$ in $\mathbb{R}^n$ of equal measure are bounded distance equivalent only if $W$ and $W'$ are equidecomposable by translations in $p_2(Γ)$. As a consequence, we obtain an explicit description of the bounded distance equivalence classes in the hulls of simple quasicrystals. △ Less

Submitted 11 September, 2024; v1 submitted 9 September, 2024; originally announced September 2024.

Comments: 16 pages, 1 figure. Erroneous example removed

MSC Class: 52C23; 52B45; 11K38

Hilbert points in Hilbert space-valued $L^p$ spaces

Authors: Ole Fredrik Brevig, Sigrid Grepstad

Abstract: Let $H$ be a Hilbert space and $(Ω,\mathcal{F},μ)$ a probability space. A Hilbert point in $L^p(Ω; H)$ is a nontrivial function $\varphi$ such that $\|\varphi\|_p \leq \|\varphi+f\|_p$ whenever $\langle f, \varphi \rangle = 0$. We demonstrate that $\varphi$ is a Hilbert point in $L^p(Ω; H)$ for some $p\neq2$ if and only if $\|\varphi(ω)\|_H$ assumes only the two values $0$ and $C>0$. We also obtai… ▽ More Let $H$ be a Hilbert space and $(Ω,\mathcal{F},μ)$ a probability space. A Hilbert point in $L^p(Ω; H)$ is a nontrivial function $\varphi$ such that $\|\varphi\|_p \leq \|\varphi+f\|_p$ whenever $\langle f, \varphi \rangle = 0$. We demonstrate that $\varphi$ is a Hilbert point in $L^p(Ω; H)$ for some $p\neq2$ if and only if $\|\varphi(ω)\|_H$ assumes only the two values $0$ and $C>0$. We also obtain a geometric description of when a sum of independent Rademacher variables is a Hilbert point. △ Less

Submitted 23 February, 2022; originally announced February 2022.

Journal ref: North-West. Eur. J. Math. 9 (2023), 17--29

On the order of magnitude of Sudler products II

Authors: Sigrid Grepstad, Mario Neumüller, Agamemnon Zafeiropoulos

Abstract: We study the asymptotic behavior of Sudler products $P_N(α)= \prod_{r=1}^{N}2|\sin πrα|$ for quadratic irrationals $α\in \mathbb{R}$. In particular, we verify the convergence of certain perturbed Sudler products along subsequences, and show that $\liminf_N P_N(α) = 0$ and $\limsup_N P_N(α)/N = \infty$ whenever the maximal digit in the continued fraction expansion of $α$ exceeds $23$. This generali… ▽ More We study the asymptotic behavior of Sudler products $P_N(α)= \prod_{r=1}^{N}2|\sin πrα|$ for quadratic irrationals $α\in \mathbb{R}$. In particular, we verify the convergence of certain perturbed Sudler products along subsequences, and show that $\liminf_N P_N(α) = 0$ and $\limsup_N P_N(α)/N = \infty$ whenever the maximal digit in the continued fraction expansion of $α$ exceeds $23$. This generalizes results obtained for the period one case $α=[0; \overline{a}]$. △ Less

Submitted 6 September, 2022; v1 submitted 9 September, 2021; originally announced September 2021.

Comments: The second version contains some minor corrections

MSC Class: 11J70; 11J71 (Primary); 11L03; 26D05 (Secondary)

F. Wiener's trick and an extremal problem for $H^p$

Authors: Ole Fredrik Brevig, Sigrid Grepstad, Sarah May Instanes

Abstract: For $0<p \leq \infty$, let $H^p$ denote the classical Hardy space of the unit disc. We consider the extremal problem of maximizing the modulus of the $k$th Taylor coefficient of a function $f \in H^p$ which satisfies $\|f\|_{H^p}\leq1$ and $f(0)=t$ for some $0 \leq t \leq 1$. In particular, we provide a complete solution to this problem for $k=1$ and $0<p<1$. We also study F. Wiener's trick, which… ▽ More For $0<p \leq \infty$, let $H^p$ denote the classical Hardy space of the unit disc. We consider the extremal problem of maximizing the modulus of the $k$th Taylor coefficient of a function $f \in H^p$ which satisfies $\|f\|_{H^p}\leq1$ and $f(0)=t$ for some $0 \leq t \leq 1$. In particular, we provide a complete solution to this problem for $k=1$ and $0<p<1$. We also study F. Wiener's trick, which plays a crucial role in various coefficient-related extremal problems for Hardy spaces. △ Less

Submitted 13 June, 2022; v1 submitted 16 November, 2020; originally announced November 2020.

Comments: This paper has been accepted for publication in Computational Methods and Function Theory

Journal ref: Comput. Methods Funct. Theory. 23 (2023), no. 4, 697--722

On the asymptotic behaviour of the sine product $\prod_{r=1}^n|2\sin(πr α)|$

Authors: Sigrid Grepstad, Lisa Kaltenböck, Mario Neumüller

Abstract: In this paper we review recently established results on the asymptotic behaviour of the trigonometric product $P_n(α) = \prod_{r=1}^n |2\sin πr α|$ as $n\to \infty$. We focus on irrationals $α$ whose continued fraction coefficients are bounded. Our main goal is to illustrate that when discussing the regularity of $P_n(α)$, not only the boundedness of the coefficients plays a role; also their size,… ▽ More In this paper we review recently established results on the asymptotic behaviour of the trigonometric product $P_n(α) = \prod_{r=1}^n |2\sin πr α|$ as $n\to \infty$. We focus on irrationals $α$ whose continued fraction coefficients are bounded. Our main goal is to illustrate that when discussing the regularity of $P_n(α)$, not only the boundedness of the coefficients plays a role; also their size, as well as the structure of the continued fraction expansion of $α$, is important. △ Less

Submitted 3 September, 2019; originally announced September 2019.

Comments: To appear in: D. Bilyk, J. Dick, F. Pillichshammer (Eds.) Discrepancy theory, Radon Series on Computational and Applied Mathematics

MSC Class: 26D05; 41A60; 11B39 (primary); 11L15; 11K31 (secondary)

A positive lower bound for $\liminf_{N\to\infty} \prod_{r=1}^N \left| 2\sin πr \varphi \right|$

Authors: Sigrid Grepstad, Lisa Kaltenböck, Mario Neumüller

Abstract: Nearly 60 years ago, Erdős and Szekeres raised the question of whether $$\liminf_{N\to \infty} \prod_{r=1}^N \left| 2\sin πr α\right| =0$$ for all irrationals $α$. Despite its simple formulation, the question has remained unanswered. It was shown by Lubinsky in 1999 that the answer is yes if $α$ has unbounded continued fraction coefficients, and it was suggested that the answer is yes in general… ▽ More Nearly 60 years ago, Erdős and Szekeres raised the question of whether $$\liminf_{N\to \infty} \prod_{r=1}^N \left| 2\sin πr α\right| =0$$ for all irrationals $α$. Despite its simple formulation, the question has remained unanswered. It was shown by Lubinsky in 1999 that the answer is yes if $α$ 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 πr \varphi \right| >0 ,$$ providing a negative answer to this long-standing open problem. △ Less

Submitted 11 May, 2023; v1 submitted 4 October, 2018; originally announced October 2018.

Comments: We were recently made aware that a first proof of our main result is given in Paul Verschueren's PhD thesis from 2016. An addendum and citation have been added

MSC Class: 26D05; 41A60; 11B39 (primary); 11L15; 11K31 (secondary)

Asymptotic behaviour of the Sudler product of sines for quadratic irrationals

Authors: Sigrid Grepstad, Mario Neumüller

Abstract: We study the asymptotic behaviour of the sequence of sine products $P_n(α) = \prod_{r=1}^n |2\sin πr α|$ for real quadratic irrationals $α$. In particular, we study the subsequence $Q_n(α)=\prod_{r=1}^{q_n} |2\sin πr α|$, where $q_n$ is the $n$th best approximation denominator of $α$, and show that this subsequence converges to a periodic sequence whose period equals that of the continued fraction… ▽ More We study the asymptotic behaviour of the sequence of sine products $P_n(α) = \prod_{r=1}^n |2\sin πr α|$ for real quadratic irrationals $α$. In particular, we study the subsequence $Q_n(α)=\prod_{r=1}^{q_n} |2\sin πr α|$, where $q_n$ is the $n$th best approximation denominator of $α$, and show that this subsequence converges to a periodic sequence whose period equals that of the continued fraction expansion of $α$. This verifies a conjecture recently posed by Mestel and Verschueren. △ Less

Submitted 29 January, 2018; originally announced January 2018.

MSC Class: 11J70; 41A60

On pair correlation and discrepancy

Authors: Sigrid Grepstad, Gerhard Larcher

Abstract: 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… ▽ More 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)$. △ Less

Submitted 20 June, 2017; v1 submitted 23 December, 2016; originally announced December 2016.

Comments: To appear in Archiv der Mathematik

Sets of bounded remainder for the continuous irrational rotation on $[0,1)^2$

Authors: Sigrid Grepstad, Gerhard Larcher

Abstract: We study sets of bounded remainder for the two-dimensional continuous irrational rotation $(\{x_1+t\}, \{x_2+tα\})_{t \geq 0}$ in the unit square. In particular, we show that for almost all $α$ and every starting point $(x_1, x_2)$, every polygon $S$ with no edge of slope $α$ is a set of bounded remainder. Moreover, every convex set $S$ whose boundary is twice continuously differentiable with posi… ▽ More We study sets of bounded remainder for the two-dimensional continuous irrational rotation $(\{x_1+t\}, \{x_2+tα\})_{t \geq 0}$ in the unit square. In particular, we show that for almost all $α$ and every starting point $(x_1, x_2)$, every polygon $S$ with no edge of slope $α$ is a set of bounded remainder. Moreover, every convex set $S$ whose boundary is twice continuously differentiable with positive curvature at every point is a bounded remainder set for almost all $α$ and every starting point $(x_1, x_2)$. Finally we show that these assertions are, in some sense, best possible. △ Less

Submitted 1 March, 2016; originally announced March 2016.

MSC Class: 11K38; 11J71

Spectra for cubes in products of finite cyclic groups

Authors: Elona Agora, Sigrid Grepstad, Mihail N. Kolountzakis

Abstract: We consider "cubes" in products of finite cyclic groups and we study their tiling and spectral properties. (A set in a finite group is called a tile if some of its translates form a partition of the group and is called spectral if it admits an orhogonal basis of characters for the functions supported on the set.) We show an analog of a theorem due to Iosevich and Pedersen, Lagarias, Reeds and Wang… ▽ More We consider "cubes" in products of finite cyclic groups and we study their tiling and spectral properties. (A set in a finite group is called a tile if some of its translates form a partition of the group and is called spectral if it admits an orhogonal basis of characters for the functions supported on the set.) We show an analog of a theorem due to Iosevich and Pedersen, Lagarias, Reeds and Wang, and the third author of this paper, which identified the tiling complements of the unit cube in Euclidean space with the spectra of the same cube. △ Less

Submitted 9 February, 2016; originally announced February 2016.

Comments: 8 pages

Riesz bases, Meyer's quasicrystals, and bounded remainder sets

Authors: Sigrid Grepstad, Nir Lev

Abstract: We consider systems of exponentials with frequencies belonging to simple quasicrystals in $\mathbb{R}^d$. We ask if there exist domains $S$ in $\mathbb{R}^d$ which admit such a system as a Riesz basis for the space $L^2(S)$. We prove that the answer depends on an arithmetical condition on the quasicrystal. The proof is based on the connection of the problem to the discrepancy of multi-dimensional… ▽ More We consider systems of exponentials with frequencies belonging to simple quasicrystals in $\mathbb{R}^d$. We ask if there exist domains $S$ in $\mathbb{R}^d$ which admit such a system as a Riesz basis for the space $L^2(S)$. We prove that the answer depends on an arithmetical condition on the quasicrystal. The proof is based on the connection of the problem to the discrepancy of multi-dimensional irrational rotations, and specifically, to the theory of bounded remainder sets. In particular it is shown that any bounded remainder set admits a Riesz basis of exponentials. This extends to several dimensions (and to the non-periodic setting) the results obtained earlier in dimension one. △ Less

Submitted 16 December, 2016; v1 submitted 1 February, 2016; originally announced February 2016.

Comments: To appear in Transactions of the AMS

MSC Class: 42C15; 52C23; 11K38

Sets of bounded discrepancy for multi-dimensional irrational rotation

Authors: Sigrid Grepstad, Nir Lev

Abstract: 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… ▽ More 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. △ Less

Submitted 22 October, 2014; v1 submitted 1 April, 2014; originally announced April 2014.

Comments: To appear in Geometric And Functional Analysis

MSC Class: 11K38; 11J71; 52B45

Multi-tiling and Riesz bases

Authors: Sigrid Grepstad, Nir Lev

Abstract: Let S be a bounded, Riemann measurable set in R^d, and L be a lattice. By a theorem of Fuglede, if S tiles R^d with translation set L, then S has an orthogonal basis of exponentials. We show that, under the more general condition that S multi-tiles R^d with translation set L, S has a Riesz basis of exponentials. The proof is based on Meyer's quasicrystals. Let S be a bounded, Riemann measurable set in R^d, and L be a lattice. By a theorem of Fuglede, if S tiles R^d with translation set L, then S has an orthogonal basis of exponentials. We show that, under the more general condition that S multi-tiles R^d with translation set L, S has a Riesz basis of exponentials. The proof is based on Meyer's quasicrystals. △ Less

Submitted 20 November, 2013; v1 submitted 19 December, 2012; originally announced December 2012.

Journal ref: Advances in Mathematics, Vol. 252, p. 1-6, 2014