Showing 1–50 of 51 results for author: Sanders, T

Cohomological supports of tensor products of modules over commutative rings

Authors: Srikanth B. Iyengar, Josh Pollitz, William T. Sanders

Abstract: This works concerns cohomological support varieties of modules over commutative local rings. The main result is that the support of a derived tensor product of a pair of differential graded modules over a Koszul complex is the join of the supports of the modules. This generalizes, and gives another proof of, a result of Dao and the third author dealing with Tor-independent modules over complete in… ▽ More This works concerns cohomological support varieties of modules over commutative local rings. The main result is that the support of a derived tensor product of a pair of differential graded modules over a Koszul complex is the join of the supports of the modules. This generalizes, and gives another proof of, a result of Dao and the third author dealing with Tor-independent modules over complete intersection rings. The result for Koszul complexes has a broader applicability, including to exterior algebras over local rings. △ Less

Submitted 14 March, 2022; originally announced March 2022.

Comments: 15 pages. To appear in Res Math Sci

MSC Class: 13D02; 16E45 (primary); 13D07; 13H10 (secondary)

Fixed Point Iterations for SURE-based PSF Estimation for Image Deconvolution

Authors: Toby Sanders

Abstract: Stein's unbiased risk estimator (SURE) has been shown to be an effective metric for determining optimal parameters for many applications. The topic of this article is focused on the use of SURE for determining parameters for blind deconvolution. The parameters include those that define the shape of the point spread function (PSF), as well as regularization parameters in the deconvolution formulas.… ▽ More Stein's unbiased risk estimator (SURE) has been shown to be an effective metric for determining optimal parameters for many applications. The topic of this article is focused on the use of SURE for determining parameters for blind deconvolution. The parameters include those that define the shape of the point spread function (PSF), as well as regularization parameters in the deconvolution formulas. Within this context, the optimal parameters are typically determined via a brute for search over the feasible parameter space. When multiple parameters are involved, this parameter search is prohibitively costly due to the curse of dimensionality. In this work, novel fixed point iterations are proposed for optimizing these parameters, which allows for rapid estimation of a relatively large number of parameters. We demonstrate that with some mild tuning of the optimization parameters, these fixed point methods typically converge to the ideal PSF parameters in relatively few iterations, e.g. 50-100, with each iteration requiring very low computational cost. △ Less

Submitted 26 February, 2022; originally announced February 2022.

New Computational Techniques for a Faster Variation of BM3D Image Denoising

Authors: Toby Sanders, Sean Larkin

Abstract: BM3D has been considered the standard for comparison in the image denoising literature for the last decade. Though it has been shown to be surpassed numerous times by alternative algorithms in terms of PSNR, the margins are very thin, and denoising is approaching a limiting point. The reason for the continued use of BM3D within the literature is due to its off-the-shelf ease-of-use in any applicat… ▽ More BM3D has been considered the standard for comparison in the image denoising literature for the last decade. Though it has been shown to be surpassed numerous times by alternative algorithms in terms of PSNR, the margins are very thin, and denoising is approaching a limiting point. The reason for the continued use of BM3D within the literature is due to its off-the-shelf ease-of-use in any application, which alternative improved denoising algorithms sometimes fail to match. This article proposes a new variation of BM3D, which maintains its ease of use but is notably faster. This development brings us closer to real-time ease-of-use application of new state-of-the-art image reconstruction algorithms such as plug-and-play priors. We refer to our variation of BM3D as G-BM3D. In terms of image quality, our algorithm attains very similar denoising performance to the original algorithm. Though our algorithm is written completely in MATLAB software, it is already between 5-20 times faster than the original algorithm, and the modifications to the algorithm are such that it is expected to be significantly faster when ported to CUDA language and with more powerful GPUs. The improved processing time is achieved by two main components. The first component is a new computational strategy that achieves faster block matching, and the second is a new global approach to the 3D wavelet filtering step that allows for significantly improved processing times on GPUs. The fast block matching strategy could also be applied to any of the vast number of nonlocal self-similarity (NSS) denoisers to improve processing times. △ Less

Submitted 28 February, 2022; v1 submitted 17 March, 2021; originally announced March 2021.

On monochromatic solutions to $x-y=z^2$

Authors: Tom Sanders

Abstract: For $k \in \mathbb{N}$, write $S(k)$ for the largest natural number such that there is a $k$-colouring of $\{1,\dots,S(k)\}$ with no monochromatic solution to $x-y=z^2$. That $S(k)$ exists is a result of Bergelson, and a simple example shows that $S(k) \geq 2^{2^{k-1}}$. The purpose of this note is to show that $S(k)\leq 2^{2^{2^{O(k)}}}$. For $k \in \mathbb{N}$, write $S(k)$ for the largest natural number such that there is a $k$-colouring of $\{1,\dots,S(k)\}$ with no monochromatic solution to $x-y=z^2$. That $S(k)$ exists is a result of Bergelson, and a simple example shows that $S(k) \geq 2^{2^{k-1}}$. The purpose of this note is to show that $S(k)\leq 2^{2^{2^{O(k)}}}$. △ Less

Submitted 17 August, 2020; originally announced August 2020.

Comments: 6pp; for Endre Szemeredi's 80th Birthday volume

Journal ref: Acta Math. Hungar. 161 (2020), no. 2, 550-556

Fourier Analysis, Computing, and Image Formation for Spotlight Synthetic Aperture Radar

Authors: Toby Sanders, Christian Dwyer, Rodrigo B. Platte

Abstract: This article is written to serve as an introduction and survey of imaging with synthetic aperture radar (SAR). The reader will benefit from having some familiarity with harmonic analysis, electromagnetic radiation, and inverse problems. After an overview of the SAR problem and some main concepts, the SAR imaging problem is contextualized in terms of classical harmonic analysis. Within this context… ▽ More This article is written to serve as an introduction and survey of imaging with synthetic aperture radar (SAR). The reader will benefit from having some familiarity with harmonic analysis, electromagnetic radiation, and inverse problems. After an overview of the SAR problem and some main concepts, the SAR imaging problem is contextualized in terms of classical harmonic analysis. Within this context, we consider partial Fourier sums of off-centered Fourier data and correspondingly the convolutional kernels resulting from conventional SAR image formation techniques. Following this, we revisit imaging of random complex signals from frequency data as in SAR, providing simpler derivations of some previous results and extending these ideas to the continuous setting. These concepts are tied in with the derived convolutional kernels, and it is deduced how good an image approximation is when it is obtained from only a small band of high frequency Fourier coefficients. Finally, regularization methods are presented to improve the quality of SAR images. Corresponding MATLAB software is made available for reproducibility of most figures and to facilitate further exploration of the methods presented here. △ Less

