Showing 1–48 of 48 results for author: Matolcsi, M

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

Triplets of Mutually Unbiased Bases

Authors: Máte Matolcsi, Ákos K. Matszangosz, Dániel Varga, Mihály Weiner

Abstract: We initiate a systematic study of triplets of mutually unbiased bases (MUBs). We show that in $\mathbb{C}^d$ each MUB-triplet is characterized by a $d\times d\times d$ object that we call a Hadamard cube. We describe the basic properties of Hadamard cubes, and show how an MUB-triplet can be reconstructed from such a cube, up to unitary equivalence. We also present an algebraic identity which is… ▽ More We initiate a systematic study of triplets of mutually unbiased bases (MUBs). We show that in $\mathbb{C}^d$ each MUB-triplet is characterized by a $d\times d\times d$ object that we call a Hadamard cube. We describe the basic properties of Hadamard cubes, and show how an MUB-triplet can be reconstructed from such a cube, up to unitary equivalence. We also present an algebraic identity which is conjectured to hold for all MUB-triplets in dimension 6. If true, it would imply the long-standing conjecture of Zauner that the maximum number of MUBs in dimension 6 is three. △ Less

Submitted 18 March, 2025; originally announced March 2025.

Functional tilings and the Coven-Meyerowitz tiling conditions

Authors: Gergely Kiss, Itay Londner, Máté Matolcsi, Gábor Somlai

Abstract: Coven and Meyerowitz formulated two conditions which have since been conjectured to characterize all finite sets that tile the integers by translation. By periodicity, this conjecture is reduced to sets which tile a finite cyclic group $\mathbb{Z}_M$. In this paper we consider a natural relaxation of this problem, where we replace sets with nonnegative functions $f,g$, such that $f(0)=g(0)=1$,… ▽ More Coven and Meyerowitz formulated two conditions which have since been conjectured to characterize all finite sets that tile the integers by translation. By periodicity, this conjecture is reduced to sets which tile a finite cyclic group $\mathbb{Z}_M$. In this paper we consider a natural relaxation of this problem, where we replace sets with nonnegative functions $f,g$, such that $f(0)=g(0)=1$, $f\ast g=\mathbf{1}_{\mathbb{Z}_M}$ is a functional tiling, and $f, g$ satisfy certain further natural properties associated with tilings. We show that the Coven-Meyerowitz tiling conditions do not necessarily hold in such generality. Such examples of functional tilings carry the potential to lead to proper tiling counterexamples to the Coven-Meyerowitz conjecture in the future. △ Less

Submitted 22 April, 2025; v1 submitted 6 November, 2024; originally announced November 2024.

Comments: 18 pages. Several misprints and inaccuracies from the original submission were corrected. More detailed explanation in some proofs are provided

MSC Class: 05B45; 11B75; 20K01 (Primary) 11C08; 43A47; 51D20; 52C22 (Secondary)

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

A lonely weak tile

Authors: Gergely Kiss, Itay Londner, Máté Matolcsi, Gábor Somlai

Abstract: The notion of weak tiling was a key ingredient in the proof of Fuglede's spectral set conjecture for convex bodies \cite{conv}, due to the fact that every spectral set tiles its complement weakly with a suitable Borel measure. In this paper we review the concept of weak tiling, and answer a question raised in \cite{weak} by giving an example of a set $T$ which tiles its complement weakly, but $T$… ▽ More The notion of weak tiling was a key ingredient in the proof of Fuglede's spectral set conjecture for convex bodies \cite{conv}, due to the fact that every spectral set tiles its complement weakly with a suitable Borel measure. In this paper we review the concept of weak tiling, and answer a question raised in \cite{weak} by giving an example of a set $T$ which tiles its complement weakly, but $T$ is neither spectral, nor a proper tile. △ Less

Submitted 3 December, 2024; v1 submitted 7 October, 2024; originally announced October 2024.

MSC Class: 05B45; 42A75; 20K01

Difference sets and positive exponential sums II: cubic residues in cyclic groups

Authors: Mate Matolcsi, Imre Z. Ruzsa

Abstract: By constructing suitable nonnegative exponential sums we give upper bounds on the cardinality of any set $B_q$ in cyclic groups $\ZZ_q$ such that the difference set $B_q-B_q$ avoids cubic residues modulo $q$. By constructing suitable nonnegative exponential sums we give upper bounds on the cardinality of any set $B_q$ in cyclic groups $\ZZ_q$ such that the difference set $B_q-B_q$ avoids cubic residues modulo $q$. △ Less

Submitted 22 April, 2025; v1 submitted 1 June, 2024; originally announced June 2024.

Comments: 8 pages. A clarification for the variable j under the summation in formula (2) was added

MSC Class: 11L03; 11B50

Journal ref: Proceedings of the Steklov Institute of Mathematics 314 : 1 pp. 138-143, 6 p. (2021)

The fractional chromatic number of the plane is at least 4

Authors: Máté Matolcsi, Imre Z. Ruzsa, Dániel Varga, Pál Zsámboki

