Showing 1–50 of 62 results for author: Kolountzakis, M N

Bounded common fundamental domains for two lattices

Authors: Sigrid Grepstad, Mihail N. Kolountzakis

Abstract: We prove that for any two lattices $L, M \subseteq \mathbb{R}^d$ of the same volume there exists a measurable, bounded, common fundamental domain of them. In other words, there exists a bounded measurable set $E \subseteq \mathbb{R}^d$ such that $E$ tiles $\mathbb{R}^d$ when translated by $L$ or by $M$. In fact, the set $E$ can be taken to be a finite union of polytopes. A consequence of this is t… ▽ More We prove that for any two lattices $L, M \subseteq \mathbb{R}^d$ of the same volume there exists a measurable, bounded, common fundamental domain of them. In other words, there exists a bounded measurable set $E \subseteq \mathbb{R}^d$ such that $E$ tiles $\mathbb{R}^d$ when translated by $L$ or by $M$. In fact, the set $E$ can be taken to be a finite union of polytopes. A consequence of this is that the indicator function of $E$ forms a Weyl--Heisenberg (Gabor) orthogonal basis of $L^2(\mathbb{R}^d)$ when translated by $L$ and modulated by $M^*$, the dual lattice of $M$. △ Less

Submitted 1 July, 2025; originally announced July 2025.

Comments: 13 pages

MSC Class: 52B20; 52C22; 11H16

Non-spectrality of some piecewise smooth curves and unions of line segments

Authors: Mihail N. Kolountzakis, Chun-Kit Lai