Submitted 22 October, 2019; originally announced October 2019.

Bootstrapping partition regularity of linear systems

Authors: Tom Sanders

Abstract: Suppose that $A$ is a $k \times d$ matrix of integers and write $\mathfrak{R}_A:\mathbb{N} \rightarrow \mathbb{N}\cup \{ \infty\}$ for the function taking $r$ to the largest $N$ such that there is an $r$-colouring $\mathcal{C}$ of $[N]$ with $\bigcup_{C \in \mathcal{C}}{C^d}\cap \ker A =\emptyset$. We show that if $\mathfrak{R}_A(r)<\infty$ for all $r \in \mathbb{N}$ then… ▽ More Suppose that $A$ is a $k \times d$ matrix of integers and write $\mathfrak{R}_A:\mathbb{N} \rightarrow \mathbb{N}\cup \{ \infty\}$ for the function taking $r$ to the largest $N$ such that there is an $r$-colouring $\mathcal{C}$ of $[N]$ with $\bigcup_{C \in \mathcal{C}}{C^d}\cap \ker A =\emptyset$. We show that if $\mathfrak{R}_A(r)<\infty$ for all $r \in \mathbb{N}$ then $\mathfrak{R}_A(r) \leq \exp (\exp(r^{O_{A}(1)}))$ for all $r \geq 2$. When the kernel of $A$ consists only of Brauer configurations -- that is vectors of the form $(y,x,x+y,\dots,x+(d-2)y)$ -- the above has been proved by Chapman and Prendiville with good bounds on the $O_A(1)$ term. △ Less

Submitted 15 November, 2019; v1 submitted 16 April, 2019; originally announced April 2019.

Comments: 23 pp; corrections and an additional explanatory example from a referee

Journal ref: Proceedings of the Edinburgh Mathematical Society 63 (2020) 630-653

On inequivalences of sequences of characters

Authors: Tom Sanders

Abstract: We establish various results including the following: if $1<p<\infty$ and $σ$ is a bijection between the trigonometric functions on $[0,1)$ and the Walsh functions on $[0,1)$. Then $σ$ does not extend to an isomorphism $L_p[0,1) \rightarrow L_p[0,1)$. We establish various results including the following: if $1<p<\infty$ and $σ$ is a bijection between the trigonometric functions on $[0,1)$ and the Walsh functions on $[0,1)$. Then $σ$ does not extend to an isomorphism $L_p[0,1) \rightarrow L_p[0,1)$. △ Less

Submitted 17 August, 2020; v1 submitted 10 January, 2019; originally announced January 2019.

Comments: 11 pp; corrected errors including an error in the second application which now leads to weaker bounds. Details are given at the end of the paper

Journal ref: Studia Mathematica 2020

Schur's colouring theorem for non-commuting pairs

Authors: Tom Sanders

Abstract: For G a finite non-Abelian group we write c(G) for the probability that two randomly chosen elements commute and k(G) for the largest integer such that any k(G)-colouring of G is guaranteed to contain a monochromatic quadruple (x,y,xy,yx) with xy not equal to yx. We show that c(G) tends to 0 if and only if k(G) tends to infinity. For G a finite non-Abelian group we write c(G) for the probability that two randomly chosen elements commute and k(G) for the largest integer such that any k(G)-colouring of G is guaranteed to contain a monochromatic quadruple (x,y,xy,yx) with xy not equal to yx. We show that c(G) tends to 0 if and only if k(G) tends to infinity. △ Less

Submitted 7 November, 2019; v1 submitted 7 January, 2019; originally announced January 2019.

Comments: 7pp; corrected typos

Journal ref: Bull. Aust. Math. Soc. 100 (2019), no. 3, 446-452

Effective New Methods for Automated Parameter Selection in Regularized Inverse Problems

Authors: Toby Sanders, Rodrigo B. Platte, Robert D. Skeel

Abstract: The choice of the parameter value for regularized inverse problems is critical to the results and remains a topic of interest. This article explores a criterion for selecting a good parameter value by maximizing the probability of the data, {with no prior knowledge of the noise variance}. These concepts are developed for $\ell_2$ and consequently $\ell_1$ regularization models by way of their Baye… ▽ More The choice of the parameter value for regularized inverse problems is critical to the results and remains a topic of interest. This article explores a criterion for selecting a good parameter value by maximizing the probability of the data, {with no prior knowledge of the noise variance}. These concepts are developed for $\ell_2$ and consequently $\ell_1$ regularization models by way of their Bayesian interpretations. Based on these concepts, an iterative scheme is proposed and demonstrated to converge accurately, and analytical convergence results are provided that substantiate these empirical observations. For some of the most common inverse problems, including MRI, SAR, denoising, and deconvolution, an extremely efficient algorithm is derived, making the iterative scheme very attractive for real case use. The computational concerns associated with the general case for any inverse problem are also carefully addressed. A robust set of 1D and 2D numerical simulations confirm the effectiveness of the proposed approach. △ Less

Submitted 8 February, 2020; v1 submitted 29 December, 2018; originally announced December 2018.

The stability of finite sets in dyadic groups

Authors: Tom Sanders

Abstract: We show that there is an absolute $c>0$ such that any subset of $\mathbb{F}_2^\infty$ of size $N$ is $O(N^{1-c})$-stable in the sense of Terry and Wolf. By contrast a size $N$ arithmetic progression in the integers is not $N$-stable. We show that there is an absolute $c>0$ such that any subset of $\mathbb{F}_2^\infty$ of size $N$ is $O(N^{1-c})$-stable in the sense of Terry and Wolf. By contrast a size $N$ arithmetic progression in the integers is not $N$-stable. △ Less

Submitted 6 August, 2019; v1 submitted 1 November, 2018; originally announced November 2018.

Comments: 9 pp; corrected some errors and expanded the introduction