Abstract: We prove that the fractional chromatic number $χ_f(\mathbb R^2)$ of the unit distance graph of the Euclidean plane is greater than or equal to $4$. Interestingly, however, we cannot present a finite subgraph $G$ of the plane such that $χ_f(G)\ge 4$. Instead, we utilize the concept of the geometric fractional chromatic number $χ_{gf}(G)$, which was introduced recently in connection with density bou… ▽ More We prove that the fractional chromatic number $χ_f(\mathbb R^2)$ of the unit distance graph of the Euclidean plane is greater than or equal to $4$. Interestingly, however, we cannot present a finite subgraph $G$ of the plane such that $χ_f(G)\ge 4$. Instead, we utilize the concept of the geometric fractional chromatic number $χ_{gf}(G)$, which was introduced recently in connection with density bounds for 1-avoiding sets. First, as $G$ ranges over finite subgraphs of the plane, we establish that the supremum of $χ_f(G)$ is the same as that of $χ_{gf}(G)$. The proof exploits the amenability of the group of Euclidean transformations in dimension 2 and, as such, we do not know whether the analogous statement holds in higher dimensions. We then present a specific planar unit distance graph $G$ on 27 vertices such that $χ_{gf}(G)=4$, and conclude $χ_f(\mathbb R^2)\ge 4$ as a corollary. As another main result we show that the finitary fractional chromatic number and the Hall ratio of the plane are equal. As a consequence, we conclude that there exist finite unit distance graphs with independence ratio $\frac{1}{4}+\varepsilon$, while we conjecture that the value $\frac{1}{4}$ cannot be reached. △ Less

Submitted 27 March, 2025; v1 submitted 16 November, 2023; originally announced November 2023.

Tiling and weak tiling in $(\mathbb{Z}_p)^d$

Authors: Gergely Kiss, Dávid Matolcsi, Máté Matolcsi, Gábor Somlai

Abstract: We discuss the relation of tiling, weak tiling and spectral sets in finite abelian groups. In particular, in elementary $p$-groups $(\mathbb{Z}_p)^d$, we introduce an averaging procedure that leads to a natural object of study: a 4-tuple of functions which can be regarded as a common generalization of tiles and spectral sets. We characterize such 4-tuples for $d=1, 2$, and prove some partial resul… ▽ More We discuss the relation of tiling, weak tiling and spectral sets in finite abelian groups. In particular, in elementary $p$-groups $(\mathbb{Z}_p)^d$, we introduce an averaging procedure that leads to a natural object of study: a 4-tuple of functions which can be regarded as a common generalization of tiles and spectral sets. We characterize such 4-tuples for $d=1, 2$, and prove some partial results for $d=3$. △ Less

Submitted 11 December, 2022; originally announced December 2022.

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

The density of planar sets avoiding unit distances

Authors: Gergely Ambrus, Adrián Csiszárik, Máté Matolcsi, Dániel Varga, Pál Zsámboki

Abstract: By improving upon previous estimates on a problem posed by L. Moser, we prove a conjecture of Erdős that the density of any measurable planar set avoiding unit distances cannot exceed $1/4$. Our argument implies the upper bound of $0.2470$. By improving upon previous estimates on a problem posed by L. Moser, we prove a conjecture of Erdős that the density of any measurable planar set avoiding unit distances cannot exceed $1/4$. Our argument implies the upper bound of $0.2470$. △ Less

Submitted 28 July, 2023; v1 submitted 28 July, 2022; originally announced July 2022.

Comments: 24 pages, 6 figures. Final version, to appear in Mathematical Programming

MSC Class: 42B05; 52C10; 52C17; 90C05

The Fuglede conjecture for convex domains is true in all dimensions

Authors: Nir Lev, Máté Matolcsi

Abstract: A set $Ω\subset \mathbb{R}^d$ is said to be spectral if the space $L^2(Ω)$ has an orthogonal basis of exponential functions. A conjecture due to Fuglede (1974) stated that $Ω$ is a spectral set if and only if it can tile the space by translations. While this conjecture was disproved for general sets, it has long been known that for a convex body $Ω\subset \mathbb{R}^d$ the "tiling implies spectral… ▽ More A set $Ω\subset \mathbb{R}^d$ is said to be spectral if the space $L^2(Ω)$ has an orthogonal basis of exponential functions. A conjecture due to Fuglede (1974) stated that $Ω$ is a spectral set if and only if it can tile the space by translations. While this conjecture was disproved for general sets, it has long been known that for a convex body $Ω\subset \mathbb{R}^d$ the "tiling implies spectral" part of the conjecture is in fact true. To the contrary, the "spectral implies tiling" direction of the conjecture for convex bodies was proved only in $\mathbb{R}^2$, and also in $\mathbb{R}^3$ under the a priori assumption that $Ω$ is a convex polytope. In higher dimensions, this direction of the conjecture remained completely open (even in the case when $Ω$ is a polytope) and could not be treated using the previously developed techniques. In this paper we fully settle Fuglede's conjecture for convex bodies affirmatively in all dimensions, i.e. we prove that if a convex body $Ω\subset \mathbb{R}^d$ is a spectral set then $Ω$ is a convex polytope which can tile the space by translations. To prove this we introduce a new technique, involving a construction from crystallographic diffraction theory, which allows us to establish a geometric "weak tiling" condition necessary for a set $Ω\subset \mathbb{R}^d$ to be spectral. △ Less

Submitted 2 July, 2022; v1 submitted 28 April, 2019; originally announced April 2019.

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

Journal ref: Acta Mathematica 228 (2022), no. 2, 385-420

Triangulations and a discrete Brunn-Minkowski inequality in the plane

Authors: Károly J. Böröczky, Máté Matolcsi, Imre Z. Ruzsa, Francisco Santos, Oriol Serra

Abstract: For a set $A$ of points in the plane, not all collinear, we denote by ${\rm tr}(A)$ the number of triangles in any triangulation of $A$; that is, ${\rm tr}(A) = 2i+b-2$ where $b$ and $i$ are the numbers of points of $A$ in the boundary and the interior of $[A]$ (we use $[A]$ to denote "convex hull of $A$"). We conjecture the following analogue of the Brunn-Minkowski inequality: for any two point s… ▽ More For a set $A$ of points in the plane, not all collinear, we denote by ${\rm tr}(A)$ the number of triangles in any triangulation of $A$; that is, ${\rm tr}(A) = 2i+b-2$ where $b$ and $i$ are the numbers of points of $A$ in the boundary and the interior of $[A]$ (we use $[A]$ to denote "convex hull of $A$"). We conjecture the following analogue of the Brunn-Minkowski inequality: for any two point sets $A,B \subset {\mathbb R}^2$ one has \[ {\rm tr}(A+B)^{\frac12}\geq {\rm tr}(A)^{\frac12}+{\rm tr}(B)^{\frac12}. \] We prove this conjecture in several cases: if $[A]=[B]$, if $B=A\cup\{b\}$, if $|B|=3$, or if none of $A$ or $B$ has interior points. △ Less