Abstract: We develop a systematic study about the spectrality of measures supported on piecewise smooth curves by studying the support of the tempered distributions arising from the tiling equation of some singular spectral measures. In doing so, we show that the arc-length measures of all closed polygonal lines are not spectral. {In particular, the boundary of a square is not spectral. We also show that th… ▽ More We develop a systematic study about the spectrality of measures supported on piecewise smooth curves by studying the support of the tempered distributions arising from the tiling equation of some singular spectral measures. In doing so, we show that the arc-length measures of all closed polygonal lines are not spectral. {In particular, the boundary of a square is not spectral. We also show that the ``plus space'' (two crossing line segments) is not spectral.} Furthermore, our theory also shows that the arc length measures on {smooth} convex curves with finitely many transverse self-intersections are not spectral. Finally, several natural open questions about the spectrality of singular measures and {piecewise} smooth curves will also be discussed. △ Less

Submitted 1 July, 2025; originally announced July 2025.

Comments: 28 pages; 9 figures;

MSC Class: 42C15; 42C30

Geometric implications of weak tiling

Authors: Mihail N. Kolountzakis, Nir Lev, Máté Matolcsi

Abstract: The notion of weak tiling played a key role in the proof of Fuglede's spectral set conjecture for convex domains, due to the fact that every spectral set must weakly tile its complement. In this paper, we revisit the notion of weak tiling and establish some geometric properties of sets that weakly tile their complement. If $A \subset \mathbb{R}^d$ is a convex polytope, we give a direct and self-co… ▽ More The notion of weak tiling played a key role in the proof of Fuglede's spectral set conjecture for convex domains, due to the fact that every spectral set must weakly tile its complement. In this paper, we revisit the notion of weak tiling and establish some geometric properties of sets that weakly tile their complement. If $A \subset \mathbb{R}^d$ is a convex polytope, we give a direct and self-contained proof that $A$ must be symmetric and have symmetric facets. If $A \subset \mathbb{R}$ is a finite union of intervals, we give a necessary condition on the lengths of the gaps between the intervals. △ Less

Submitted 30 June, 2025; originally announced June 2025.

MSC Class: 42B10; 42C05; 52C22

Spectrality of a measure consisting of two line segments

Authors: Mihail N. Kolountzakis, Sha Wu

Abstract: Take an interval $[t, t+1]$ on the $x$-axis together with the same interval on the $y$-axis and let $ρ$ be the normalized one-dimensional Lebesgue measure on this set of two segments. Continuing the work done by Lai, Liu and Prince (2021) as well as Ai, Lu and Zhou (2023) we examine the spectrality of this measure for all different values of $t$ (being spectral means that there is an orthonormal b… ▽ More Take an interval $[t, t+1]$ on the $x$-axis together with the same interval on the $y$-axis and let $ρ$ be the normalized one-dimensional Lebesgue measure on this set of two segments. Continuing the work done by Lai, Liu and Prince (2021) as well as Ai, Lu and Zhou (2023) we examine the spectrality of this measure for all different values of $t$ (being spectral means that there is an orthonormal basis for $L^2(ρ)$ consisting of exponentials $e^{2πi (λ_1 x + λ_2 y)}$). We almost complete the study showing that for $-\frac12<t<0$ and for all $t \notin {\mathbb Q}$ the measure $ρ$ is not spectral. The only remaining undecided case is the case $t=-\frac12$ (plus space). We also observe that in all known cases of spectral instances of this measure the spectrum is contained in a line and we give an easy necessary and sufficient condition for such measures to have a line spectrum. △ Less

Submitted 28 January, 2025; v1 submitted 20 January, 2025; originally announced January 2025.

Comments: 17 pages, 6 figures

MSC Class: 42C15; 42C30

Maximality and completeness of orthogonal exponentials on the cube

Authors: Mihail N. Kolountzakis, Nir Lev, Máté Matolcsi

Abstract: It is possible to have a packing by translates of a cube that is maximal (i.e.\ no other cube can be added without overlapping) but does not form a tiling. In the long running analogy of packing and tiling to orthogonality and completeness of exponentials on a domain, we pursue the question whether one can have maximal orthogonal sets of exponentials for a cube without them being complete. We prov… ▽ More It is possible to have a packing by translates of a cube that is maximal (i.e.\ no other cube can be added without overlapping) but does not form a tiling. In the long running analogy of packing and tiling to orthogonality and completeness of exponentials on a domain, we pursue the question whether one can have maximal orthogonal sets of exponentials for a cube without them being complete. We prove that this is not possible in dimensions 1 and 2, but is possible in dimensions 3 and higher. We provide several examples of such maximal incomplete sets of exponentials, differing in size, and we raise relevant questions. We also show that even in dimension $1$ there are sets which are spectral (i.e. have a complete set of orthogonal exponentials) and yet they also possess maximal incomplete sets of orthogonal exponentials. △ Less

Submitted 25 March, 2025; v1 submitted 16 October, 2024; originally announced October 2024.

Comments: 13 pages, no figures; added reference [LP11] where some of the problems were already solved

MSC Class: 42B10; 42C05; 52C22

Exponential polynomials and identification of polygonal regions from Fourier samples

Authors: Mihail N. Kolountzakis, Emmanuil Spyridakis

Abstract: Consider the set $E(D, N)$ of all bivariate exponential polynomials $$ f(ξ, η) = \sum_{j=1}^n p_j(ξ, η) e^{2πi (x_jξ+y_jη)}, $$ where the polynomials $p_j \in \mathbb{C}[ξ, η]$ have degree $<D$, $n\le N$ and where $x_j, y_j \in \mathbb{T} = \mathbb{R}/\mathbb{Z}$. We find a set $A \subseteq \mathbb{Z}^2$ that depends on $N$ and $D$ only and is of size $O(D^2 N \log N)$ such that the values of $f$… ▽ More Consider the set $E(D, N)$ of all bivariate exponential polynomials $$ f(ξ, η) = \sum_{j=1}^n p_j(ξ, η) e^{2πi (x_jξ+y_jη)}, $$ where the polynomials $p_j \in \mathbb{C}[ξ, η]$ have degree $<D$, $n\le N$ and where $x_j, y_j \in \mathbb{T} = \mathbb{R}/\mathbb{Z}$. We find a set $A \subseteq \mathbb{Z}^2$ that depends on $N$ and $D$ only and is of size $O(D^2 N \log N)$ such that the values of $f$ on $A$ determine $f$. Notice that the size of $A$ is only larger by a logarithmic quantity than the number of parameters needed to write down $f$. We use this in order to prove some uniqueness results about polygonal regions given a small set of samples of the Fourier Transform of their indicator function. If the number of different slopes of the edges of the polygonal region is $\le k$ then the region is determined from a predetermined set of Fourier samples that depends only on $k$ and the maximum number of vertices $N$ and is of size $O(k^2 N \log N)$. In the particular case where all edges are known to be parallel to the axes the polygonal region is determined from a set of $O(N \log N)$ Fourier samples that depends on $N$ only. Our methods are non-constructive. △ Less

Submitted 2 September, 2024; originally announced September 2024.

Comments: 16 pages, 7 figures

MSC Class: 41A05; 41A27; 42A15; 42A16

Orthogonal Fourier Analysis on Domains

Authors: Mihail N. Kolountzakis

Abstract: In this paper we go over the history of the Fuglede or Spectral Set Conjecture as it has developed over the last 30 years or so. We do not aim to be exhaustive and we do not cover important areas of development such as the results on the problem in classes of finite groups or the version of the problem that focuses on spectral measures instead of sets. The selection of the material has been strong… ▽ More In this paper we go over the history of the Fuglede or Spectral Set Conjecture as it has developed over the last 30 years or so. We do not aim to be exhaustive and we do not cover important areas of development such as the results on the problem in classes of finite groups or the version of the problem that focuses on spectral measures instead of sets. The selection of the material has been strongly influenced by personal taste, history and capabilities. We are trying to be more descriptive than detailed and we point out several open questions. △ Less

Submitted 30 October, 2024; v1 submitted 27 August, 2024; originally announced August 2024.

MSC Class: 42B10; 43A25; 52C22

Curves in the Fourier zeros of polytopal regions and the Pompeiu problem

Authors: Mihail N. Kolountzakis, Emmanuil Spyridakis

Abstract: We prove that any finite union $P$ of interior-disjoint polytopes in ${\mathbb R}^d$ has the Pompeiu property, a result first proved by Williams [Wil76]. This means that if a continuous function $f$ on $R^d$ integrates to 0 on any congruent copy of $P$ then $f$ is identically 0. By a fundamental result of Brown, Schreiber and Taylor [BST73] this is equivalent to showing that the Fourier-Laplace tr… ▽ More We prove that any finite union $P$ of interior-disjoint polytopes in ${\mathbb R}^d$ has the Pompeiu property, a result first proved by Williams [Wil76]. This means that if a continuous function $f$ on $R^d$ integrates to 0 on any congruent copy of $P$ then $f$ is identically 0. By a fundamental result of Brown, Schreiber and Taylor [BST73] this is equivalent to showing that the Fourier-Laplace transform of the indicator function of $P$ does not vanish identically on any 0-centered complex sphere in ${\mathbb C}^d$ . Our proof initially follows the recent one of Machado and Robins [MR23] who are using the Brion-Barvinok formula for the Fourier-Laplace transform of a polytope. But we simplify this method considerably by removing the use of properties of Bessel function zeros. Instead we use some elementary arguments on the growth of linear combinations of exponentials with rational functions as coefficients. Our approach allows us to prove the non-existence of complex spheres of any center in the zero-set of the Fourier-Laplace transform. The planar case is even simpler in that we do not even need the Brion-Barvinok formula. We then go further in the question of which sets can be contained in the null set of the Fourier-Laplace transform of a polytope by extending results of Engel [Eng23] who showed that rationally parametrized hypersurfaces, under some mild conditions, cannot be contained in this null-set. We show that a rationally parametrized curve which is not contained in an affine hyperplane in ${\mathbb C}^d$ cannot be contained in this null-set. Results about curves parametrized by meromorphic functions are also given. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: 18 pages

MSC Class: 52B11; 42B37; 42B99

Tiling, spectrality and aperiodicity of connected sets

Authors: Rachel Greenfeld, Mihail N. Kolountzakis

Abstract: Let $Ω\subset \mathbb{R}^d$ be a set of finite measure. The periodic tiling conjecture suggests that if $Ω$ tiles $\mathbb{R}^d$ by translations then it admits at least one periodic tiling. Fuglede's conjecture suggests that $Ω$ admits an orthogonal basis of exponential functions if and only if it tiles $\mathbb{R}^d$ by translations. Both conjectures are known to be false in sufficiently high dim… ▽ More Let $Ω\subset \mathbb{R}^d$ be a set of finite measure. The periodic tiling conjecture suggests that if $Ω$ tiles $\mathbb{R}^d$ by translations then it admits at least one periodic tiling. Fuglede's conjecture suggests that $Ω$ admits an orthogonal basis of exponential functions if and only if it tiles $\mathbb{R}^d$ by translations. Both conjectures are known to be false in sufficiently high dimensions, with all the so-far-known counterexamples being highly disconnected. On the other hand, both conjectures are known to be true for convex sets. In this work we study these conjectures for connected sets. We show that the periodic tiling conjecture, as well as both directions of Fuglede's conjecture are false for connected sets in sufficiently high dimensions. △ Less

Submitted 13 November, 2024; v1 submitted 23 May, 2023; originally announced May 2023.

Comments: 20 pages, 8 figures. A corrected and simplified folded bridge construction is given in the new version of the paper. One more open question added at the end

MSC Class: 42B10; 52C22; 52C23

Sets of full measure avoiding Cantor sets

Authors: Mihail N. Kolountzakis

Abstract: In relation to the Erd\H os similarity problem (show that for any infinite set $A$ of real numbers there exists a set of positive Lebesgue measure which contains no affine copy of $A$) we give some new examples of infinite sets which are not universal in measure, i.e. they satisfy the above conjecture. These are symmetric Cantor sets $C$ which can be quite thin: the length of the $n$-th generation… ▽ More In relation to the Erd\H os similarity problem (show that for any infinite set $A$ of real numbers there exists a set of positive Lebesgue measure which contains no affine copy of $A$) we give some new examples of infinite sets which are not universal in measure, i.e. they satisfy the above conjecture. These are symmetric Cantor sets $C$ which can be quite thin: the length of the $n$-th generation intervals defining the Cantor set is decreasing almost doubly exponentially. Further, we achieve to construct a set, not just of positive measure, but of \textit{full measure} not containing any affine copy of $C$. Our method is probabilistic. △ Less

Submitted 8 January, 2023; v1 submitted 22 September, 2022; originally announced September 2022.

Comments: Minor changes done after the referee's report

MSC Class: 28A80; 05D40

Spectral sets and weak tiling

Authors: Mihail N. Kolountzakis, Nir Lev, Máté Matolcsi

Abstract: A set $Ω\subset \mathbb{R}^d$ is said to be spectral if the space $L^2(Ω)$ admits an orthogonal basis of exponential functions. Fuglede (1974) conjectured that $Ω$ is spectral if and only if it can tile the space by translations. While this conjecture was disproved for general sets, it was recently proved that the Fuglede conjecture does hold for the class of convex bodies in $\mathbb{R}^d$. The p… ▽ More A set $Ω\subset \mathbb{R}^d$ is said to be spectral if the space $L^2(Ω)$ admits an orthogonal basis of exponential functions. Fuglede (1974) conjectured that $Ω$ is spectral if and only if it can tile the space by translations. While this conjecture was disproved for general sets, it was recently proved that the Fuglede conjecture does hold for the class of convex bodies in $\mathbb{R}^d$. The proof was based on a new geometric necessary condition for spectrality, called "weak tiling". In this paper we study further properties of the weak tiling notion, and present applications to convex bodies, non-convex polytopes, product domains and Cantor sets of positive measure. △ Less

Submitted 22 October, 2023; v1 submitted 9 September, 2022; originally announced September 2022.

MSC Class: 42B10; 52B11; 52B45; 52C07; 52C22

Journal ref: Sampling Theory, Signal Processing, and Data Analysis 21 (2023), Paper No. 31

Large sets containing no copies of a given infinite sequence

Authors: Mihail N. Kolountzakis, Effie Papageorgiou

Abstract: Suppose $a_n$ is a real, nonnegative sequence that does not increase exponentially. For any $p<1$ we contruct a Lebesgue measurable set $E \subseteq \mathbb{R}$ which has measure at least $p$ in any unit interval and which contains no affine copy $\{x+ta_n:\ n\in\mathbb{N}\}$ of the given sequence (for any $x \in \mathbb{R}, t > 0$). We generalize this to higher dimensions and also for some ``non-… ▽ More Suppose $a_n$ is a real, nonnegative sequence that does not increase exponentially. For any $p<1$ we contruct a Lebesgue measurable set $E \subseteq \mathbb{R}$ which has measure at least $p$ in any unit interval and which contains no affine copy $\{x+ta_n:\ n\in\mathbb{N}\}$ of the given sequence (for any $x \in \mathbb{R}, t > 0$). We generalize this to higher dimensions and also for some ``non-linear'' copies of the sequence. Our method is probabilistic. △ Less

Submitted 6 October, 2023; v1 submitted 4 August, 2022; originally announced August 2022.

Comments: To appear in Analysis & PDE

MSC Class: 28A80; 05D40

Journal ref: Analysis & PDE 18 (2025) 93-108

Simultaneous tiling

Authors: Mihail N. Kolountzakis

Abstract: We discuss problems of simultaneous tiling. This means that we have an object (set, function) which tiles space with two or more different sets of translations. The most famous problem of this type is the Steinhaus problem which asks for a set simultaneously tiling the plane with all rotates of the integer lattice as translation sets. We discuss problems of simultaneous tiling. This means that we have an object (set, function) which tiles space with two or more different sets of translations. The most famous problem of this type is the Steinhaus problem which asks for a set simultaneously tiling the plane with all rotates of the integer lattice as translation sets. △ Less

Submitted 4 August, 2022; originally announced August 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:2106.11701

MSC Class: 52C22; 20K99

How many Fourier coefficients are needed?

Authors: Benedikt Diederichs, Mihail N. Kolountzakis, Effie Papageorgiou

Abstract: We are looking at families of functions or measures on the torus which are specified by a finite number of parameters $N$. The task, for a given family, is to look at a small number of Fourier coefficients of the object, at a set of locations that is predetermined and may depend only on $N$, and determine the object. We look at (a) the indicator functions of at most $N$ intervals of the torus and… ▽ More We are looking at families of functions or measures on the torus which are specified by a finite number of parameters $N$. The task, for a given family, is to look at a small number of Fourier coefficients of the object, at a set of locations that is predetermined and may depend only on $N$, and determine the object. We look at (a) the indicator functions of at most $N$ intervals of the torus and (b) at sums of at most $N$ complex point masses on the multidimensional torus. In the first case we reprove a theorem of Courtney which says that the Fourier coefficients at the locations $0, 1, \ldots, N$ are sufficient to determine the function (the intervals). In the second case we produce a set of locations of size $O(N \log^{d-1} N)$ which suffices to determine the measure. △ Less

Submitted 9 August, 2022; v1 submitted 21 July, 2021; originally announced July 2021.

Comments: 14 pages, 1 figure

MSC Class: 41A05; 41A27; 42A15; 42A16

Functions tiling with several lattices

Authors: Mihail N. Kolountzakis, Effie Papageorgiou

Abstract: We study the problem of finding a function $f$ with ``small support'' that simultaneously tiles with finitely many lattices $Λ_1, \ldots, Λ_N$ in $d$-dimensional Euclidean spaces. We prove several results, both upper bounds (constructions) and lower bounds on how large this support can and must be. We also study the problem in the setting of finite abelian groups, which turns out to be the most co… ▽ More We study the problem of finding a function $f$ with ``small support'' that simultaneously tiles with finitely many lattices $Λ_1, \ldots, Λ_N$ in $d$-dimensional Euclidean spaces. We prove several results, both upper bounds (constructions) and lower bounds on how large this support can and must be. We also study the problem in the setting of finite abelian groups, which turns out to be the most concrete setting. Several open questions are posed. △ Less

Submitted 24 June, 2022; v1 submitted 22 June, 2021; originally announced June 2021.

Comments: 16 pages

Tiling by translates of a function: results and open problems

Authors: Mihail N. Kolountzakis, Nir Lev

Abstract: We say that a function $f \in L^1(\mathbb{R})$ tiles at level $w$ by a discrete translation set $Λ\subset \mathbb{R}$, if we have $\sum_{λ\in Λ} f(x-λ)=w$ a.e. In this paper we survey the main results, and prove several new ones, on the structure of tilings of $\mathbb{R}$ by translates of a function. The phenomena discussed include tilings of bounded and of unbounded density, uniform distribution… ▽ More We say that a function $f \in L^1(\mathbb{R})$ tiles at level $w$ by a discrete translation set $Λ\subset \mathbb{R}$, if we have $\sum_{λ\in Λ} f(x-λ)=w$ a.e. In this paper we survey the main results, and prove several new ones, on the structure of tilings of $\mathbb{R}$ by translates of a function. The phenomena discussed include tilings of bounded and of unbounded density, uniform distribution of the translates, periodic and non-periodic tilings, and tilings at level zero. Fourier analysis plays an important role in the proofs. Some open problems are also given. △ Less

Submitted 13 September, 2021; v1 submitted 20 September, 2020; originally announced September 2020.

MSC Class: 42A38; 52C23; 52C25

Journal ref: Discrete Analysis 2021, Paper No. 12, 24 pp

Deciding multiple tiling by polygons in polynomial time

Authors: Mihail N. Kolountzakis

Abstract: Suppose $P$ is a symmetric convex polygon in the plane. We give a polynomial time algorithm that decides if $P$ can tile the plane by transations at some level (not necessarily at level one; this is multiple tiling). The main technical contribution is a polynomial time algorithm that selects, if this is possible, for each $j=1,2,\ldots,n$ one of two given vectors $e_j$ or $τ_j$ so that the selecti… ▽ More Suppose $P$ is a symmetric convex polygon in the plane. We give a polynomial time algorithm that decides if $P$ can tile the plane by transations at some level (not necessarily at level one; this is multiple tiling). The main technical contribution is a polynomial time algorithm that selects, if this is possible, for each $j=1,2,\ldots,n$ one of two given vectors $e_j$ or $τ_j$ so that the selection spans a discrete additive subgroup. △ Less

Submitted 10 May, 2020; v1 submitted 4 December, 2019; originally announced December 2019.

Comments: 7 pages, 2 figures

MSC Class: 52C05; 68Q25; 52C20; 52B55; 11H31

The structure of multiplicative tilings of the real line

Authors: Mihail N. Kolountzakis, Yang Wang

Abstract: Suppose $Ω, A \subseteq \RR\setminus\Set{0}$ are two sets, both of mixed sign, that $Ω$ is Lebesgue measurable and $A$ is a discrete set. We study the problem of when $A \cdot Ω$ is a (multiplicative) tiling of the real line, that is when almost every real number can be uniquely written as a product $a\cdot ω$, with $a \in A$, $ω\in Ω$. We study both the structure of the set of multiples $A$ and t… ▽ More Suppose $Ω, A \subseteq \RR\setminus\Set{0}$ are two sets, both of mixed sign, that $Ω$ is Lebesgue measurable and $A$ is a discrete set. We study the problem of when $A \cdot Ω$ is a (multiplicative) tiling of the real line, that is when almost every real number can be uniquely written as a product $a\cdot ω$, with $a \in A$, $ω\in Ω$. We study both the structure of the set of multiples $A$ and the structure of the tile $Ω$. We prove strong results in both cases. These results are somewhat analogous to the known results about the structure of translational tiling of the real line. There is, however, an extra layer of complexity due to the presence of sign in the sets $A$ and $Ω$, which makes multiplicative tiling roughly equivalent to translational tiling on the larger group $\ZZ_2 \times \RR$. △ Less

Submitted 9 October, 2017; originally announced October 2017.

MSC Class: 11K70; 52C99

Tiling functions and Gabor orthonormal basis

Authors: Elona Agora, Jorge Antezana, Mihail N. Kolountzakis

Abstract: We study the existence of Gabor orthonormal bases with window the characteristic function of the set W=[0,a] U [b+a, b+1] of measure 1, with a, b>0. By the symmetries of the problem, we can restrict our attention to the case a<=1/2. We prove that either if a<1/2 or (a=1/2 and b>= 1/2) there exist such Gabor orthonormal bases, with window the characteristic function of the set W, if and only if W t… ▽ More We study the existence of Gabor orthonormal bases with window the characteristic function of the set W=[0,a] U [b+a, b+1] of measure 1, with a, b>0. By the symmetries of the problem, we can restrict our attention to the case a<=1/2. We prove that either if a<1/2 or (a=1/2 and b>= 1/2) there exist such Gabor orthonormal bases, with window the characteristic function of the set W, if and only if W tiles the line. Furthermore, in both cases, we completely describe the structure of the set of time-frequency shifts associated to these bases △ Less

Submitted 10 April, 2017; originally announced April 2017.

Comments: 29 pages, 12 figures

MSC Class: 42C99; 52C22

An application of positive definite functions to the problem of MUBs

Authors: Mihail N. Kolountzakis, Máté Matolcsi, Mihály Weiner

Abstract: We present a new approach to the problem of mutually unbiased bases (MUBs), based on positive definite functions on the unitary group. The method provides a new proof of the fact that there are at most $d+1$ MUBs in ${\mathbb C}^d$. It may also lead to a proof of non-existence of complete systems of MUBs in dimension 6 via a conjectured algebraic identity. We present a new approach to the problem of mutually unbiased bases (MUBs), based on positive definite functions on the unitary group. The method provides a new proof of the fact that there are at most $d+1$ MUBs in ${\mathbb C}^d$. It may also lead to a proof of non-existence of complete systems of MUBs in dimension 6 via a conjectured algebraic identity. △ Less

Submitted 28 December, 2016; originally announced December 2016.

MSC Class: Primary 15A30; Secondary 43A35; 05B10

Fuglede's conjecture on cyclic groups of order $p^n q$

Authors: Romanos-Diogenes Malikiosis, Mihail N. Kolountzakis

Abstract: We show that the spectral set conjecture by Fuglede holds in the setting of cyclic groups of order $p^n q$, where $p$, $q$ are distinct primes and $n\geq1$. This means that a subset $E$ of such a group $G$ tiles the group by translation ($G$ can be partitioned into translates of $E$) if and only if there exists an orthogonal basis of $L^2(E)$ consisting of group characters. The main ingredient of… ▽ More We show that the spectral set conjecture by Fuglede holds in the setting of cyclic groups of order $p^n q$, where $p$, $q$ are distinct primes and $n\geq1$. This means that a subset $E$ of such a group $G$ tiles the group by translation ($G$ can be partitioned into translates of $E$) if and only if there exists an orthogonal basis of $L^2(E)$ consisting of group characters. The main ingredient of the present proof is the structure of vanishing sums of roots of unity of order $N$, where $N$ has at most two prime divisors; the extension of this proof to the case of cyclic groups of order $p^n q^m$ seems therefore feasible. The only previously known infinite family of cyclic groups, for which Fuglede's conjecture is verified in both directions, is that of cyclic $p$-groups, i.e. $\mathbb{Z}_{p^n}$. △ Less

Submitted 4 September, 2017; v1 submitted 5 December, 2016; originally announced December 2016.

Comments: 16 pages

MSC Class: 43A46; 11L03; 20K01; 13F20

Journal ref: Discrete Analysis, Paper no. 12, 16pp. (2017)

Packing near the tiling density and exponential bases for product domains

Authors: Mihail N. Kolountzakis

Abstract: A set $Ω$ in a locally compact abelian group is called spectral if $L^2(Ω)$ has an orthogonal basis of group characters. An important problem, connected with the so-called Spectral Set Conjecture (saying that $Ω$ is spectral if and only if a collection of translates of $Ω$ can partition the group), is the question of whether the spectrality of a product set $Ω= A \times B$, in a product group, imp… ▽ More A set $Ω$ in a locally compact abelian group is called spectral if $L^2(Ω)$ has an orthogonal basis of group characters. An important problem, connected with the so-called Spectral Set Conjecture (saying that $Ω$ is spectral if and only if a collection of translates of $Ω$ can partition the group), is the question of whether the spectrality of a product set $Ω= A \times B$, in a product group, implies the spectrality of the factors $A$ and $B$. Recently Greenfeld and Lev proved that if $I$ is an interval and $Ω\subseteq {\mathbb R}^d$ then the spectrality of $I \times Ω$ implies the spectrality of $Ω$. We give a different proof of this fact by first proving a result about packings of high density implying the existence of tilings by translates of a function. This allows us to improve the result to a wider collection of product sets than those dealt with by Greenfeld and Lev. For instance when $A$ is a union of two intervals in ${\mathbb R}$ then we show that the spectrality of $A \times Ω$ implies the spectrality of both $A$ and $Ω$. △ Less

Submitted 8 June, 2016; originally announced June 2016.

MSC Class: 42C99; 52C22

Measurable Steinhaus sets do not exist for finite sets or the integers in the plane

Authors: Mihail N. Kolountzakis, Michael Papadimitrakis

Abstract: A Steinhaus set $S \subseteq \RR^d$ for a set $A \subseteq \RR^d$ is a set such that $S$ has exactly one point in common with $τA$, for every rigid motion $τ$ of $\RR^d$. We show here that if $A$ is a finite set of at least two points then there is no such set $S$ which is Lebesgue measurable. An old result of Komjáth says that there exists a Steinhaus set for $A = \ZZ\times\Set{0}$ in $\RR^2$.… ▽ More A Steinhaus set $S \subseteq \RR^d$ for a set $A \subseteq \RR^d$ is a set such that $S$ has exactly one point in common with $τA$, for every rigid motion $τ$ of $\RR^d$. We show here that if $A$ is a finite set of at least two points then there is no such set $S$ which is Lebesgue measurable. An old result of Komjáth says that there exists a Steinhaus set for $A = \ZZ\times\Set{0}$ in $\RR^2$. We also show here that such a set cannot be Lebesgue measurable. △ Less

Submitted 19 May, 2016; v1 submitted 21 April, 2016; originally announced April 2016.

Comments: One reference added

MSC Class: 52C22; 31A05; 42A05

On particles in equilibrium on the real line

Authors: Agelos Georgakopoulos, Mihail N. Kolountzakis

Abstract: We study equilibrium configurations of infinitely many identical particles on the real line or finitely many particles on the circle, such that the (repelling) force they exert on each other depends only on their distance. The main question is whether each equilibrium configuration needs to be an arithmetic progression. Under very broad assumptions on the force we show this for the particles on th… ▽ More We study equilibrium configurations of infinitely many identical particles on the real line or finitely many particles on the circle, such that the (repelling) force they exert on each other depends only on their distance. The main question is whether each equilibrium configuration needs to be an arithmetic progression. Under very broad assumptions on the force we show this for the particles on the circle. In the case of infinitely many particles on the line we show the same result under the assumption that the maximal (or the minimal) gap between successive points is finite (positive) and assumed at some pair of successive points. Under the assumption of analyticity for the force field (e.g., the Coulomb force) we deduce some extra rigidity for the configuration: knowing an equilibrium configuration of points in a half-line determines it throughout. Various properties of the equlibrium configuration are proved. △ Less

Submitted 6 April, 2016; originally announced April 2016.

MSC Class: 70C80

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

Discrepancy of line segments for general lattice checkerboards

Authors: Mihail N. Kolountzakis

Abstract: In a series of papers recently "checkerboard discrepancy" has been introduced, where a black-and-white checkerboard background induces a coloring on any curve, and thus a discrepancy, i.e., the difference of the length of the curve colored white and the length colored black. Mainly straight lines and circles have been studied and the general situation is that, no matter what the background colorin… ▽ More In a series of papers recently "checkerboard discrepancy" has been introduced, where a black-and-white checkerboard background induces a coloring on any curve, and thus a discrepancy, i.e., the difference of the length of the curve colored white and the length colored black. Mainly straight lines and circles have been studied and the general situation is that, no matter what the background coloring, there is always a curve in the family studied whose discrepancy is at least of the order of the square root of the length of the curve. In this paper we generalize the shape of the background, keeping the lattice structure. Our background now consists of lattice copies of any bounded fundamental domain of the lattice, and not necessarily of squares, as was the case in the previous papers. As the decay properties of the Fourier Transform of the indicator function of the square were strongly used before, we now have to use a quite different proof, in which the tiling and spectral properties of the fundamental domain play a role. △ Less

Submitted 9 January, 2016; originally announced January 2016.

Comments: 10 pages, 3 figures

MSC Class: 11K38; 52C20

On non-periodic tilings of the real line by a function

Authors: Mihail N. Kolountzakis, Nir Lev

Abstract: It is known that a positive, compactly supported function $f \in L^1(\mathbb R)$ can tile by translations only if the translation set is a finite union of periodic sets. We prove that this is not the case if $f$ is allowed to have unbounded support. On the other hand we also show that if the translation set has finite local complexity, then it must be periodic, even if the support of $f$ is unboun… ▽ More It is known that a positive, compactly supported function $f \in L^1(\mathbb R)$ can tile by translations only if the translation set is a finite union of periodic sets. We prove that this is not the case if $f$ is allowed to have unbounded support. On the other hand we also show that if the translation set has finite local complexity, then it must be periodic, even if the support of $f$ is unbounded. △ Less

Submitted 25 October, 2015; v1 submitted 26 May, 2015; originally announced May 2015.

Comments: To appear in International Mathematics Research Notices (IMRN)

Fourier pairs of discrete support with little structure

Authors: Mihail N. Kolountzakis

Abstract: We give a simple proof of the fact that there exist measures on the real line of discrete support, whose Fourier Transform is also a measure of discrete support, yet this Fourier pair cannot be constructed by repeatedly applying the Poisson Summation Formula finitely many times. More specifically the support of both the measure and its Fourier Tranform are not contained in a finite union of arithm… ▽ More We give a simple proof of the fact that there exist measures on the real line of discrete support, whose Fourier Transform is also a measure of discrete support, yet this Fourier pair cannot be constructed by repeatedly applying the Poisson Summation Formula finitely many times. More specifically the support of both the measure and its Fourier Tranform are not contained in a finite union of arithmetic progressions. △ Less

Submitted 27 May, 2015; v1 submitted 22 February, 2015; originally announced February 2015.

Comments: The bibliography was missing from the previous version

Multiple lattice tiles and Riesz bases of exponentials

Authors: Mihail N. Kolountzakis

Abstract: Suppose $Ω\subseteq\RR^d$ is a bounded and measurable set and $Λ\subseteq \RR^d$ is a lattice. Suppose also that $Ω$ tiles multiply, at level $k$, when translated at the locations $Λ$. This means that the $Λ$-translates of $Ω$ cover almost every point of $\RR^d$ exactly $k$ times. We show here that there is a set of exponentials $\exp(2πi t\cdot x)$, $t\in T$, where $T$ is some countable subset of… ▽ More Suppose $Ω\subseteq\RR^d$ is a bounded and measurable set and $Λ\subseteq \RR^d$ is a lattice. Suppose also that $Ω$ tiles multiply, at level $k$, when translated at the locations $Λ$. This means that the $Λ$-translates of $Ω$ cover almost every point of $\RR^d$ exactly $k$ times. We show here that there is a set of exponentials $\exp(2πi t\cdot x)$, $t\in T$, where $T$ is some countable subset of $\RR^d$, which forms a Riesz basis of $L^2(Ω)$. This result was recently proved by Grepstad and Lev under the extra assumption that $Ω$ has boundary of measure 0, using methods from the theory of quasicrystals. Our approach is rather more elementary and is based almost entirely on linear algebra. The set of frequencies $T$ turns out to be a finite union of shifted copies of the dual lattice $Λ^*$. It can be chosen knowing only $Λ$ and $k$ and is the same for all $Ω$ that tile multiply with $Λ$. △ Less

Submitted 12 May, 2013; originally announced May 2013.

Circle discrepancy for checkerboard measures

Authors: Mihail N. Kolountzakis, Ioannis Parissis

Abstract: Consider the plane as a union of congruent unit squares in a checkerboard pattern, each square colored black or white in an arbitrary manner. The discrepancy of a curve with respect to a given coloring is the difference of its white length minus its black length, in absolute value. We show that for every radius t>1 there exists a full circle of radius either t or 2t with discrepancy greater than c… ▽ More Consider the plane as a union of congruent unit squares in a checkerboard pattern, each square colored black or white in an arbitrary manner. The discrepancy of a curve with respect to a given coloring is the difference of its white length minus its black length, in absolute value. We show that for every radius t>1 there exists a full circle of radius either t or 2t with discrepancy greater than ct^(1/2) for some numerical constant c>0. We also show that for every t>1 there exists a circular arc of radius exactly t with discrepancy greater than ct^(1/2). Finally we investigate the corresponding problem for more general curves and their interiors. These results answer questions posed by Kolountzakis and Iosevich. △ Less

Submitted 8 August, 2012; v1 submitted 26 January, 2012; originally announced January 2012.

Comments: 15 pages, some typos corrected, to appear in Illinois J. Math

Journal ref: Illinois J. Math. 56 (2012), no. 4, 1297-1312

Size of orthogonal sets of exponentials for the disk

Authors: Alex Iosevich, Mihail N. Kolountzakis

Abstract: Suppose $Λ\subseteq \RR^2$ has the property that any two exponentials with frequency from $Λ$ are orthogonal in the space $L^2(D)$, where $D \subseteq \RR^2$ is the unit disk. Such sets $Λ$ are known to be finite but it is not known if their size is uniformly bounded. We show that if there are two elements of $Λ$ which are distance $t$ apart then the size of $Λ$ is $O(t)$. As a consequence we impr… ▽ More Suppose $Λ\subseteq \RR^2$ has the property that any two exponentials with frequency from $Λ$ are orthogonal in the space $L^2(D)$, where $D \subseteq \RR^2$ is the unit disk. Such sets $Λ$ are known to be finite but it is not known if their size is uniformly bounded. We show that if there are two elements of $Λ$ which are distance $t$ apart then the size of $Λ$ is $O(t)$. As a consequence we improve a result of Iosevich and Jaming and show that $Λ$ has at most $O(R^{2/3})$ elements in any disk of radius $R$. △ Less

Submitted 5 November, 2011; originally announced November 2011.

MSC Class: 42B99

Periodicity of the spectrum in dimension one

Authors: Alex Iosevich, Mihail N. Kolountzakis

Abstract: A bounded measurable set $Ω$, of Lebesgue measure 1, in the real line is called spectral if there is a set $Λ$ of real numbers ("frequencies") such that the exponential functions $e_λ(x) = \exp(2πi λx)$, $λ\inΛ$, form a complete orthonormal system of $L^2(Ω)$. Such a set $Λ$ is called a {\em spectrum} of $Ω$. In this note we prove that any spectrum $Λ$ of a bounded measurable set $Ω\subseteq\RR$ m… ▽ More A bounded measurable set $Ω$, of Lebesgue measure 1, in the real line is called spectral if there is a set $Λ$ of real numbers ("frequencies") such that the exponential functions $e_λ(x) = \exp(2πi λx)$, $λ\inΛ$, form a complete orthonormal system of $L^2(Ω)$. Such a set $Λ$ is called a {\em spectrum} of $Ω$. In this note we prove that any spectrum $Λ$ of a bounded measurable set $Ω\subseteq\RR$ must be periodic. △ Less

Submitted 21 February, 2012; v1 submitted 29 August, 2011; originally announced August 2011.

Comments: Correction of an error pointed out by Dorin Dutkay; Lemma 1 now has a new proof

Periodicity of the spectrum of a finite union of intervals

Authors: Mihail N. Kolountzakis

Abstract: A set $Ω$, of Lebesgue measure 1, in the real line is called spectral if there is a set $Λ$ of real numbers such that the exponential functions $e_λ(x) = \exp(2πi λx)$ form a complete orthonormal system on $L^2(Ω)$. Such a set $Λ$ is called a spectrum of $Ω$. In this note we present a simplified proof of the fact that any spectrum $Λ$ of a set $Ω$ which is finite union of intervals must be periodi… ▽ More A set $Ω$, of Lebesgue measure 1, in the real line is called spectral if there is a set $Λ$ of real numbers such that the exponential functions $e_λ(x) = \exp(2πi λx)$ form a complete orthonormal system on $L^2(Ω)$. Such a set $Λ$ is called a spectrum of $Ω$. In this note we present a simplified proof of the fact that any spectrum $Λ$ of a set $Ω$ which is finite union of intervals must be periodic. The original proof is due to Bose and Madan. △ Less

Submitted 27 February, 2011; originally announced February 2011.

Comments: 4 pages

MSC Class: 42B99

Efficient Triangle Counting in Large Graphs via Degree-based Vertex Partitioning

Authors: Mihail N. Kolountzakis, Gary L. Miller, Richard Peng, Charalampos E. Tsourakakis

Abstract: The number of triangles is a computationally expensive graph statistic which is frequently used in complex network analysis (e.g., transitivity ratio), in various random graph models (e.g., exponential random graph model) and in important real world applications such as spam detection, uncovering of the hidden thematic structure of the Web and link recommendation. Counting triangles in graphs with… ▽ More The number of triangles is a computationally expensive graph statistic which is frequently used in complex network analysis (e.g., transitivity ratio), in various random graph models (e.g., exponential random graph model) and in important real world applications such as spam detection, uncovering of the hidden thematic structure of the Web and link recommendation. Counting triangles in graphs with millions and billions of edges requires algorithms which run fast, use small amount of space, provide accurate estimates of the number of triangles and preferably are parallelizable. In this paper we present an efficient triangle counting algorithm which can be adapted to the semistreaming model. The key idea of our algorithm is to combine the sampling algorithm of Tsourakakis et al. and the partitioning of the set of vertices into a high degree and a low degree subset respectively as in the Alon, Yuster and Zwick work treating each set appropriately. We obtain a running time $O \left(m + \frac{m^{3/2} Δ\log{n}}{t ε^2} \right)$ and an $ε$ approximation (multiplicative error), where $n$ is the number of vertices, $m$ the number of edges and $Δ$ the maximum number of triangles an edge is contained. Furthermore, we show how this algorithm can be adapted to the semistreaming model with space usage $O\left(m^{1/2}\log{n} + \frac{m^{3/2} Δ\log{n}}{t ε^2} \right)$ and a constant number of passes (three) over the graph stream. We apply our methods in various networks with several millions of edges and we obtain excellent results. Finally, we propose a random projection based method for triangle counting and provide a sufficient condition to obtain an estimate with low variance. △ Less

Submitted 1 November, 2010; originally announced November 2010.

Comments: 1) 12 pages 2) To appear in the 7th Workshop on Algorithms and Models for the Web Graph (WAW 2010)