Journal ref: Acta Arith. 192 (2020), no. 2, 155-164

The coset and stability rings

Authors: Tom Sanders

Abstract: We show that if $G$ is a discrete Abelian group and $A \subset G$ has $\|1_A\|_{B(G)} \leq M$ then $A$ is $O(\exp(πM))$-stable in the sense of Terry and Wolf. We show that if $G$ is a discrete Abelian group and $A \subset G$ has $\|1_A\|_{B(G)} \leq M$ then $A$ is $O(\exp(πM))$-stable in the sense of Terry and Wolf. △ Less

Submitted 9 December, 2019; v1 submitted 24 October, 2018; originally announced October 2018.

Comments: 9pp; corrections and improvements following report by referee

Journal ref: Online J. Anal. Comb. No. 15 (2020)

Coset decision trees and the Fourier algebra

Authors: Tom Sanders

Abstract: We show that if G is a finite group and f is a {0,1}-valued function on G with Fourier algebra norm at most M then f may be computed by a coset decision tree (that is a decision tree in which at each vertex we query membership of a given coset) having at most \exp(\exp(\exp(O(M^2)))) leaves. A short calculation shows that any {0,1}-valued function which may be computed by a coset decision tree wit… ▽ More We show that if G is a finite group and f is a {0,1}-valued function on G with Fourier algebra norm at most M then f may be computed by a coset decision tree (that is a decision tree in which at each vertex we query membership of a given coset) having at most \exp(\exp(\exp(O(M^2)))) leaves. A short calculation shows that any {0,1}-valued function which may be computed by a coset decision tree with m leaves has Fourier algebra norm at most \exp(O(m)). △ Less

Submitted 6 November, 2019; v1 submitted 6 May, 2018; originally announced May 2018.

Comments: 28pp; corrections and typos

Boolean functions with small spectral norm, revisited

Authors: Tom Sanders

Abstract: We show that if $f$ is an integer-valued function with spectral norm at most $M$ then there are subspaces $V_1,\dots,V_L$ and signs $σ_1,\dots,σ_L \in \{-1,1\}$ such that $f=σ_1 1_{V_1} + \dots + σ_L 1_{V_L}$ where $L < \exp(M^{3+o(1)})$. This note extracts out the argument from arXiv:1610.07092 to the model setting of $\mathbb{F}_2^n$. The hope is that it will clarify the arguments of that pape… ▽ More We show that if $f$ is an integer-valued function with spectral norm at most $M$ then there are subspaces $V_1,\dots,V_L$ and signs $σ_1,\dots,σ_L \in \{-1,1\}$ such that $f=σ_1 1_{V_1} + \dots + σ_L 1_{V_L}$ where $L < \exp(M^{3+o(1)})$. This note extracts out the argument from arXiv:1610.07092 to the model setting of $\mathbb{F}_2^n$. The hope is that it will clarify the arguments of that paper. △ Less

Submitted 5 February, 2019; v1 submitted 11 April, 2018; originally announced April 2018.

Comments: 11 pp, corrected some errors

Journal ref: Math. Proc. Camb. Phil. Soc. 167 (2019) 335-344

The Erdos-Moser sum-free set problem

Authors: Tom Sanders

Abstract: We show that if A is a finite set of integers then it has a subset S of size \log^{1+c} |A| (c>0 absolute) such that s+s' is never in A when s and s' are distinct elements of S. We show that if A is a finite set of integers then it has a subset S of size \log^{1+c} |A| (c>0 absolute) such that s+s' is never in A when s and s' are distinct elements of S. △ Less

Submitted 31 July, 2019; v1 submitted 10 April, 2018; originally announced April 2018.

Comments: 47 pages. Corrections and clarifications

Journal ref: Canad. J. Math. 2019

Almost homomorphisms between the Boolean cube and groups of prime order

Authors: Tom Sanders

Abstract: We show that if f is an injection from an n-dimensional Boolean cube (considered as an additive group) to a group of prime order then the probability that f(x+y)=f(x)+f(y) is O(2^{-n/11}). We show that if f is an injection from an n-dimensional Boolean cube (considered as an additive group) to a group of prime order then the probability that f(x+y)=f(x)+f(y) is O(2^{-n/11}). △ Less

Submitted 5 May, 2018; v1 submitted 9 April, 2018; originally announced April 2018.

Comments: 7 pages, added an example to section 2, corrected some errors

Journal ref: Online J. Anal. Comb. No. 13 (2018)

Phase Based Alignment and Improved Projection Matching of Parallel Beam Tomography Data

Authors: Toby Sanders

Abstract: Tomography is an imaging technique that works by reconstructing a scene from acquired data in the form of line integrals of the imaging domain. A fundamental underlying assumption in the reconstruction procedure is the precise alignment of the data values, i.e. the relationship between the data values and the paths of the lines of integration is accurately known. In many applications, e.g. electro… ▽ More Tomography is an imaging technique that works by reconstructing a scene from acquired data in the form of line integrals of the imaging domain. A fundamental underlying assumption in the reconstruction procedure is the precise alignment of the data values, i.e. the relationship between the data values and the paths of the lines of integration is accurately known. In many applications, e.g. electron and X-ray tomography, it is necessary to establish this relationship using software alignment techniques or image registration due to misalignment when rotating the physical specimen. Unfortunately, highly accurate software alignment is still a challenge to achieve in many cases, and improper alignment results in severe loss in the imaging resolution. In this article, we develop a new approach that considers the alignment problem through a completely different lens, as a problem of recovering phase shifts in Fourier domain {within} the reconstruction algorithm. The recovery of these phase shifts serves as the data alignment, which is done by calculating discrepancies between the misaligned data and the current reconstruction. In the development of the approach, we investigate proper selection of parameters, and we show that it is fairly flexible and surprisingly accurate. Finally, the analysis of our approach provides insight into why projection matching alignment by cross-correlation can be improved through low pass filtering, which we demonstrate. Our methods are validated in a wide range of examples and settings. △ Less

Submitted 11 July, 2018; v1 submitted 2 March, 2018; originally announced March 2018.

Support and vanishing for non-Noetherian rings and tensor triangulated categories

Authors: William T. Sanders