Submitted 10 December, 2018; originally announced December 2018.

Comments: 30 pages

Journal ref: Discrete Comput. Geom. 64:2 (2020), 396-426

Density estimates of 1-avoiding sets via higher order correlations

Authors: Gergely Ambrus, Máté Matolcsi

Abstract: We improve the best known upper bound on the density of a planar measurable set A containing no two points at unit distance to 0.25442. We use a combination of Fourier analytic and linear programming methods to obtain the result. The estimate is achieved by means of obtaining new linear constraints on the autocorrelation function of A utilizing triple-order correlations in A, a concept that has no… ▽ More We improve the best known upper bound on the density of a planar measurable set A containing no two points at unit distance to 0.25442. We use a combination of Fourier analytic and linear programming methods to obtain the result. The estimate is achieved by means of obtaining new linear constraints on the autocorrelation function of A utilizing triple-order correlations in A, a concept that has not been previously studied. △ Less

Submitted 20 October, 2020; v1 submitted 14 September, 2018; originally announced September 2018.

Comments: 11 pages, 2 figures

MSC Class: 42B05; 52C10; 52C17; 90C05

Journal ref: Discrete and Computational Geometry, 2020

Finite projective planes and the Delsarte LP-bound

Authors: Mate Matolcsi, Mihaly Weiner

Abstract: We apply an improvement of the Delsarte LP-bound to give a new proof of the non-existence of finite projective planes of order 6, and uniqueness of finite projective planes of order 7. The proof is computer aided, and it is also feasible to apply to higher orders like 8, 9 and, with further improvements, possibly 10 and 12. We apply an improvement of the Delsarte LP-bound to give a new proof of the non-existence of finite projective planes of order 6, and uniqueness of finite projective planes of order 7. The proof is computer aided, and it is also feasible to apply to higher orders like 8, 9 and, with further improvements, possibly 10 and 12. △ Less

Submitted 29 January, 2018; originally announced January 2018.

Comments: 11 pages

Character tables and the problem of existence of finite projective planes

Authors: Máté Matolcsi, Mihály Weiner

Abstract: Recently, the authors of the present work (together with M. N. Kolountzakis) introduced a new version of the non-commutative Delsarte scheme and applied it to the problem of mutually unbiased bases. Here we use this method to investigate the existence of a finite projective plane of a given order d. In particular, a short new proof is obtained for the nonexistence of a projective plane of order 6.… ▽ More Recently, the authors of the present work (together with M. N. Kolountzakis) introduced a new version of the non-commutative Delsarte scheme and applied it to the problem of mutually unbiased bases. Here we use this method to investigate the existence of a finite projective plane of a given order d. In particular, a short new proof is obtained for the nonexistence of a projective plane of order 6. For higher orders like 10 and 12, the method is non decisive but could turn out to give important supplementary informations. △ Less

Submitted 18 September, 2017; originally announced September 2017.

MSC Class: 05B10 (Primary); 20C15; 05B25 (Secondary)

On the existence of flat orthogonal matrices

Authors: Philippe Jaming, Mate Matolcsi

Abstract: In this note we investigate the existence of flat orthogonal matrices, i.e. real orthogonal matrices with all entries having absolute value close to $\frac{1}{\sqrt{n}}$. Entries of $\pm \frac{1}{\sqrt{n}}$ correspond to Hadamard matrices, so the question of existence of flat orthogonal matrices can be viewed as a relaxation of the Hadamard problem. In this note we investigate the existence of flat orthogonal matrices, i.e. real orthogonal matrices with all entries having absolute value close to $\frac{1}{\sqrt{n}}$. Entries of $\pm \frac{1}{\sqrt{n}}$ correspond to Hadamard matrices, so the question of existence of flat orthogonal matrices can be viewed as a relaxation of the Hadamard problem. △ Less

Submitted 14 May, 2015; originally announced May 2015.

Comments: 10 pages

MSC Class: 15B10

Better bounds for planar sets avoiding unit distances

Authors: Tamás Keleti, Máté Matolcsi, Fernando Mário de Oliveira Filho, Imre Z. Ruzsa