Tilings by translation

Authors: Mihail N. Kolountzakis, Mate Matolcsi

Abstract: This is a survey about tiling by translation only and related questions and methods, especially those that have to do with Fourier Analysis. This is a survey about tiling by translation only and related questions and methods, especially those that have to do with Fourier Analysis. △ Less

Submitted 20 September, 2010; originally announced September 2010.

Approximate Triangle Counting

Authors: Charalampos E. Tsourakakis, Mihail N. Kolountzakis, Gary L. Miller

Abstract: Triangle counting is an important problem in graph mining. Clustering coefficients of vertices and the transitivity ratio of the graph are two metrics often used in complex network analysis. Furthermore, triangles have been used successfully in several real-world applications. However, exact triangle counting is an expensive computation. In this paper we present the analysis of a practical sampl… ▽ More Triangle counting is an important problem in graph mining. Clustering coefficients of vertices and the transitivity ratio of the graph are two metrics often used in complex network analysis. Furthermore, triangles have been used successfully in several real-world applications. However, exact triangle counting is an expensive computation. In this paper we present the analysis of a practical sampling algorithm for counting triangles in graphs. Our analysis yields optimal values for the sampling rate, thus resulting in tremendous speedups ranging from \emph{2800}x to \emph{70000}x when applied to real-world networks. At the same time the accuracy of the estimation is excellent. Our contributions include experimentation on graphs with several millions of nodes and edges, where we show how practical our proposed method is. Finally, our algorithm's implementation is a part of the \pegasus library (Code and datasets are available at (http://www.cs.cmu.edu/~ctsourak/).) a Peta-Graph Mining library implemented in Hadoop, the open source version of Mapreduce. △ Less