Abstract: We define and characterise small support for complexes over non-Noetherian rings and in this context prove a vanishing theorem for modules. Our definition of support makes sense for any rigidly compactly generated tensor triangulated category. Working in this generality, we establish basic properties of support and investigate when it detects vanishing. We use pointless topology to relate support,… ▽ More We define and characterise small support for complexes over non-Noetherian rings and in this context prove a vanishing theorem for modules. Our definition of support makes sense for any rigidly compactly generated tensor triangulated category. Working in this generality, we establish basic properties of support and investigate when it detects vanishing. We use pointless topology to relate support, the topology of the Balmer spectrum, and the structure of the idempotent Bousfield lattice. △ Less

Submitted 27 October, 2017; originally announced October 2017.

Multiscale Higher Order TV Operators for L1 Regularization

Authors: Toby Sanders, Rodrigo B. Platte

Abstract: In the realm of signal and image denoising and reconstruction, $\ell_1$ regularization techniques have generated a great deal of attention with a multitude of variants. A key component for their success is that under certain assumptions, the solution of minimum $\ell_1$ norm is a good approximation to the solution of minimum $\ell_0$ norm. In this work, we demonstrate that this approximation can r… ▽ More In the realm of signal and image denoising and reconstruction, $\ell_1$ regularization techniques have generated a great deal of attention with a multitude of variants. A key component for their success is that under certain assumptions, the solution of minimum $\ell_1$ norm is a good approximation to the solution of minimum $\ell_0$ norm. In this work, we demonstrate that this approximation can result in artifacts that are inconsistent with desired sparsity promoting $\ell_0$ properties, resulting in subpar results in {some} instances. With this as our motivation, we develop a multiscale higher order total variation (MHOTV) approach, which we show is related to the use of multiscale Daubechies wavelets. We also develop the tools necessary for MHOTV computations to be performed efficiently, via operator decomposition and alternatively converting the problem into Fourier space. The relationship of higher order regularization methods with wavelets, which we believe has generally gone unrecognized, is shown to hold in several numerical results, although notable improvements are seen with our approach over both wavelets and classical HOTV. △ Less

Submitted 28 March, 2018; v1 submitted 4 March, 2017; originally announced March 2017.

Solving xz=yy in certain subsets of finite groups

Authors: Tom Sanders

Abstract: We show that if G is a finite group and A is a subset of G with no non-trivial solutions to xz=yy then |A| < |G|/(log log |G|)^c. We show that if G is a finite group and A is a subset of G with no non-trivial solutions to xz=yy then |A| < |G|/(log log |G|)^c. △ Less

Submitted 17 November, 2016; originally announced November 2016.

Comments: 27pp

Journal ref: Q. J. Math. 68 (2017), no. 1, 243-273

A statistical approach to covering lemmas

Authors: Tom Sanders

Abstract: We discuss a statistical variant of Ruzsa's covering lemma and use it to show that if G is an Abelian group of bounded exponent and A in G has |A+A| < K|A| then the subgroup generated by A has size at most exp(O(K log^22K))|A|, where the constant in the big-O depends on the exponent of the group only. We discuss a statistical variant of Ruzsa's covering lemma and use it to show that if G is an Abelian group of bounded exponent and A in G has |A+A| < K|A| then the subgroup generated by A has size at most exp(O(K log^22K))|A|, where the constant in the big-O depends on the exponent of the group only. △ Less

Submitted 22 October, 2016; originally announced October 2016.

Comments: 18pp

Journal ref: Eur. J. Comb. 48 (2015), 19-33

Bounds in Cohen's idempotent theorem

Authors: Tom Sanders

Abstract: We show that if $G$ is a finite Abelian group and $f$ is an integer-valued map on $G$ with algebra norm at most $M$ then there is some $L < \exp(M^{4+o(1)})$, cosets of (possibly different) subgroups $W_1,...,W_L$, and $s_1,...,s_L \in \{-1,1\}$ such that $f=\sum_i{s_i1_{W_i}}$. We show that if $G$ is a finite Abelian group and $f$ is an integer-valued map on $G$ with algebra norm at most $M$ then there is some $L < \exp(M^{4+o(1)})$, cosets of (possibly different) subgroups $W_1,...,W_L$, and $s_1,...,s_L \in \{-1,1\}$ such that $f=\sum_i{s_i1_{W_i}}$. △ Less

Submitted 17 August, 2020; v1 submitted 22 October, 2016; originally announced October 2016.

Comments: 55pp; corrected arXiv title

Journal ref: J. Fourier Anal. Appl. 26, no. 2, paper no. 25 (2020)

Recovering Fine Details from Under-Resolved Electron Tomography Data using HOTV Regularization

Authors: Toby Sanders, Anne Gelb, Rodrigo Platte, Ilke Arslan, Kai Landskron

Abstract: Over the last decade or so, reconstruction methods using $\ell_1$ regularization, often categorized as compressed sensing (CS) algorithms, have significantly improved the capabilities of high fidelity imaging in electron tomography. The most popular $\ell_1$ regularization approach within electron tomography has been total variation (TV) regularization. In addition to reducing unwanted noise, TV r… ▽ More Over the last decade or so, reconstruction methods using $\ell_1$ regularization, often categorized as compressed sensing (CS) algorithms, have significantly improved the capabilities of high fidelity imaging in electron tomography. The most popular $\ell_1$ regularization approach within electron tomography has been total variation (TV) regularization. In addition to reducing unwanted noise, TV regularization encourages a piecewise constant solution with sparse boundary regions. In this paper we propose an alternative $\ell_1$ regularization approach for electron tomography based on higher order total variation (HOTV). Like TV, the HOTV approach promotes solutions with sparse boundary regions. In smooth regions however, the solution is not limited to piecewise constant behavior. We demonstrate that this allows for more accurate reconstruction of a broader class of images -- even those for which TV was designed for -- particularly when dealing with pragmatic tomographic sampling patterns and very fine image features. We develop results for an electron tomography data set as well as a phantom example, and we also make comparisons with discrete tomography approaches. △ Less

Submitted 5 March, 2017; v1 submitted 16 August, 2016; originally announced August 2016.

Parameter Selection for HOTV Regularization

Authors: Toby Sanders

