We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
In this paper, we prove that given a cut-and-project scheme $(G, H, \mathcal {L})$ and a compact window $W \subseteq H$, the natural projection gives a bijection between the Fourier transformable measures on $G \times H$ supported inside the strip ${\mathcal L} \cap (G \times W)$ and the Fourier transformable measures on G supported inside ${\LARGE \curlywedge }(W)$. We provide a closed formula relating the Fourier transform of the original measure and the Fourier transform of the projection. We show that this formula can be used to re-derive some known results about Fourier analysis of measures with weak Meyer set support.
Let d be an integer greater than $1$, and let t be fixed such that $\frac {1}{d} < t < \frac {1}{d-1}$. We prove that for any $n_0$ chosen sufficiently large depending on t, the d-dimensional cubes of sidelength $n^{-t}$ for $n \geq n_0$ can perfectly pack a cube of volume $\sum _{n=n_0}^{\infty } \frac {1}{n^{dt}}$. Our work improves upon a previously known result in the three-dimensional case for when $\frac {1}{3} < t \leq \frac {4}{11} $ and $n_0 = 1$ and builds upon recent work of Terence Tao in the two-dimensional case.
We give a characterization of inter-model sets with Euclidean internal space. This characterization is similar to previous results for general inter-model sets obtained independently by Baake, Lenz and Moody, and Aujogue. The new ingredients are two additional conditions. The first condition is on the rank of the abelian group generated by the set of internal differences. The second condition is on a flow on a torus defined via the address map introduced by Lagarias. This flow plays the role of the maximal equicontinuous factor in the previous characterizations.
In this work, we prove a version of the Sylvester–Gallai theorem for quadratic polynomials that takes us one step closer to obtaining a deterministic polynomial time algorithm for testing zeroness of
$\Sigma ^{[3]}\Pi \Sigma \Pi ^{[2]}$
circuits. Specifically, we prove that, if a finite set of irreducible quadratic polynomials
${\mathcal {Q}}$
satisfies that for every two polynomials
$Q_1,Q_2\in {\mathcal {Q}}$
there is a subset
${\mathcal {K}}\subset {\mathcal {Q}}$
such that
$Q_1,Q_2 \notin {\mathcal {K}}$
and whenever
$Q_1$
and
$Q_2$
vanish, then
$\prod _{i\in {\mathcal {K}}} Q_i$
vanishes, then the linear span of the polynomials in
${\mathcal {Q}}$
has dimension
$O(1)$
. This extends the earlier result [21] that holds for the case
$|{\mathcal {K}}| = 1$
.
Given
$E \subseteq \mathbb {F}_q^d \times \mathbb {F}_q^d$
, with the finite field
$\mathbb {F}_q$
of order q and the integer
$d\,\ge \, 2$
, we define the two-parameter distance set
$\Delta _{d, d}(E)=\{(\|x-y\|, \|z-t\|) : (x, z), (y, t) \in E \}$
. Birklbauer and Iosevich [‘A two-parameter finite field Erdős–Falconer distance problem’, Bull. Hellenic Math. Soc.61 (2017), 21–30] proved that if
$|E| \gg q^{{(3d+1)}/{2}}$
, then
$ |\Delta _{d, d}(E)| = q^2$
. For
$d=2$
, they showed that if
$|E| \gg q^{{10}/{3}}$
, then
$ |\Delta _{2, 2}(E)| \gg q^2$
. In this paper, we give extensions and improvements of these results. Given the diagonal polynomial
$P(x)=\sum _{i=1}^da_ix_i^s\in \mathbb F_q[x_1,\ldots , x_d]$
, the distance induced by P over
$\mathbb {F}_q^d$
is
$\|x-y\|_s:=P(x-y)$
, with the corresponding distance set
$\Delta ^s_{d, d}(E)=\{(\|x-y\|_s, \|z-t\|_s) : (x, z), (y, t) \in E \}$
. We show that if
$|E| \gg q^{{(3d+1)}/{2}}$
, then
$ |\Delta _{d, d}^s(E)| \gg q^2$
. For
$d=2$
and the Euclidean distance, we improve the former result over prime fields by showing that
$ |\Delta _{2,2}(E)| \gg p^2$
for
$|E| \gg p^{{13}/{4}}$
.
We determine all finite sets of equiangular lines spanning finite-dimensional complex unitary spaces for which the action on the lines of the set-stabiliser in the unitary group is 2-transitive with a regular normal subgroup.
We call a packing of hyperspheres in n dimensions an Apollonian sphere packing if the spheres intersect tangentially or not at all; they fill the n-dimensional Euclidean space; and every sphere in the packing is a member of a cluster of
$n+2$
mutually tangent spheres (and a few more properties described herein). In this paper, we describe an Apollonian packing in eight dimensions that naturally arises from the study of generic nodal Enriques surfaces. The
$E_7$
,
$E_8$
and Reye lattices play roles. We use the packing to generate an Apollonian packing in nine dimensions, and a cross section in seven dimensions that is weakly Apollonian. Maxwell described all three packings but seemed unaware that they are Apollonian. The packings in seven and eight dimensions are different than those found in an earlier paper. In passing, we give a sufficient condition for a Coxeter graph to generate mutually tangent spheres and use this to identify an Apollonian sphere packing in three dimensions that is not the Soddy sphere packing.
A d-dimensional framework is a pair $(G,p)$, where $G=(V,E)$ is a graph and p is a map from V to $\mathbb {R}^d$. The length of an edge $uv\in E$ in $(G,p)$ is the distance between $p(u)$ and $p(v)$. The framework is said to be globally rigid in $\mathbb {R}^d$ if the graph G and its edge lengths uniquely determine $(G,p)$, up to congruence. A graph G is called globally rigid in $\mathbb {R}^d$ if every d-dimensional generic framework $(G,p)$ is globally rigid.
In this paper, we consider the problem of reconstructing a graph from the set of edge lengths arising from a generic framework. Roughly speaking, a graph G is strongly reconstructible in $\mathbb {C}^d$ if the set of (unlabeled) edge lengths of any generic framework $(G,p)$ in d-space, along with the number of vertices of G, uniquely determine both G and the association between the edges of G and the set of edge lengths. It is known that if G is globally rigid in $\mathbb {R}^d$ on at least $d+2$ vertices, then it is strongly reconstructible in $\mathbb {C}^d$. We strengthen this result and show that, under the same conditions, G is in fact fully reconstructible in $\mathbb {C}^d$, which means that the set of edge lengths alone is sufficient to uniquely reconstruct G, without any constraint on the number of vertices (although still under the assumption that the edge lengths come from a generic realization).
As a key step in our proof, we also prove that if G is globally rigid in $\mathbb {R}^d$ on at least $d+2$ vertices, then the d-dimensional generic rigidity matroid of G is connected. Finally, we provide new families of fully reconstructible graphs and use them to answer some questions regarding unlabeled reconstructibility posed in recent papers.
Each metric graph has canonically associated to it a polarized real torus called its tropical Jacobian. A fundamental real-valued invariant associated to each polarized real torus is its tropical moment. We give an explicit and efficiently computable formula for the tropical moment of a tropical Jacobian in terms of potential theory on the underlying metric graph. We show that there exists a universal linear relation between the tropical moment, a certain capacity called the tau invariant, and the total length of a metric graph. To put our formula in a broader context, we relate our work to the computation of heights attached to principally polarized abelian varieties.
A finite set of integers A tiles the integers by translations if $\mathbb {Z}$ can be covered by pairwise disjoint translated copies of A. Restricting attention to one tiling period, we have $A\oplus B=\mathbb {Z}_M$ for some $M\in \mathbb {N}$ and $B\subset \mathbb {Z}$. This can also be stated in terms of cyclotomic divisibility of the mask polynomials $A(X)$ and $B(X)$ associated with A and B.
In this article, we introduce a new approach to a systematic study of such tilings. Our main new tools are the box product, multiscale cuboids and saturating sets, developed through a combination of harmonic-analytic and combinatorial methods. We provide new criteria for tiling and cyclotomic divisibility in terms of these concepts. As an application, we can determine whether a set A containing certain configurations can tile a cyclic group $\mathbb {Z}_M$, or recover a tiling set based on partial information about it. We also develop tiling reductions where a given tiling can be replaced by one or more tilings with a simpler structure. The tools introduced here are crucial in our proof in [24] that all tilings of period $(pqr)^2$, where $p,q,r$ are distinct odd primes, satisfy a tiling condition proposed by Coven and Meyerowitz [2].
We demonstrate that every difference set in a finite Abelian group is equivalent to a certain ‘regular’ covering of the lattice
$ A_n = \{ \boldsymbol {x} \in \mathbb {Z} ^{n+1} : \sum _{i} x_i = 0 \} $
with balls of radius
$ 2 $
under the
$ \ell _1 $
metric (or, equivalently, a covering of the integer lattice
$ \mathbb {Z} ^n $
with balls of radius
$ 1 $
under a slightly different metric). For planar difference sets, the covering is also a packing, and therefore a tiling, of
$ A_n $
. This observation leads to a geometric reformulation of the prime power conjecture and of other statements involving Abelian difference sets.
Bezdek and Kiss showed that existence of origin-symmetric coverings of unit sphere in
${\mathbb {E}}^n$
by at most
$2^n$
congruent spherical caps with radius not exceeding
$\arccos \sqrt {\frac {n-1}{2n}}$
implies the X-ray conjecture and the illumination conjecture for convex bodies of constant width in
${\mathbb {E}}^n$
, and constructed such coverings for
$4\le n\le 6$
. Here, we give such constructions with fewer than
$2^n$
caps for
$5\le n\le 15$
.
For the illumination number of any convex body of constant width in
${\mathbb {E}}^n$
, Schramm proved an upper estimate with exponential growth of order
$(3/2)^{n/2}$
. In particular, that estimate is less than
$3\cdot 2^{n-2}$
for
$n\ge 16$
, confirming the abovementioned conjectures for the class of convex bodies of constant width. Thus, our result settles the outstanding cases
$7\le n\le 15$
.
We also show how to calculate the covering radius of a given discrete point set on the sphere efficiently on a computer.
In this paper we study the existence of higher dimensional arithmetic progressions in Meyer sets. We show that the case when the ratios are linearly dependent over
${\mathbb Z}$
is trivial and focus on arithmetic progressions for which the ratios are linearly independent. Given a Meyer set
$\Lambda $
and a fully Euclidean model set with the property that finitely many translates of cover
$\Lambda $
, we prove that we can find higher dimensional arithmetic progressions of arbitrary length with k linearly independent ratios in
$\Lambda $
if and only if k is at most the rank of the
${\mathbb Z}$
-module generated by . We use this result to characterize the Meyer sets that are subsets of fully Euclidean model sets.
A theory of infinite spanning sets and bases is developed for the first-order flex space of an infinite bar-joint framework, together with space group symmetric versions for a crystallographic bar-joint framework ${{\mathcal {C}}}$. The existence of a crystal flex basis for ${{\mathcal {C}}}$ is shown to be closely related to the spectral analysis of the rigid unit mode (RUM) spectrum of ${{\mathcal {C}}}$ and an associated geometric flex spectrum. Additionally, infinite spanning sets and bases are computed for a range of fundamental crystallographic bar-joint frameworks, including the honeycomb (graphene) framework, the octahedron (perovskite) framework and the 2D and 3D kagome frameworks.
We present a single, connected tile which can tile the plane but only nonperiodically. The tile is hexagonal with edge markings, which impose simple rules as to how adjacent tiles are allowed to meet across edges. The first of these rules is a standard matching rule, that certain decorations match across edges. The second condition is a new type of matching rule, which allows tiles to meet only when certain decorations in a particular orientation are given the opposite charge. This forces the tiles to form a hierarchy of triangles, following a central idea of the Socolar–Taylor tilings. However, the new edge-to-edge orientational matching rule forces this structure in a very different way, which allows for a surprisingly simple proof of aperiodicity. We show that the hull of all tilings satisfying our rules is uniquely ergodic and that almost all tilings in the hull belong to a minimal core of tilings generated by substitution. Identifying tilings which are charge-flips of each other, these tilings are shown to have pure point dynamical spectrum and a regular model set structure.
A bipartite graph
$H = \left (V_1, V_2; E \right )$
with
$\lvert V_1\rvert + \lvert V_2\rvert = n$
is semilinear if
$V_i \subseteq \mathbb {R}^{d_i}$
for some
$d_i$
and the edge relation E consists of the pairs of points
$(x_1, x_2) \in V_1 \times V_2$
satisfying a fixed Boolean combination of s linear equalities and inequalities in
$d_1 + d_2$
variables for some s. We show that for a fixed k, the number of edges in a
$K_{k,k}$
-free semilinear H is almost linear in n, namely
$\lvert E\rvert = O_{s,k,\varepsilon }\left (n^{1+\varepsilon }\right )$
for any
$\varepsilon> 0$
; and more generally,
$\lvert E\rvert = O_{s,k,r,\varepsilon }\left (n^{r-1 + \varepsilon }\right )$
for a
$K_{k, \dotsc ,k}$
-free semilinear r-partite r-uniform hypergraph.
As an application, we obtain the following incidence bound: given
$n_1$
points and
$n_2$
open boxes with axis-parallel sides in
$\mathbb {R}^d$
such that their incidence graph is
$K_{k,k}$
-free, there can be at most
$O_{k,\varepsilon }\left (n^{1+\varepsilon }\right )$
incidences. The same bound holds if instead of boxes, one takes polytopes cut out by the translates of an arbitrary fixed finite set of half-spaces.
We also obtain matching upper and (superlinear) lower bounds in the case of dyadic boxes on the plane, and point out some connections to the model-theoretic trichotomy in o-minimal structures (showing that the failure of an almost-linear bound for some definable graph allows one to recover the field operations from that graph in a definable manner).
For two metric spaces $\mathbb X$ and $\mathcal Y$ the chromatic number $\chi ({{\mathbb X}};{{\mathcal{Y}}})$ of $\mathbb X$ with forbidden $\mathcal Y$ is the smallest k such that there is a colouring of the points of $\mathbb X$ with k colors that contains no monochromatic copy of $\mathcal Y$. In this article, we show that for each finite metric space $\mathcal {M}$ that contains at least two points the value $\chi \left ({{\mathbb R}}^n_\infty; \mathcal M \right )$ grows exponentially with n. We also provide explicit lower and upper bounds for some special $\mathcal M$.
We prove that in every compact space of Delone sets in
${\mathbb {R}}^d$
, which is minimal with respect to the action by translations, either all Delone sets are uniformly spread or continuously many distinct bounded displacement equivalence classes are represented, none of which contains a lattice. The implied limits are taken with respect to the Chabauty–Fell topology, which is the natural topology on the space of closed subsets of
${\mathbb {R}}^d$
. This topology coincides with the standard local topology in the finite local complexity setting, and it follows that the dichotomy holds for all minimal spaces of Delone sets associated with well-studied constructions such as cut-and-project sets and substitution tilings, whether or not finite local complexity is assumed.
Given a finite set $A \subseteq \mathbb{R}^d$, points $a_1,a_2,\dotsc,a_{\ell} \in A$ form an $\ell$-hole in A if they are the vertices of a convex polytope, which contains no points of A in its interior. We construct arbitrarily large point sets in general position in $\mathbb{R}^d$ having no holes of size $O(4^dd\log d)$ or more. This improves the previously known upper bound of order $d^{d+o(d)}$ due to Valtr. The basic version of our construction uses a certain type of equidistributed point sets, originating from numerical analysis, known as (t,m,s)-nets or (t,s)-sequences, yielding a bound of $2^{7d}$. The better bound is obtained using a variant of (t,m,s)-nets, obeying a relaxed equidistribution condition.
We study the repetition of patches in self-affine tilings in
${\mathbb {R}}^d$
. In particular, we study the existence and non-existence of arithmetic progressions. We first show that an arithmetic condition of the expansion map for a self-affine tiling implies the non-existence of certain one-dimensional arithmetic progressions. Next, we show that the existence of full-rank infinite arithmetic progressions, pure discrete dynamical spectrum, and limit-periodicity are all equivalent for a certain class of self-affine tilings. We finish by giving a complete picture for the existence or non-existence of full-rank infinite arithmetic progressions in the self-similar tilings in
${\mathbb {R}}^d$
.