Submitted 30 June, 2009; v1 submitted 24 April, 2009; originally announced April 2009.

Comments: 1) 16 pages, 2 figures, under submission 2) Removed the erroneous random projection part. Thanks to Ioannis Koutis for pointing out the error. 3) Added experimental session

ACM Class: G.2.2

The discrepancy of a needle on a checkerboard, II

Authors: Alex Iosevich, Mihail N. Kolountzakis

Abstract: Consider the plane as a checkerboard, with each unit square colored black or white in an arbitrary manner. In a previous paper we showed that for any such coloring there are straight line segments, of arbitrarily large length, such that the difference of their white length minus their black length, in absolute value, is at least the square root of their length, up to a multiplicative constant. F… ▽ More Consider the plane as a checkerboard, with each unit square colored black or white in an arbitrary manner. In a previous paper we showed that for any such coloring there are straight line segments, of arbitrarily large length, such that the difference of their white length minus their black length, in absolute value, is at least the square root of their length, up to a multiplicative constant. For the corresponding "finite" problem ($N \times N$ checkerboard) we had proved that we can color it in such a way that the above quantity is at most $C \sqrt{N \log N}$, for any placement of the line segment. In this followup we show that it is possible to color the infinite checkerboard with two colors so that for any line segment $I$ the excess of one color over another is bounded above by $C_ε\Abs{I}^{\frac12+ε}$, for any $ε>0$. We also prove lower bounds for the discrepancy of circular arcs. Finally, we make some observations regarding the $L^p$ discrepancies for segments and arcs, $p<2$, for which our $L^2$-based methods fail to give any reasonable estimates. △ Less