Abstract: Popular methods for finding regularized solutions to inverse problems include sparsity promoting $\ell_1$ regularization techniques, one in particular which is the well known total variation (TV) regularization. More recently, several higher order (HO) methods similar to TV have been proposed, which we generally refer to as HOTV methods. In this letter, we investigate problem of the often debated… ▽ More Popular methods for finding regularized solutions to inverse problems include sparsity promoting $\ell_1$ regularization techniques, one in particular which is the well known total variation (TV) regularization. More recently, several higher order (HO) methods similar to TV have been proposed, which we generally refer to as HOTV methods. In this letter, we investigate problem of the often debated selection of $λ$, the parameter used to carefully balance the interplay between data fitting and regularization terms. We theoretically argue for a scaling of the parameter that works for all orders for HOTV methods, based off of a single selection of the parameter for any one of the orders. We also provide numerical results which justify our theoretical findings. △ Less

Submitted 20 March, 2017; v1 submitted 16 August, 2016; originally announced August 2016.

Fourier uniformity on subspaces

Authors: Ben Green, Tom Sanders

Abstract: Let $\mathbb{F}$ be a fixed finite field, and let $A \subset \mathbb{F}^n$. It is a well-known fact that there is a subspace $V \leq \mathbb{F}^n$, $\mbox{codim} V \ll_δ 1$, and an $x$, such that $A$ is $δ$-uniform when restricted to $x + V$ (that is, all non-trivial Fourier coefficients of $A$ restricted to $x + V$ have magnitude at most $δ$). We show that if $\mathbb{F} = \mathbb{F}_2$ then it i… ▽ More Let $\mathbb{F}$ be a fixed finite field, and let $A \subset \mathbb{F}^n$. It is a well-known fact that there is a subspace $V \leq \mathbb{F}^n$, $\mbox{codim} V \ll_δ 1$, and an $x$, such that $A$ is $δ$-uniform when restricted to $x + V$ (that is, all non-trivial Fourier coefficients of $A$ restricted to $x + V$ have magnitude at most $δ$). We show that if $\mathbb{F} = \mathbb{F}_2$ then it is possible to take $x = 0$; that is, $A$ is $δ$-uniform on a subspace $V \leq \mathbb{F}^n$. We give an example to show that this is not necessarily possible when $\mathbb{F} = \mathbb{F}_3$. ADDED July 2016: shortly after this paper appeared on the arxiv, F. Manners showed us a rather short argument he had found in 2013, giving a better bound for our main theorem. We do not, therefore, intend to publish this note. The example over $\mathbb{F}_3$ may still be of interest to some readers and so we will not withdraw the paper from the arxiv. △ Less

Submitted 22 July, 2016; v1 submitted 29 October, 2015; originally announced October 2015.

Comments: 4 pages

Monochromatic sums and products

Authors: Ben Green, Tom Sanders

Abstract: Suppose that $\mathbb{F}_p$ is coloured with $r$ colours. Then there is some colour class containing at least $c_r p^2$ quadruples of the form $(x, y , x + y, xy)$. Suppose that $\mathbb{F}_p$ is coloured with $r$ colours. Then there is some colour class containing at least $c_r p^2$ quadruples of the form $(x, y , x + y, xy)$. △ Less

Submitted 13 January, 2017; v1 submitted 29 October, 2015; originally announced October 2015.

Comments: 48 pages, accepted for publication in Discrete Analysis. Second version has minor changes arising from the referee report. Third version updated to DAJ format. in Discrete Analysis 2016:5

Journal ref: Discrete Anal. 2016, Paper No. 5, 43 pp

The structure theory of set addition revisited

Authors: Tom Sanders

Abstract: In this article we survey some of the recent developments in the structure theory of set addition. In this article we survey some of the recent developments in the structure theory of set addition. △ Less

Submitted 3 December, 2012; originally announced December 2012.

Comments: 38pp

Journal ref: Bull. Amer. Math. Soc. 50 (2013), 93-127

An analytic approach to a weak non-Abelian Kneser-type theorem

Authors: Tom Sanders

Abstract: We prove the following result due to Hamidoune using an analytic approach. Suppose that A is a subset of a finite group G with |AA^{-1}| \leq (2-\varepsilon)|A|. Then there is a subgroup H of G and a set X of size O_\varepsilon(1) such that A \subset XH. We prove the following result due to Hamidoune using an analytic approach. Suppose that A is a subset of a finite group G with |AA^{-1}| \leq (2-\varepsilon)|A|. Then there is a subgroup H of G and a set X of size O_\varepsilon(1) such that A \subset XH. △ Less

Submitted 3 December, 2012; originally announced December 2012.

Comments: 6pp

Approximate (Abelian) groups

Authors: Tom Sanders

Abstract: ECM survey article discussing the structure of subsets of Abelian groups which behave `a bit like' cosets (of subgroups). ECM survey article discussing the structure of subsets of Abelian groups which behave `a bit like' cosets (of subgroups). △ Less

Submitted 3 December, 2012; originally announced December 2012.

Comments: 14pp

Journal ref: European Congress of Mathematics, 675-689, Eur. Math. Soc., Zürich, 2013

On the Bogolyubov-Ruzsa lemma

Authors: Tom Sanders

Abstract: Our main result is that if A is a finite subset of an abelian group with |A+A| < K|A|, then 2A-2A contains an O(log^{O(1)} K)-dimensional coset progression M of size at least exp(-O(log^{O(1)} K))|A|. Our main result is that if A is a finite subset of an abelian group with |A+A| < K|A|, then 2A-2A contains an O(log^{O(1)} K)-dimensional coset progression M of size at least exp(-O(log^{O(1)} K))|A|. △ Less

Submitted 3 December, 2012; v1 submitted 30 October, 2010; originally announced November 2010.

Comments: 28 pp. Corrected typos. Added appendix on model setting

Journal ref: Anal. PDE 5 (2012), no. 3, 627-655

On Roth's theorem on progressions

Authors: Tom Sanders

Abstract: We show that if A is a subset of {1,...,N} contains no non-trivial three-term arithmetic progressions then |A|=O(N/ log^{1-o(1)} N). The approach is somewhat different from that used in arXiv:1007.5444. We show that if A is a subset of {1,...,N} contains no non-trivial three-term arithmetic progressions then |A|=O(N/ log^{1-o(1)} N). The approach is somewhat different from that used in arXiv:1007.5444. △ Less

