BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Mihail N. Kolountzakis

Mihail N. Kolountzakis appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.CAmath.COmath.MGmath.NTmath.FAData Structures and Algorithmsmath-phmath.MPmath.NANumerical Analysisphysics.soc-phquant-phSocial and Information Networks

Catalog footprint

What is connected

22works
13topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

22 published item(s)

preprint2023arXiv

Sets of full measure avoiding Cantor sets

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Functions tiling with several lattices

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

How many Fourier coefficients are needed?

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Deciding multiple tiling by polygons in polynomial time

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.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Discrepancy of line segments for general lattice checkerboards

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On particles in equilibrium on the real line

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Packing near the tiling density and exponential bases for product domains

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

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Spectra for cubes in products of finite cyclic groups

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Fourier pairs of discrete support with little structure

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Multiple lattice tiles and Riesz bases of exponentials

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

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Circle discrepancy for checkerboard measures

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Periodicity of the spectrum in dimension one

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Periodicity of the spectrum of a finite union of intervals

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Size of orthogonal sets of exponentials for the disk

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

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

On pointwise estimates of positive definite functions with given support

The following problem originated from a question due to Paul Turan. Suppose $Ω$ is a convex body in Euclidean space $\RR^d$ or in $\TT^d$, which is symmetric about the origin. Over all positive definite functions supported in $Ω$, and with normalized value 1 at the origin, what is the largest possible value of their integral? From this Arestov, Berdysheva and Berens arrived to pose the analogous pointwise extremal problem for intervals in $\RR$. That is, under the same conditions and normalizations, and for any particular point $z\inΩ$, the supremum of possible function values at $z$ is to be found. However, it turns out that the problem for the real line has already been solved by Boas and Kac, who gave several proofs and also mentioned possible extensions to $\RR^d$ and non-convex domains as well. We present another approach to the problem, giving the solution in $\RR^d$ and for several cases in $\TT^d$. In fact, we elaborate on the fact that the problem is essentially one-dimensional, and investigate non-convex open domains as well. We show that the extremal problems are equivalent to more familiar ones over trigonometric polynomials, and thus find the extremal values for a few cases. An analysis of the relation of the problem for the space $\RR^d$ to that for the torus $\TT^d$ is given, showing that the former case is just the limiting case of the latter. Thus the hiearachy of difficulty is established, so that trigonometric polynomial extremal problems gain recognition again.

0 citations0 reviewsNo code linkedOpen access