Submitted 18 November, 2008; originally announced November 2008.

Comments: 9 pages, 3 figures

MSC Class: 11K38; 11K41

Algorithms for translational tiling

Authors: Mihail N. Kolountzakis, Mate Matolcsi

Abstract: In this paper we study algorithms for tiling problems. We show that the conditions $(T1)$ and $(T2)$ of Coven and Meyerowitz, conjectured to be necessary and sufficient for a finite set $A$ to tile the integers, can be checked in time polynomial in ${diam}(A)$. We also give heuristic algorithms to find all non-periodic tilings of a cyclic group $Z_N$. In particular we carry out a full classifica… ▽ More In this paper we study algorithms for tiling problems. We show that the conditions $(T1)$ and $(T2)$ of Coven and Meyerowitz, conjectured to be necessary and sufficient for a finite set $A$ to tile the integers, can be checked in time polynomial in ${diam}(A)$. We also give heuristic algorithms to find all non-periodic tilings of a cyclic group $Z_N$. In particular we carry out a full classification of all non-periodic tilings of $Z_{144}$. △ Less

Submitted 23 October, 2008; originally announced October 2008.

Comments: 13 pages, 1 figure

MSC Class: 05B45; 43A25; 68W30; 68T20

Coefficients of squares of Newman polynomials