Submitted 30 May, 2011; v1 submitted 30 October, 2010; originally announced November 2010.

Comments: 16 pp. Corrected the proof of the Croot-Sisask Lemma. Corrected typos. Updated references

Journal ref: Ann. of Math. (2) 174 (2011), no. 1, 619-636

On certain other sets of integers

Authors: Tom Sanders

Abstract: We show that if A is a subset of {1,...,N} containing no non-trivial three-term arithmetic progressions then |A|=O(N/ log^{3/4-o(1)} N). We show that if A is a subset of {1,...,N} containing no non-trivial three-term arithmetic progressions then |A|=O(N/ log^{3/4-o(1)} N). △ Less

Submitted 31 January, 2011; v1 submitted 30 July, 2010; originally announced July 2010.

Comments: 29 pp. Corrected typos. Added definitions for some non-standard notation and remarks on lower bounds

Journal ref: J. Anal. Math. 116 (2012), 53-82

Green's sumset problem at density one half

Authors: Tom Sanders

Abstract: We investigate the size of subspaces in sumsets and show two main results. First, if A is a subset of F_2^n with density at least 1/2 - o(n^{-1/2}) then A+A contains a subspace of co-dimension 1. Secondly, if A is a subset of F_2^n with density at least 1/2-o(1) then A+A contains a subspace of co-dimension o(n). We investigate the size of subspaces in sumsets and show two main results. First, if A is a subset of F_2^n with density at least 1/2 - o(n^{-1/2}) then A+A contains a subspace of co-dimension 1. Secondly, if A is a subset of F_2^n with density at least 1/2-o(1) then A+A contains a subspace of co-dimension o(n). △ Less

Submitted 2 December, 2010; v1 submitted 29 March, 2010; originally announced March 2010.

Comments: 10 pp. Corrected typos

Journal ref: Acta Arith. 146 (2011), no. 1, 91-101

Structure in sets with logarithmic doubling

Authors: Tom Sanders

Abstract: Suppose that G is an abelian group, A is a finite subset of G with |A+A|< K|A| and eta in (0,1] is a parameter. Our main result is that there is a set L such that |A cap Span(L)| > K^{-O_eta(1)}|A| and |L| = O(K^eta log |A|). We include an application of this result to a generalisation of the Roth-Meshulam theorem due to Liu and Spencer. Suppose that G is an abelian group, A is a finite subset of G with |A+A|< K|A| and eta in (0,1] is a parameter. Our main result is that there is a set L such that |A cap Span(L)| > K^{-O_eta(1)}|A| and |L| = O(K^eta log |A|). We include an application of this result to a generalisation of the Roth-Meshulam theorem due to Liu and Spencer. △ Less

Submitted 16 February, 2011; v1 submitted 8 February, 2010; originally announced February 2010.

Comments: 13 pp. Slightly refined the proof of Theorem 1.3. Replaced finite fields of characteristic 3 with arbitrary finite fields. Update references. Corrected typos

Journal ref: Canad. Math. Bull. 56 (2013), no. 2, 412-423

A quantitative version of the non-abelian idempotent theorem

Authors: Tom Sanders

Abstract: Suppose that G is a finite group and A is a subset of G such that 1_A has algebra norm at most M. Then 1_A is a plus/minus sum of at most L cosets of subgroups of G, and L can be taken to be triply tower in O(M). This is a quantitative version of the non-abelian idempotent theorem. Suppose that G is a finite group and A is a subset of G such that 1_A has algebra norm at most M. Then 1_A is a plus/minus sum of at most L cosets of subgroups of G, and L can be taken to be triply tower in O(M). This is a quantitative version of the non-abelian idempotent theorem. △ Less

Submitted 10 December, 2010; v1 submitted 1 December, 2009; originally announced December 2009.

Comments: 82 pp. Changed the title from `Indicator functions in the Fourier-Eymard algebra'. Corrected the proof of Lemma 19.1. Expanded the introduction. Corrected typos

Journal ref: Geom. Funct. Anal. 21 (2011), no. 1, 141-221

On a non-abelian Balog-Szemeredi-type lemma

Authors: Tom Sanders

Abstract: We show that if G is a group and A is a finite subset of G with |A^2| < K|A|, then for all k there is a symmetric neighbourhood of the identity S with S^k a subset of A^2A^{-2} and |S| > exp(-K^{O(k)})|A|. We show that if G is a group and A is a finite subset of G with |A^2| < K|A|, then for all k there is a symmetric neighbourhood of the identity S with S^k a subset of A^2A^{-2} and |S| > exp(-K^{O(k)})|A|. △ Less

Submitted 14 October, 2010; v1 submitted 1 December, 2009; originally announced December 2009.

Comments: 5 pp. Corrected typos. Minor revisions

Journal ref: J. Aust. Math. Soc. 89 (2010), no. 1, 127-132

Approximate groups and doubling metrics

Authors: Tom Sanders

Abstract: We develop a version of Freiman's theorem for a class of non-abelian groups, which includes finite nilpotent, supersolvable and solvable A-groups. To do this we have to replace the small doubling hypothesis with a stronger relative polynomial growth hypothesis akin to that in Gromov's theorem (although with an effective range), and the structures we find are balls in (left and right) translation i… ▽ More We develop a version of Freiman's theorem for a class of non-abelian groups, which includes finite nilpotent, supersolvable and solvable A-groups. To do this we have to replace the small doubling hypothesis with a stronger relative polynomial growth hypothesis akin to that in Gromov's theorem (although with an effective range), and the structures we find are balls in (left and right) translation invariant pseudo-metrics with certain well behaved growth estimates. Our work complements three other recent approaches to developing non-abelian versions of Freiman's theorem by Breuillard and Green, Fischer, Katz and Peng, and Tao. △ Less

Submitted 3 December, 2012; v1 submitted 1 December, 2009; originally announced December 2009.

Comments: 21 pp. Corrected typos. Changed title from `From polynomial growth to metric balls in monomial groups'

Journal ref: Math. Proc. Cambridge Philos. Soc. 152 (2012), no. 3, 385-404

Popular difference sets

Authors: Tom Sanders

Abstract: We provide further explanation of the significance of a construction in a recent paper of Wolf [Israel J. Math. 179 (2010), 253-278] in the context of the problem of finding large subspaces in sumsets. We provide further explanation of the significance of a construction in a recent paper of Wolf [Israel J. Math. 179 (2010), 253-278] in the context of the problem of finding large subspaces in sumsets. △ Less

