Source author record

Máté Matolcsi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CA quant-ph math-ph math.CO math.FA math.MG math.MP

Catalog footprint

Research overview

5works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

The Fuglede conjecture for convex domains is true in all dimensions

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.

preprint2021arXiv

A rigidity property of complete systems of mutually unbiased bases

Suppose that for some unit vectors $b_1,\ldots b_n$ in $\mathbb C^d$ we have that for any $j\neq k$ $b_j$ is either orthogonal to $b_k$ or $|\langle b_j,b_k\rangle|^2 = 1/d$ (i.e. $b_j$ and $b_k$ are unbiased). We prove that if $n=d(d+1)$ , then these vectors necessarily form a complete system of mutually unbiased bases, that is, they can be arranged into $d+1$ orthonormal bases, all being mutually unbiased with respect to each other.

preprint2018arXiv

Triangulations and a discrete Brunn-Minkowski inequality in the plane

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.

preprint2016arXiv

An application of positive definite functions to the problem of MUBs

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.

preprint2006arXiv

On the real linear polarization constant problem

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)$.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.