Authors: Mihail N. Kolountzakis

Abstract: We show that there are polynomials $p_N$ of arbitrarily large degree $N$, with coefficients equal to 0 or 1 (Newman polynomials), such that $$ \liminf_{N \to \infty} N \Linf{p_N^2} \bigl / p_N^2(1) < 1, $$ where $\Linf{q}$ denotes the maximum coefficient of the polynomial $q$ and which, at the same time, are sparse: $p_N(1)/N \to 0$. This disproves a conjecture of Yu \cite{yu}. We build on some… ▽ More We show that there are polynomials $p_N$ of arbitrarily large degree $N$, with coefficients equal to 0 or 1 (Newman polynomials), such that $$ \liminf_{N \to \infty} N \Linf{p_N^2} \bigl / p_N^2(1) < 1, $$ where $\Linf{q}$ denotes the maximum coefficient of the polynomial $q$ and which, at the same time, are sparse: $p_N(1)/N \to 0$. This disproves a conjecture of Yu \cite{yu}. We build on some previous results of Berenhaut and Saidak \cite{berenhaut-saidak} and Dubickas \cite{dubickas} whose examples lacked the sparsity. This sparsity we create from these examples by randomization. △ Less

Submitted 7 December, 2008; v1 submitted 11 June, 2008; originally announced June 2008.