Submitted 26 January, 2011; v1 submitted 31 July, 2008; originally announced July 2008.

Comments: 4pp. Updated references. Corrected typos

Journal ref: Online J. Anal. Comb. No. 5 (2010), Art. 5, 4 pp

Chowla's cosine problem

Authors: Tom Sanders

Abstract: Suppose that G is a discrete abelian group and A is a finite symmetric subset of G. We show two main results. i) Either there is a set H of O(log^c|A|) subgroups of G with |A \triangle \bigcup H| = o(|A|), or there is a character X on G such that -wh{1_A}(X) >> log^c|A|. ii) If G is finite and |A|>> |G| then either there is a subgroup H of G such that |A \triangle H| = o(|A|), or there is a charac… ▽ More Suppose that G is a discrete abelian group and A is a finite symmetric subset of G. We show two main results. i) Either there is a set H of O(log^c|A|) subgroups of G with |A \triangle \bigcup H| = o(|A|), or there is a character X on G such that -wh{1_A}(X) >> log^c|A|. ii) If G is finite and |A|>> |G| then either there is a subgroup H of G such that |A \triangle H| = o(|A|), or there is a character X on G such that -wh{1_A}(X)>> |A|^c. △ Less

Submitted 14 October, 2010; v1 submitted 31 July, 2008; originally announced July 2008.

Comments: 21 pp. Corrected typos. Minor revisions

Journal ref: Israel J. Math. 179 (2010), 1-28

Roth's theorem in Z_4^n

Authors: Tom Sanders

Abstract: We show that if A is a subset of Z_4^n containing no three-term arithmetic progression in which all the elements are distinct then |A|=o(4^n/n). We show that if A is a subset of Z_4^n containing no three-term arithmetic progression in which all the elements are distinct then |A|=o(4^n/n). △ Less

Submitted 1 April, 2010; v1 submitted 31 July, 2008; originally announced July 2008.

Comments: 24 pp. Corrected typos. Updated references. Minor revisions.

Journal ref: Anal. PDE 2 (2009), no. 2, 211-234

On a theorem of Shkredov

Authors: Tom Sanders

Abstract: We show that if A is a finite subset of an abelian group with additive energy at least c|A|^3 then there is a subset L of A with |L|=O(c^{-1}\log |A|) such that |A \cap Span(L)| >> c^{1/3}|A|. We show that if A is a finite subset of an abelian group with additive energy at least c|A|^3 then there is a subset L of A with |L|=O(c^{-1}\log |A|) such that |A \cap Span(L)| >> c^{1/3}|A|. △ Less

Submitted 26 January, 2011; v1 submitted 31 July, 2008; originally announced July 2008.

Comments: 5 pp. Included refinement from c^{1/2} to c^{1/3}, independently discovered by Shkredov and Yekhanin in arXiv:1004.2294. Corrected typos

Journal ref: Online J. Anal. Comb. No. 5 (2010), Art. 6, 4 pp

A Freiman-type theorem for locally compact abelian groups

Authors: Tom Sanders

Abstract: We prove a Freiman-type theorem for locally compact abelian groups. If A is a subset of a locally compact abelian group with Haar measure m and m(nA) < n^dm(A) for all n>d log d then we describe A in a way which is tight up to logarithmic factors in d. We prove a Freiman-type theorem for locally compact abelian groups. If A is a subset of a locally compact abelian group with Haar measure m and m(nA) < n^dm(A) for all n>d log d then we describe A in a way which is tight up to logarithmic factors in d. △ Less

Submitted 1 April, 2010; v1 submitted 12 October, 2007; originally announced October 2007.

Comments: 12 pp. Corrected typos. Updated references. Minor revisions.

Journal ref: Ann. Inst. Fourier (Grenoble) 59 (2009), no. 4, 1321-1335

Difference sets and the primes

Authors: Imre Z. Ruzsa, Tom Sanders

Abstract: Suppose that A is a subset of {1,...,N} such that the difference between any two elements of A is never one less than a prime. We show that |A| = O(N exp(-c(log N)^{1/4})) for some absolute c>0. Suppose that A is a subset of {1,...,N} such that the difference between any two elements of A is never one less than a prime. We show that |A| = O(N exp(-c(log N)^{1/4})) for some absolute c>0. △ Less

Submitted 1 April, 2010; v1 submitted 2 October, 2007; originally announced October 2007.

Comments: 19 pp. Corrected typos. Updated references.

Journal ref: Acta Arith. 131 (2008), no. 3, 281-301

Appendix to 'Roth's theorem on progressions revisited' by J Bourgain

Authors: Tom Sanders

Abstract: We show two results. First, a refinement of Freiman's theorem: if A is a finite set of integers and |A+A| < K|A|, then A is contained in a multidimensional progression of dimension at most O(K^{7/4} log^3K) and size at most exp(O(K^{7/4} log^3K))|A|. Secondly, an improvement of a result of Konyagin and Laba: if A is a finite set of reals and a is a transcendental then |A+aA| >> |A|(log |A|)^{4/3-ε… ▽ More We show two results. First, a refinement of Freiman's theorem: if A is a finite set of integers and |A+A| < K|A|, then A is contained in a multidimensional progression of dimension at most O(K^{7/4} log^3K) and size at most exp(O(K^{7/4} log^3K))|A|. Secondly, an improvement of a result of Konyagin and Laba: if A is a finite set of reals and a is a transcendental then |A+aA| >> |A|(log |A|)^{4/3-ε} for all ε>0. △ Less

Submitted 30 October, 2010; v1 submitted 2 October, 2007; originally announced October 2007.

Comments: 11 pp. Corrected typos

Journal ref: J. Anal. Math. 104 (2008), 193-206

Three-term arithmetic progressions and sumsets

Authors: Tom Sanders

Abstract: Suppose that G is an abelian group and A is a finite subset of G containing no three-term arithmetic progressions. We show that |A+A| >> |A|(log |A|)^{1/3-ε} for all ε>0. Suppose that G is an abelian group and A is a finite subset of G containing no three-term arithmetic progressions. We show that |A+A| >> |A|(log |A|)^{1/3-ε} for all ε>0. △ Less