Abstract: A $1$-avoiding set is a subset of $\mathbb{R}^n$ that does not contain pairs of points at distance $1$. Let $m_1(\mathbb{R}^n)$ denote the maximum fraction of $\mathbb{R}^n$ that can be covered by a measurable $1$-avoiding set. We prove two results. First, we show that any $1$-avoiding set in $\mathbb{R}^n$ ($n\ge 2$) that displays block structure (i.e., is made up of blocks such that the distance… ▽ More A $1$-avoiding set is a subset of $\mathbb{R}^n$ that does not contain pairs of points at distance $1$. Let $m_1(\mathbb{R}^n)$ denote the maximum fraction of $\mathbb{R}^n$ that can be covered by a measurable $1$-avoiding set. We prove two results. First, we show that any $1$-avoiding set in $\mathbb{R}^n$ ($n\ge 2$) that displays block structure (i.e., is made up of blocks such that the distance between any two points from the same block is less than $1$ and points from distinct blocks lie farther than $1$ unit of distance apart from each other) has density strictly less than $1/2^n$. For the special case of sets with block structure this proves a conjecture of Erdős asserting that $m_1(\mathbb{R}^2) < 1/4$. Second, we use linear programming and harmonic analysis to show that $m_1(\mathbb{R}^2) \leq 0.258795$. △ Less

Submitted 26 October, 2015; v1 submitted 31 December, 2014; originally announced January 2015.

Comments: 16 pages, 1 figure. Contains a Sage script called dstverify.sage, to verify the application of Theorem 3.3. Download the article source to get the script

MSC Class: 42B05; 52C10; 52C17; 90C05

Journal ref: Discrete Comput Geom 55 (2016) 642-661

A Walsh-Fourier approach to the circulant Hadamard conjecture

Authors: M. Matolcsi

Abstract: We describe an approach to the circulant Hadamard conjecture based on Walsh-Fourier analysis. We show that the existence of a circulant Hadamard matrix of order $n$ is equivalent to the existence of a non-trivial solution of a certain homogenous linear system of equations. Based on this system, a possible way of proving the conjecture is proposed. We describe an approach to the circulant Hadamard conjecture based on Walsh-Fourier analysis. We show that the existence of a circulant Hadamard matrix of order $n$ is equivalent to the existence of a non-trivial solution of a certain homogenous linear system of equations. Based on this system, a possible way of proving the conjecture is proposed. △ Less

Submitted 25 September, 2014; originally announced September 2014.

Comments: 8 pages

MSC Class: 05B20; 15B34

An improvement on the Delsarte-type LP-bound with application to MUBs

Authors: M. Matolcsi, M. Weiner

Abstract: The linear programming (LP) bound of Delsarte can be applied to several problems in various branches of mathematics. We describe a general Fourier analytic method to get a slight improvement on this bound. We then apply our method to the problem of mutually unbiased bases (MUBs) to prove that the Fourier family $F(a,b)$ in dimension 6 cannot be extended to a full system of MUBs. The linear programming (LP) bound of Delsarte can be applied to several problems in various branches of mathematics. We describe a general Fourier analytic method to get a slight improvement on this bound. We then apply our method to the problem of mutually unbiased bases (MUBs) to prove that the Fourier family $F(a,b)$ in dimension 6 cannot be extended to a full system of MUBs. △ Less

Submitted 25 September, 2014; originally announced September 2014.

Comments: 10 pages

MSC Class: 05B10; 15A30

Squares and difference sets in finite fields

Authors: Christine Bachoc, Imre Z. Ruzsa, Mate Matolcsi

Abstract: For infinitely many primes $p=4k+1$ we give a slightly improved upper bound for the maximal cardinality of a set $B\subset \ZZ_p$ such that the difference set $B-B$ contains only quadratic residues. Namely, instead of the "trivial" bound $|B|\leq \sqrt{p}$ we prove $|B|\leq \sqrt{p}-1$, under suitable conditions on $p$. The new bound is valid for approximately three quarters of the primes… ▽ More For infinitely many primes $p=4k+1$ we give a slightly improved upper bound for the maximal cardinality of a set $B\subset \ZZ_p$ such that the difference set $B-B$ contains only quadratic residues. Namely, instead of the "trivial" bound $|B|\leq \sqrt{p}$ we prove $|B|\leq \sqrt{p}-1$, under suitable conditions on $p$. The new bound is valid for approximately three quarters of the primes $p=4k+1$. △ Less

Submitted 2 May, 2013; originally announced May 2013.

Comments: 6 pages

MSC Class: 05C69; 11T06

A note on the pyjama problem

Authors: R. D. Malikiosis, M. Matolcsi, I. Z. Ruzsa

Abstract: This note concerns the so-called pyjama problem, whether it is possible to cover the plane by finitely many rotations of vertical strips of half-width $\varepsilon$. We first prove that there exist no periodic coverings for $\varepsilon<1/3$. Then we describe an explicit (non-periodic) construction for $\varepsilon =1/3-1/48$. Finally, we use a compactness argument combined with some ideas from ad… ▽ More This note concerns the so-called pyjama problem, whether it is possible to cover the plane by finitely many rotations of vertical strips of half-width $\varepsilon$. We first prove that there exist no periodic coverings for $\varepsilon<1/3$. Then we describe an explicit (non-periodic) construction for $\varepsilon =1/3-1/48$. Finally, we use a compactness argument combined with some ideas from additive combinatorics to show that a finite covering exists for $\varepsilon =1/5$. The question whether $\varepsilon$ can be arbitrarily small remains open. △ Less

Submitted 26 November, 2012; originally announced November 2012.

Comments: 9 pages

MSC Class: 52C15

Journal ref: European Journal of Combinatorics, Vol. 34 (7), 1071-1077, 2013

Difference sets and positive exponential sums I. General properties

Authors: Mate Matolcsi, Imre Z. Ruzsa

Abstract: We describe general connections between intersective properties of sets in Abelian groups and positive exponential sums. In particular, given a set $A$ the maximal size of a set whose difference set avoids $A$ will be related to positive exponential sums using frequencies from $A$. We describe general connections between intersective properties of sets in Abelian groups and positive exponential sums. In particular, given a set $A$ the maximal size of a set whose difference set avoids $A$ will be related to positive exponential sums using frequencies from $A$. △ Less

Submitted 16 July, 2012; v1 submitted 7 July, 2012; originally announced July 2012.

Comments: 21 pages, a few remarks added, and one theorem slightly extended

MSC Class: 11B75; 11P70

The problem of mutually unbiased bases in dimension 6

Authors: Philippe Jaming, Mate Matolcsi, Peter Mora

Abstract: We outline a discretization approach to determine the maximal number of mutually unbiased bases in dimension 6. We describe the basic ideas and introduce the most important definitions to tackle this famous open problem which has been open for the last 10 years. Some preliminary results are also listed. We outline a discretization approach to determine the maximal number of mutually unbiased bases in dimension 6. We describe the basic ideas and introduce the most important definitions to tackle this famous open problem which has been open for the last 10 years. Some preliminary results are also listed. △ Less

Submitted 3 January, 2012; originally announced January 2012.

Comments: 13 pages

Journal ref: Cryptography and Communications, Vol. 2, Number 2, (2010) 211-220

Real and complex unbiased Hadamard matrices

Authors: Mate Matolcsi, Imre Z. Ruzsa, Mihaly Weiner

Abstract: We use combinatorial and Fourier analytic arguments to prove various non-existence results on systems of real and complex unbiased Hadamard matrices. In particular, we prove that a complete system of complex mutually unbiased Hadamard matrices (MUHs) in any dimension $d$ cannot contain more than one real Hadamard matrix. We also give new proofs of several known structural results in low dimensions… ▽ More We use combinatorial and Fourier analytic arguments to prove various non-existence results on systems of real and complex unbiased Hadamard matrices. In particular, we prove that a complete system of complex mutually unbiased Hadamard matrices (MUHs) in any dimension $d$ cannot contain more than one real Hadamard matrix. We also give new proofs of several known structural results in low dimensions, for $d\le 6$. △ Less

Submitted 3 January, 2012; originally announced January 2012.

Comments: 13 pages

Sets with no solutions to $x+y=3z$

Authors: Mate Matolcsi, Imre Z. Ruzsa

Abstract: This short note gives an upper bound on the measure of sets $A\subset [0,1]$ such that $x+y=3z$ has no solutions in $A$. This short note gives an upper bound on the measure of sets $A\subset [0,1]$ such that $x+y=3z$ has no solutions in $A$. △ Less

Submitted 3 January, 2012; originally announced January 2012.

Comments: 5 pages

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.

A Fourier analytic approach to the problem of mutually unbiased bases

Authors: Mate Matolcsi

Abstract: We give an entirely new approach to the problem of mutually unbiased bases (MUBs), based on a Fourier analytic technique in additive combinatorics. The method provides a short and elegant generalization of the fact that there are at most $d+1$ MUBs in $\Co^d$. It may also yield a proof that no complete system of MUBs exists in some composite dimensions -- a long standing open problem. We give an entirely new approach to the problem of mutually unbiased bases (MUBs), based on a Fourier analytic technique in additive combinatorics. The method provides a short and elegant generalization of the fact that there are at most $d+1$ MUBs in $\Co^d$. It may also yield a proof that no complete system of MUBs exists in some composite dimensions -- a long standing open problem. △ Less

Submitted 13 September, 2010; originally announced September 2010.

Comments: 11 pages

MSC Class: 15A30; 05B10; 47L05

Improved bounds on the supremum of autoconvolutions

Authors: Mate Matolcsi, Carlos Vinuesa

Abstract: We give a slight improvement of the best known lower bound for the supremum of autoconvolutions of nonnegative functions supported in a compact interval. Also, by means of explicit examples we disprove a long standing natural conjecture of Schinzel and Schmidt concerning the extremal function for such autoconvolutions. We give a slight improvement of the best known lower bound for the supremum of autoconvolutions of nonnegative functions supported in a compact interval. Also, by means of explicit examples we disprove a long standing natural conjecture of Schinzel and Schmidt concerning the extremal function for such autoconvolutions. △ Less

Submitted 4 September, 2009; v1 submitted 8 July, 2009; originally announced July 2009.

Comments: 15 pages. Some typos have been corrected, the best examples have been slightly improved, two plots of them have been included and some remarks have been added

MSC Class: 42A85; 42A05; 11P70

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

Plunnecke's inequality for different summands

Authors: Katalin Gyarmati, Mate Matolcsi, Imre Z. Ruzsa

Abstract: The aim of this paper is to prove a general version of Plünnecke's inequality. Namely, assume that for finite sets $A$, $B_1, ... B_k$ we have information on the size of the sumsets $A+B_{i_1}+... +B_{i_l}$ for all choices of indices $i_1, ... i_l.$ Then we prove the existence of a non-empty subset $X$ of $A$ such that we have `good control' over the size of the sumset $X+B_1+... +B_k$. As an ap… ▽ More The aim of this paper is to prove a general version of Plünnecke's inequality. Namely, assume that for finite sets $A$, $B_1, ... B_k$ we have information on the size of the sumsets $A+B_{i_1}+... +B_{i_l}$ for all choices of indices $i_1, ... i_l.$ Then we prove the existence of a non-empty subset $X$ of $A$ such that we have `good control' over the size of the sumset $X+B_1+... +B_k$. As an application of this result we generalize an inequality of \cite{gymr} concerning the submultiplicativity of cardinalities of sumsets. △ Less

Submitted 8 October, 2008; originally announced October 2008.

Comments: 8 pages

MSC Class: 11B50; 11B75; 11P70

Sumsets and the convex hull

Authors: Mate Matolcsi, Imre Z. Ruzsa

Abstract: We extend Freiman's inequality on the cardinality of the sumset of a $d$ dimensional set. We consider different sets related by an inclusion of their convex hull, and one of them added possibly several times. We extend Freiman's inequality on the cardinality of the sumset of a $d$ dimensional set. We consider different sets related by an inclusion of their convex hull, and one of them added possibly several times. △ Less

Submitted 8 October, 2008; originally announced October 2008.

Comments: 6 pages

MSC Class: 11B50; 11B75; 11P70

On the extremal rays of the cone of positive, positive definite functions

Authors: Philippe Jaming, Maté Matolcsi, Szilard Gy. Révesz

Abstract: The aim of this paper is to investigate the cone of non-negative, radial, positive-definite functions in the set of continuous functions on $\R^d$. Elements of this cone admit a Choquet integral representation in terms of the extremals. The main feature of this article is to characterize some large classes of such extremals. In particular, we show that there many other extremals than the gaussia… ▽ More The aim of this paper is to investigate the cone of non-negative, radial, positive-definite functions in the set of continuous functions on $\R^d$. Elements of this cone admit a Choquet integral representation in terms of the extremals. The main feature of this article is to characterize some large classes of such extremals. In particular, we show that there many other extremals than the gaussians, thus disproving a conjecture of G. Choquet and that no reasonable conjecture can be made on the full set of extremals. The last feature of this article is to show that many characterizations of positive definite functions available in the literature are actually particular cases of the Choquet integral representations we obtain. △ Less

Submitted 7 January, 2008; originally announced January 2008.

MSC Class: 42A82

Journal ref: Journal of fourier analysis and applications 15 (2009) 561-582

A superadditivity and submultiplicativity property for cardinalities of sumsets

Authors: Katalin Gyarmati, Imre Z. Ruzsa, Mate Matolcsi

Abstract: For finite sets of integers $A_1, A_2 ... A_n$ we study the cardinality of the $n$-fold sumset $A_1+... +A_n$ compared to those of $n-1$-fold sumsets $A_1+... +A_{i-1}+A_{i+1}+... A_n$. We prove a superadditivity and a submultiplicativity property for these quantities. We also examine the case when the addition of elements is restricted to an addition graph between the sets. For finite sets of integers $A_1, A_2 ... A_n$ we study the cardinality of the $n$-fold sumset $A_1+... +A_n$ compared to those of $n-1$-fold sumsets $A_1+... +A_{i-1}+A_{i+1}+... A_n$. We prove a superadditivity and a submultiplicativity property for these quantities. We also examine the case when the addition of elements is restricted to an addition graph between the sets. △ Less

Submitted 18 July, 2007; originally announced July 2007.

Comments: 9 pages

MSC Class: 11B50; 11B75; 11P70

Towards a classification of $6\times 6$ complex Hadamard matrices

Authors: Máté Matolcsi, Ferenc Szöllősi

Abstract: Complex Hadamard matrices have received considerable attention in the past few years due to their appearance in quantum information theory. While a complete characterization is currently available only up to order 5 (in \cite{haagerup}), several new constructions of higher order matrices have appeared recently \cite{dita, karol, BN, MM, sz}. In particular, the classification of {\it self-adjoint… ▽ More Complex Hadamard matrices have received considerable attention in the past few years due to their appearance in quantum information theory. While a complete characterization is currently available only up to order 5 (in \cite{haagerup}), several new constructions of higher order matrices have appeared recently \cite{dita, karol, BN, MM, sz}. In particular, the classification of {\it self-adjoint} complex Hadamard matrices of order 6 was completed by Beuachamp and Nicoara in \cite{BN}, providing a previously unknown non-affine one-parameter orbit. In this paper we classify all \emph{dephased, symmetric} complex Hadamard matrices \emph{with real diagonal} of order 6. Furthermore, relaxing the condition on the diagonal entries we obtain a new non-affine one-parameter orbit connecting the Fourier matrix $F_6$ and Diţă's matrix $D_6$. This answers a recent question of Bengtsson & al. in \cite{BB}. △ Less

Submitted 2 February, 2007; originally announced February 2007.

Comments: 14 pages

MSC Class: 05B20; 46L10

An efficient algorithm for positive realizations

Authors: Wojciech Czaja, Philippe Jaming, Maté Matolcsi

Abstract: We observe that successive applications of known results from the theory of positive systems lead to an {\it efficient general algorithm} for positive realizations of transfer functions. We give two examples to illustrate the algorithm, one of which complements an earlier result of \cite{large}. Finally, we improve a lower-bound of \cite{mn2} to indicate that the algorithm is indeed efficient in… ▽ More We observe that successive applications of known results from the theory of positive systems lead to an {\it efficient general algorithm} for positive realizations of transfer functions. We give two examples to illustrate the algorithm, one of which complements an earlier result of \cite{large}. Finally, we improve a lower-bound of \cite{mn2} to indicate that the algorithm is indeed efficient in general. △ Less

Submitted 11 July, 2007; v1 submitted 19 December, 2006; originally announced December 2006.

Journal ref: system and control letters (2008); vol. 57; 436-441

On the real linear polarization constant problem

Authors: Máté Matolcsi, Gustavo A. Muñoz

Abstract: The present paper deals with lower bounds for the norm of products of linear forms. It has been proved by J. Arias-de-Reyna \cite{ARIAS}, that %for ${\mathbb C}^n$, the so-called $n^{\rm th}$ linear polarization constant $c_n({\mathbb C}^n)$ is $n^{n/2}$, for arbitrary $n\in\NN$. The same value for $c_n({\mathbb R}^n)$ is only conjectured. In a recent work A. Pappas and S. R{é}v{é}sz prove that… ▽ More The present paper deals with lower bounds for the norm of products of linear forms. It has been proved by J. Arias-de-Reyna \cite{ARIAS}, that %for ${\mathbb C}^n$, the so-called $n^{\rm th}$ linear polarization constant $c_n({\mathbb C}^n)$ is $n^{n/2}$, for arbitrary $n\in\NN$. The same value for $c_n({\mathbb R}^n)$ is only conjectured. In a recent work A. Pappas and S. R{é}v{é}sz prove that $c_n({\mathbb R}^n)=n^{n/2}$ for $n \le 5$. Moreover, they show that if the linear forms are given as $f_j(x)=< x,a_j>$, for some unit vectors $a_j$ $(1\leq j\leq n)$, then the product of the $f_j$'s attains at least the value $n^{-n/2}$ at the normalized signed sum of the vectors $\{a_j\}_{j=1}^{n}$ having maximal length. Thus they asked whether this phenomenon remains true for arbitrary $n\in{\mathbb N}$. We show that for vector systems $\{a_j\}_{j=1}^{n}$ close to an orthonormal system, the Pappas-R{é}v{é}sz estimate does hold true. Furthermore, among these vector systems the only system giving $n^{-n/2}$ as the norm of the product is the orthonormal system. On the other hand, for arbitrary vector systems we answer the question of A. Pappas and S. R{é}v{é}sz in the negative when $n\in {\mathbb N}$ is large enough. We also discuss various further examples and counterexamples that may be instructive for further research towards the determination of $c_n(\RR^n)$. △ Less

Submitted 1 December, 2006; originally announced December 2006.

Comments: 10 pages

MSC Class: 46G25; 52A40

Journal ref: Math. Inequal. Appl. 9 (2006), no. 3, 485--494

On Fuglede's conjecture and the existence of universal spectra

Authors: Bálint Farkas, Máté Matolcsi, Péter Móra

Abstract: Recent methods developed by Tao \cite{tao}, Kolountzakis and Matolcsi \cite{nspec} have led to counterexamples to Fugelde's Spectral Set Conjecture in both directions. Namely, in $\RR^5$ Tao produced a spectral set which is not a tile, while Kolountzakis and Matolcsi showed an example of a non-spectral tile. In search of lower dimensional non-spectral tiles we were led to investigate the Univers… ▽ More Recent methods developed by Tao \cite{tao}, Kolountzakis and Matolcsi \cite{nspec} have led to counterexamples to Fugelde's Spectral Set Conjecture in both directions. Namely, in $\RR^5$ Tao produced a spectral set which is not a tile, while Kolountzakis and Matolcsi showed an example of a non-spectral tile. In search of lower dimensional non-spectral tiles we were led to investigate the Universal Spectrum Conjecture (USC) of Lagarias and Wang \cite{lagwang}. In particular, we prove here that the USC and the ``tile $\to$ spectral'' direction of Fuglede's conjecture are equivalent in any dimensions. Also, we show by an example that the sufficient condition of Lagarias and Szabó \cite{lagszab} for the existence of universal spectra is not necessary. This fact causes considerable difficulties in producing lower dimensional examples of tiles which have no spectra. We overcome these difficulties by invoking some ideas of Révész and Farkas \cite{revfark}, and obtain non-spectral tiles in $\RR^3$. Fuglede's conjecture and the Universal Spectrum Conjecture remains open in 1 and 2 dimensions. The 1 dimensional case is closely related to a number theoretical conjecture on tilings by Coven and Meyerowitz \cite{covmey}. △ Less

Submitted 1 December, 2006; originally announced December 2006.

Comments: 12 pages

MSC Class: 52C22; 20K01; 42B99

Journal ref: Journal of Fourier Analysis and Applications, Volume 12, Number 5 / October, 2006, 483-494

Positive forms on Banach spaces

Authors: Balint Farkas, Mate Matolcsi

Abstract: The first representation theorem establishes a correspondence between positive, self-adjoint operators and closed, positive forms on Hilbert spaces. The aim of this paper is to show that some of the results remain true if the underlying space is a reflexive Banach space. In particular, the construction of the Friedrichs extension and the form sum of positive operators can be carried over to this… ▽ More The first representation theorem establishes a correspondence between positive, self-adjoint operators and closed, positive forms on Hilbert spaces. The aim of this paper is to show that some of the results remain true if the underlying space is a reflexive Banach space. In particular, the construction of the Friedrichs extension and the form sum of positive operators can be carried over to this case. △ Less

Submitted 1 December, 2006; originally announced December 2006.

Comments: 13 pages

MSC Class: 47A05; 47B25

Journal ref: Acta Math. Hungar. 99 (2003), no. 1-2, 43--55

Commutation properties of the form sum of positive, symmetric operators

Authors: Balint Farkas, Mate Matolcsi

Abstract: A new construction for the form sum of positive, selfadjoint operators is given in this paper. The situation is a bit more general, because our aim is to add positive, symmetric operators. With the help of the used method, some commutation properties of the form sum extension are observed. A new construction for the form sum of positive, selfadjoint operators is given in this paper. The situation is a bit more general, because our aim is to add positive, symmetric operators. With the help of the used method, some commutation properties of the form sum extension are observed. △ Less

Submitted 1 December, 2006; originally announced December 2006.

Comments: 14 pages

MSC Class: 47A20; 47B25

Journal ref: Acta Sci. Math. (Szeged) 67 (2001), no. 3-4, 777--790

A geometric estimate on the norm of product of functionals

Authors: Mate Matolcsi

Abstract: The open problem of determining the exact value of the $n$-th linear polarization constant $c_n$ of $\R^n$ has received considerable attention over the past few years. This paper makes a contribution to the subject by providing a new lower bound on the value of $\sup_{\|{\bf{y}}\|=1}| {\bf{x}}_1,{\bf{y}} ... {\bf{x}}_n,{\bf{y}} |$, where ${\bf{x}}_1, ... ,{\bf{x}}_n$ are unit vectors in… ▽ More The open problem of determining the exact value of the $n$-th linear polarization constant $c_n$ of $\R^n$ has received considerable attention over the past few years. This paper makes a contribution to the subject by providing a new lower bound on the value of $\sup_{\|{\bf{y}}\|=1}| {\bf{x}}_1,{\bf{y}} ... {\bf{x}}_n,{\bf{y}} |$, where ${\bf{x}}_1, ... ,{\bf{x}}_n$ are unit vectors in $\R^n$. The new estimate is given in terms of the eigenvalues of the Gram matrix $[ {\bf{x}}_i,{\bf{x}}_j ]$ and improves upon earlier estimates of this kind. However, the intriguing conjecture $c_n=n^{n/2}$ remains open. △ Less

Submitted 30 November, 2006; originally announced November 2006.

Comments: 7 pages

MSC Class: 46G25; 52A40; 46B07

Journal ref: Linear Algebra Appl. 405 (2005), 304--310

Linear polarization constant of $\R^n$

Authors: Mate Matolcsi

Abstract: The present work contributes to the determination of the $n$-th linear polarization constant $c_n(H)$ of an $n$-dimensional real Hilbert space $H$. We provide some new lower bounds on the value of $\sup_{\|y\|=1}| x_1,y >... x_n,y |$, where $x_1, ..., x_n$ are unit vectors in $H$. In particular, the results improve an earlier estimate of Marcus. However, the intriguing conjecture… ▽ More The present work contributes to the determination of the $n$-th linear polarization constant $c_n(H)$ of an $n$-dimensional real Hilbert space $H$. We provide some new lower bounds on the value of $\sup_{\|y\|=1}| x_1,y >... x_n,y |$, where $x_1, ..., x_n$ are unit vectors in $H$. In particular, the results improve an earlier estimate of Marcus. However, the intriguing conjecture $c_n(H)=n^{n/2}$ remains open. △ Less

Submitted 30 November, 2006; originally announced November 2006.

Comments: 8 pages

MSC Class: 46G25; 52A40; 46B07

Journal ref: Acta Math. Hungar. 108 (2005), no. 1-2, 129--136

Fuglede's conjecture fails in dimension 4

Authors: Mate Matolcsi

Abstract: In this note we give an example of a set $\W\subset \R^4$ such that $L^2(\W)$ admits an orthonormal basis of exponentials $\{\frac{1}{|\W |^{1/2}}e^{2πi x, ξ}\}_{ξ\inŁ}$ for some set $Ł\subset\R^4$, but which does not tile $\R^4$ by translations. This improves Tao's recent 5-dimensional example, and shows that one direction of Fuglede's conjecture fails already in dimension 4. Some common proper… ▽ More In this note we give an example of a set $\W\subset \R^4$ such that $L^2(\W)$ admits an orthonormal basis of exponentials $\{\frac{1}{|\W |^{1/2}}e^{2πi x, ξ}\}_{ξ\inŁ}$ for some set $Ł\subset\R^4$, but which does not tile $\R^4$ by translations. This improves Tao's recent 5-dimensional example, and shows that one direction of Fuglede's conjecture fails already in dimension 4. Some common properties of translational tiles and spectral sets are also proved. △ Less

Submitted 30 November, 2006; originally announced November 2006.

Comments: 6 pages

MSC Class: 42B99; 20K01

Journal ref: Proc. Amer. Math. Soc. 133 (2005), no. 10, 3021--3026

On quasi-contractivity of $C_0$-semigroups on Banach spaces

Authors: Mate Matolcsi

Abstract: A basic result in semigroup theory states that every $C_0$-semigroup is quasi-contractive with respect to some appropriately chosen equivalent norm. This paper contains a counterpart of this well-known fact. Namely, by examining the convergence of the Trotter-type formula $(e^{\frac{t}{n}A}P)^n$ (where $P$ denotes a bounded projection), we prove that whenever the generator $A$ is unbounded it is… ▽ More A basic result in semigroup theory states that every $C_0$-semigroup is quasi-contractive with respect to some appropriately chosen equivalent norm. This paper contains a counterpart of this well-known fact. Namely, by examining the convergence of the Trotter-type formula $(e^{\frac{t}{n}A}P)^n$ (where $P$ denotes a bounded projection), we prove that whenever the generator $A$ is unbounded it is possible to introduce an equivalent norm on the space with respect to which the semigroup is {\it{not}} quasi-contractive. △ Less

Submitted 30 November, 2006; originally announced November 2006.

Comments: 4 pages

MSC Class: 47D06; 47A05

Journal ref: Arch. Math. (Basel) 83 (2004), no. 4, 360--363

On the relation of closed forms and Trotter's product formula

Authors: Mate Matolcsi

Abstract: The aim of this paper is to give a characterization in Hilbert spaces of the generators of $C_0$-semigroups associated with closed, sectorial forms in terms of the convergence of a generalized Trotter's product formula. In the course of the proof of the main result we also present a similarity result which can be of independent interest: for any unbounded generator $A$ of a $C_0$-semigroup… ▽ More The aim of this paper is to give a characterization in Hilbert spaces of the generators of $C_0$-semigroups associated with closed, sectorial forms in terms of the convergence of a generalized Trotter's product formula. In the course of the proof of the main result we also present a similarity result which can be of independent interest: for any unbounded generator $A$ of a $C_0$-semigroup $e^{tA}$ it is possible to introduce an equivalent scalar product on the space, such that $e^{tA}$ becomes non-quasi-contractive with respect to the new scalar product. △ Less

Submitted 30 November, 2006; originally announced November 2006.

Comments: 12 pages

MSC Class: 47D06; 47A07

Journal ref: J. Funct. Anal. 205 (2003), no. 2, 401--413

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

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

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

Counterexample to the Trotter product formula for projections

Authors: Mate Matolcsi, Roman Shvidkoy

Abstract: We constructed a unitary semigroup $(e^{tA})_{t \geq 0}$ on a Hilbert space and an orthogonal projection $P$ such that the limit $\lim_{n \to \infty} [ e^{\frac{t}{n}A}P ]^n$ does not exist strongly. A similar example with a positive contractive semigroup and positive contractive projection on $L_p$ is also constructed. We constructed a unitary semigroup $(e^{tA})_{t \geq 0}$ on a Hilbert space and an orthogonal projection $P$ such that the limit $\lim_{n \to \infty} [ e^{\frac{t}{n}A}P ]^n$ does not exist strongly. A similar example with a positive contractive semigroup and positive contractive projection on $L_p$ is also constructed. △ Less

Submitted 6 September, 2001; originally announced September 2001.

MSC Class: 47d03