Comments: Correction of small errors; *Acknowledgement of priority* Results stronger than those contained in this paper, with similar methods, have been obtained by Javier Cilleruelo (cited) before my paper was written. My paper will not be published. Please do not cite it

MSC Class: 11B34

The discrepancy of a needle on a checkerboard

Authors: Mihail N. Kolountzakis

Abstract: Consider the plane as a checkerboard, with each unit square colored black or white in an arbitrary manner. We show that for any such coloring there are straight line segments, of arbitrarily large length, such that the difference of their white length minus their black length, in absolute value, is at least the square root of their length, up to a multiplicative constant. For the corresponding `… ▽ More Consider the plane as a checkerboard, with each unit square colored black or white in an arbitrary manner. We show that for any such coloring there are straight line segments, of arbitrarily large length, such that the difference of their white length minus their black length, in absolute value, is at least the square root of their length, up to a multiplicative constant. For the corresponding ``finite'' problem ($N \times N$ checkerboard) we also prove that we can color it in such a way that the above quantity is at most $C \sqrt{N \log N}$, for any placement of the line segment. △ Less

Submitted 13 November, 2007; originally announced November 2007.

MSC Class: 11K38; 11K41

Covering the plane by rotations of a lattice arrangement of disks

Authors: Alex Iosevich, Mihail N. Kolountzakis, Mate Matolcsi

Abstract: Suppose we put an $ε$-disk around each lattice point in the plane, and then we rotate this object around the origin for a set $Θ$ of angles. When do we cover the whole plane, except for a neighborhood of the origin? This is the problem we study in this paper. It is very easy to see that if $Θ= [0,2π]$ then we do indeed cover. The problem becomes more interesting if we try to achieve covering wit… ▽ More Suppose we put an $ε$-disk around each lattice point in the plane, and then we rotate this object around the origin for a set $Θ$ of angles. When do we cover the whole plane, except for a neighborhood of the origin? This is the problem we study in this paper. It is very easy to see that if $Θ= [0,2π]$ then we do indeed cover. The problem becomes more interesting if we try to achieve covering with a small closed set $Θ$. △ Less

Submitted 26 November, 2006; originally announced November 2006.

Comments: 8 pages

On the determination of sets by their triple correlation in finite cyclic groups

Authors: Tamas Keleti, Mihail N. Kolountzakis

Abstract: Let $G$ be a finite abelian group and $E$ a subset of it. Suppose that we know for all subsets $T$ of $G$ of size up to $k$ for how many $x \in G$ the translate $x+T$ is contained in $E$. This information is collectively called the $k$-deck of $E$. One can naturally extend the domain of definition of the $k$-deck to include functions on $G$. Given the group $G$ when is the $k$-deck of a set in… ▽ More Let $G$ be a finite abelian group and $E$ a subset of it. Suppose that we know for all subsets $T$ of $G$ of size up to $k$ for how many $x \in G$ the translate $x+T$ is contained in $E$. This information is collectively called the $k$-deck of $E$. One can naturally extend the domain of definition of the $k$-deck to include functions on $G$. Given the group $G$ when is the $k$-deck of a set in $G$ sufficient to determine the set up to translation? The 2-deck is not sufficient (even when we allow for reflection of the set, which does not change the 2-deck) and the first interesting case is $k=3$. We further restrict $G$ to be cyclic and determine the values of $n$ for which the 3-deck of a subset of $\ZZ_n$ is sufficient to determine the set up to translation. This completes the work begun by Grünbaum and Moore as far as the 3-deck is concerned. We additionally estimate from above the probability that for a random subset of $\ZZ_n$ there exists another subset, not a translate of the first, with the same 3-deck. We give an exponentially small upper bound when the previously known one was $O(1\bigl / \sqrt{n})$. △ Less

Submitted 16 March, 2006; originally announced March 2006.

Comments: 17 pages

MSC Class: 43A25

Learning symmetric k-juntas in time n^o(k)

Authors: Mihail N. Kolountzakis, Evangelos Markakis, Aranyak Mehta

Abstract: We give an algorithm for learning symmetric k-juntas (boolean functions of $n$ boolean variables which depend only on an unknown set of $k$ of these variables) in the PAC model under the uniform distribution, which runs in time n^{O(k/\log k)}. Our bound is obtained by proving the following result: Every symmetric boolean function on k variables, except for the parity and the constant functions,… ▽ More We give an algorithm for learning symmetric k-juntas (boolean functions of $n$ boolean variables which depend only on an unknown set of $k$ of these variables) in the PAC model under the uniform distribution, which runs in time n^{O(k/\log k)}. Our bound is obtained by proving the following result: Every symmetric boolean function on k variables, except for the parity and the constant functions, has a non-zero Fourier coefficient of order at least 1 and at most O(k/\log k). This improves the previously best known bound of (3/31)k, and provides the first n^{o(k)} time algorithm for learning symmetric juntas. △ Less

Submitted 12 April, 2005; originally announced April 2005.

Complex Hadamard matrices and the Spectral Set Conjecture

Authors: Mihail N. Kolountzakis, Mate Matolcsi

Abstract: By analyzing the connection between complex Hadamard matrices and spectral sets we prove the direction ``spectral -> tile'' of the Sectral Set Conjecture for all sets A of size at most 5 in any finite Abelian group. This result is then extended to the infinite grid $\Z^d$ for any dimension d, and finally to Euclidean space. It was pointed out recently by Tao that the corresponding statement fa… ▽ More By analyzing the connection between complex Hadamard matrices and spectral sets we prove the direction ``spectral -> tile'' of the Sectral Set Conjecture for all sets A of size at most 5 in any finite Abelian group. This result is then extended to the infinite grid $\Z^d$ for any dimension d, and finally to Euclidean space. It was pointed out recently by Tao that the corresponding statement fails for |A|=6 in the group $\Z_3^5$, and this observation quickly led to the failure of the Spectral Set Conjecture in $\R^5$ (Tao), and subsequently in $\R^4$ (Matolcsi). In the second part of this note we reduce this dimension further, showing that the direction ``spectral -> tile'' of the Spectral Set Conjecture is false already in dimension 3. In a computational search for counterexamples in lower dimension (one and two) one needs, at the very least, to be able to decide efficiently if a set is a tile (in, say, a cyclic group) and if it is spectral. Such efficient procedures are lacking however and we make a few comments for the computational complexity of some related problems. △ Less

Submitted 23 November, 2004; originally announced November 2004.

MSC Class: 52C22; 68Q17

Filling a box with translates of two bricks

Authors: Mihail N. Kolountzakis

Abstract: We give a new proof of the following interesting fact recently proved by Bower and Michael: if a d-dimensional rectangular box can be tiled using translates of two types of rectangular bricks, then it can also be tiled in the following way. We can cut the box across one of its sides into two boxes, one of which can be tiled with the first brick only and the other one with the second brick. Our p… ▽ More We give a new proof of the following interesting fact recently proved by Bower and Michael: if a d-dimensional rectangular box can be tiled using translates of two types of rectangular bricks, then it can also be tiled in the following way. We can cut the box across one of its sides into two boxes, one of which can be tiled with the first brick only and the other one with the second brick. Our proof relies on the Fourier Transform. We also show that no such result is true for three, or more, types of bricks. △ Less

Submitted 21 September, 2004; originally announced September 2004.

Tiles with no spectra

Authors: Mihail N. Kolountzakis, Mate Matolcsi

Abstract: We exhibit a subset of a finite Abelian group, which tiles the group by translation, and such that its tiling complements do not have a common spectrum (orthogonal basis for their $L^2$ space consisting of group characters). This disproves the Universal Spectrum Conjecture of Lagarias and Wang. Further, we construct a set in some finite Abelian group, which tiles the group but has no spectrum. W… ▽ More We exhibit a subset of a finite Abelian group, which tiles the group by translation, and such that its tiling complements do not have a common spectrum (orthogonal basis for their $L^2$ space consisting of group characters). This disproves the Universal Spectrum Conjecture of Lagarias and Wang. Further, we construct a set in some finite Abelian group, which tiles the group but has no spectrum. We extend this last example to the groups $\ZZ^d$ and $\RR^d$ (for $d \ge 5$) thus disproving one direction of the Spectral Set Conjecture of Fuglede. The other direction was recently disproved by Tao. △ Less

Submitted 7 June, 2004; originally announced June 2004.

Comments: 8 pages

MSC Class: 52C22; 20K01; 42B99

Turán's extremal problem for positive definite functions on groups

Authors: Mihail N. Kolountzakis, Szilard Gy. Revesz

Abstract: We study the following question: Given an open set $Ω$, symmetric about 0, and a continuous, integrable, positive definite function $f$, supported in $Ω$ and with $f(0)=1$, how large can $\int f$ be? This problem has been studied so far mostly for convex domains $Ω$ in Euclidean space. In this paper we study the question in arbitrary locally compact abelian groups and for more general domains. O… ▽ More We study the following question: Given an open set $Ω$, symmetric about 0, and a continuous, integrable, positive definite function $f$, supported in $Ω$ and with $f(0)=1$, how large can $\int f$ be? This problem has been studied so far mostly for convex domains $Ω$ in Euclidean space. In this paper we study the question in arbitrary locally compact abelian groups and for more general domains. Our emphasis is on finite groups as well as Euclidean spaces and $\ZZ^d$. We exhibit upper bounds for $\int f$ assuming geometric properties of $Ω$ of two types: (a) packing properties of $Ω$ and (b) spectral properties of $Ω$. Several examples and applications of the main theorems are shown. In particular we recover and extend several known results concerning convex domains in Euclidean space. Also, we investigate the question of estimating $\int_Ωf$ over possibly dispersed sets solely in dependence of the given measure $m:=|Ω|$ of $Ω$. In this respect we show that in $\RR$ and $\ZZ$ the integral is maximal for intervals. △ Less

Submitted 10 December, 2003; originally announced December 2003.

Comments: 18 pages, 1 figure

MSC Class: 43A35; 42B10

A Weyl type formula for Fourier spectra and frames

Authors: Alex Iosevich, Mihail N. Kolountzakis

Abstract: We prove qualitative and quantitative results concerning the asymptotic density in dilates of centered convex bodies of the frequency vectors of orthogonal exponential bases and frames associated to bounded domains in Euclidean space. We prove qualitative and quantitative results concerning the asymptotic density in dilates of centered convex bodies of the frequency vectors of orthogonal exponential bases and frames associated to bounded domains in Euclidean space. △ Less

Submitted 21 October, 2003; originally announced October 2003.

Comments: 7 pages

MSC Class: 42C15

The study of translational tiling with Fourier Analysis

Authors: Mihail N. Kolountzakis

Abstract: This is a survey on the subject of the title corresponding to three lectures I gave in June 2001 at the Workshop on Fourier Analysis and Convexity, at the Universita di Milano-Biccoca. This is a survey on the subject of the title corresponding to three lectures I gave in June 2001 at the Workshop on Fourier Analysis and Convexity, at the Universita di Milano-Biccoca. △ Less

Submitted 22 April, 2003; v1 submitted 1 April, 2003; originally announced April 2003.

Comments: 52 pages, 15 figures 2 references added (Leptin and Mueller, Mackey) from first version

MSC Class: 42 52

Distance sets corresponding to convex bodies

Authors: Mihail N. Kolountzakis

Abstract: Suppose that $K \subseteq \RR^d$ is a 0-symmetric convex body which defines the usual norm $$ \Norm{x}_K = \sup\Set{t\ge 0: x \notin tK} $$ on $\RR^d$. Let also $A\subseteq\RR^d$ be a measurable set of positive upper density $ρ$. We show that if the body $K$ is not a polytope, or if it is a polytope with many faces (depending on $ρ$), then the distance set… ▽ More Suppose that $K \subseteq \RR^d$ is a 0-symmetric convex body which defines the usual norm $$ \Norm{x}_K = \sup\Set{t\ge 0: x \notin tK} $$ on $\RR^d$. Let also $A\subseteq\RR^d$ be a measurable set of positive upper density $ρ$. We show that if the body $K$ is not a polytope, or if it is a polytope with many faces (depending on $ρ$), then the distance set $$ D_K(A) = \Set{\Norm{x-y}_K: x,y\in A} $$ contains all points $t\ge t_0$ for some positive number $t_0$. This was proved by Katznelson and Weiss, by Falconer and Marstrand and by Bourgain in the case where $K$ is the Euclidean ball in any dimension. As corollaries we obtain (a) an extension to any dimension of a theorem of Iosevich and Łaba regarding distance sets with respect to convex bodies of well-distributed sets in the plane, and also (b) a new proof of a theorem of Iosevich, Katz and Tao about the nonexistence of Fourier spectra for smooth convex bodies. △ Less

Submitted 17 March, 2003; originally announced March 2003.

Comments: 9 pages