Submitted 1 April, 2010; v1 submitted 10 November, 2006; originally announced November 2006.

Comments: 20 pp. Corrected typos. Updated references. Corrected proof of Theorem 5.1. Minor revisions.

Journal ref: Proc. Edinb. Math. Soc. (2) 52 (2009), no. 1, 211-233

A quantitative version of the idempotent theorem in harmonic analysis

Authors: Ben Green, Tom Sanders

Abstract: Suppose that G is a locally compact abelian group, and write M(G) for the algebra of bounded, regular, complex-valued measures under convolution. A measure μin M(G) is said to be idempotent if μ* μ= μ, or alternatively if the Fourier-Stieltjes transform μ^ takes only the values 0 and 1. The Cohen-Helson-Rudin idempotent theorem states that a measure μis idempotent if and only if the set {r in G^… ▽ More Suppose that G is a locally compact abelian group, and write M(G) for the algebra of bounded, regular, complex-valued measures under convolution. A measure μin M(G) is said to be idempotent if μ* μ= μ, or alternatively if the Fourier-Stieltjes transform μ^ takes only the values 0 and 1. The Cohen-Helson-Rudin idempotent theorem states that a measure μis idempotent if and only if the set {r in G^ : μ^(r) = 1} belongs to the coset ring of G^, that is to say we may write μ^ as a finite plus/minus 1 combination of characteristic functions of cosets r_j + H_j, where the H_j are open subgroups of G^. In this paper we show that the number L of such cosets can be bounded in terms of the norm ||μ||, and in fact one may take L <= \exp\exp(C||μ||^4). In particular our result is non-trivial even for finite groups. △ Less

Submitted 2 February, 2007; v1 submitted 9 November, 2006; originally announced November 2006.

Comments: 28 pages

Journal ref: Ann. of Math. (2) 168 (2008), no. 3, 1025-1054

An application of a local version of Chang's theorem

Authors: Tom Sanders

Abstract: We prove a theorem claimed in math.CA/0605519 which asserts that if A is a subset of a compact abelian group G with density of a particular (natural, although technical) form then the A(G)-norm (that is the sum of the absolute values of the Fourier transform) of the characteristic function of A cannot be too small. We prove a theorem claimed in math.CA/0605519 which asserts that if A is a subset of a compact abelian group G with density of a particular (natural, although technical) form then the A(G)-norm (that is the sum of the absolute values of the Fourier transform) of the characteristic function of A cannot be too small. △ Less

Submitted 26 July, 2006; originally announced July 2006.

Boolean functions with small spectral norm

Authors: Ben Green, Tom Sanders

Abstract: Suppose that f is a boolean function from F_2^n to {0,1} with spectral norm (that is the sum of the absolute values of its Fourier coefficients) at most M. We show that f may be expressed as +/- 1 combination of at most 2^(2^(O(M^4))) indicator functions of subgroups of F_2^n. Suppose that f is a boolean function from F_2^n to {0,1} with spectral norm (that is the sum of the absolute values of its Fourier coefficients) at most M. We show that f may be expressed as +/- 1 combination of at most 2^(2^(O(M^4))) indicator functions of subgroups of F_2^n. △ Less

Submitted 1 April, 2010; v1 submitted 18 May, 2006; originally announced May 2006.

Comments: 17 pp. Updated references.

Journal ref: Geom. Funct. Anal. 18 (2008), no. 1, 144-162

A note on Freiman's theorem in vector spaces

Authors: Tom Sanders

Abstract: We show that if A is a subset of F_2^n and |A+A| < K|A| then A is contained in a subspace of size at most 2^{O(K^{3/2}log K)}|A|. This improves on the previous best of 2^{O(K^2)}. We show that if A is a subset of F_2^n and |A+A| < K|A| then A is contained in a subspace of size at most 2^{O(K^{3/2}log K)}|A|. This improves on the previous best of 2^{O(K^2)}. △ Less

Submitted 1 April, 2010; v1 submitted 18 May, 2006; originally announced May 2006.

Comments: 9 pp. Corrected typos. Updated references.

Journal ref: Combin. Probab. Comput. 17 (2008), no. 2, 297-305

The Littlewood-Gowers problem

Authors: Tom Sanders

Abstract: We show that if A is a subset of Z/pZ (p a prime) of density bounded away from 0 and 1 then the A(Z/pZ)-norm (that is the l^1-norm of the Fourier transform) of the characterstic function of A is bounded below by an absolute constant times (log p)^{1/2 - ε} as p tends to infinity. This improves on the exponent 1/3 in recent work of Green and Konyagin. We show that if A is a subset of Z/pZ (p a prime) of density bounded away from 0 and 1 then the A(Z/pZ)-norm (that is the l^1-norm of the Fourier transform) of the characterstic function of A is bounded below by an absolute constant times (log p)^{1/2 - ε} as p tends to infinity. This improves on the exponent 1/3 in recent work of Green and Konyagin. △ Less

Submitted 1 April, 2010; v1 submitted 18 May, 2006; originally announced May 2006.

Comments: 31 pp. Corrected typos. Updated references.

Journal ref: J. Anal. Math. 101 (2007), 123-162

Additive structures in sumsets

Authors: Tom Sanders

Abstract: Suppose that A is a subset of the integers {1,...,N} of density a. We provide a new proof of a result of Green which shows that A+A contains an arithmetic progression of length exp(ca(log N)^{1/2}) for some absolute c>0. Furthermore we improve the length of progression guaranteed in higher sumsets; for example we show that A+A+A contains a progression of length roughly N^{ca} improving on the pre… ▽ More Suppose that A is a subset of the integers {1,...,N} of density a. We provide a new proof of a result of Green which shows that A+A contains an arithmetic progression of length exp(ca(log N)^{1/2}) for some absolute c>0. Furthermore we improve the length of progression guaranteed in higher sumsets; for example we show that A+A+A contains a progression of length roughly N^{ca} improving on the previous best of N^{ca^{2+ε}}. △ Less

Submitted 1 April, 2010; v1 submitted 18 May, 2006; originally announced May 2006.

Comments: 28 pp. Corrected typos. Updated references.

Journal ref: Math. Proc. Cambridge Philos. Soc. 144 (2008), no. 2, 289--316