Related papers: Goodman-Strauss theorem revisited
We consider complete lattices equipped with preorderings indexed by the ordinals less than a given (limit) ordinal subject to certain axioms. These structures, called stratified complete lattices, and weakly monotone functions over them,…
Across many scientific domains, practitioners rely on coarse, discretized summaries to track the evolving structure of complex systems under noise, measurement error, and changing system size. Understanding when such summaries are reliable…
We call "flippable tilings" of a constant curvature surface a tiling by "black" and "white" faces, so that each edge is adjacent to two black and two white faces (one of each on each side), the black face is forward on the right side and…
In this paper, we work in a 2D version of the probabilistic variant of Winfree's abstract Tile Assembly Model defined by Chandran, Gopalkrishnan and Reif (SICOMP 2012) in which attaching tiles are sampled uniformly with replacement. First,…
For SFTs, any equilibrium measure is Gibbs, as long a $f$ has $d$-summable variation. This is a theorem of Lanford and Ruelle. Conversely, a theorem of Dobru{\v{s}}in states that for strongly-irreducible subshifts, shift-invariant…
We show that certain tilting results for quivers are formal consequences of stability, and as such are part of a formal calculus available in any abstract stable homotopy theory. Thus these results are for example valid over arbitrary…
Komlos [Komlos: Tiling Turan Theorems, Combinatorica, 2000] determined the asymptotically optimal minimum-degree condition for covering a given proportion of vertices of a host graph by vertex-disjoint copies of a fixed graph H, thus…
Approximate lattices of Euclidean spaces, also known as Meyer sets, are aperiodic subsets with fascinating properties. In general, approximate lattices are defined as approximate subgroups of locally compact groups that are discrete and…
We consider the scaling properties characterizing the hyperuniformity (or anti-hyperuniformity) of long wavelength fluctuations in a broad class of one-dimensional substitution tilings. We present a simple argument that predicts the…
The paper presents the bosonic and fermionic supersymmetric extensions of the structural equations describing conformally parametrized surfaces immersed in a Grasmann superspace, based on the authors' earlier results. A detailed analysis of…
The measurable Riemann mapping theorem proved by Morrey and in some particular cases by Ahlfors, Lavrentiev and Vekua, says that any measurable almost complex structure on $\rd$ ($S^2$) with bounded dilatation is integrable: there is a…
We introduce the notion of hereditary G-compactness (with respect to interpretation). We provide a sufficient condition for a poset to not be hereditarily G-compact, which we use to show that any linear order is not hereditarily G-compact.…
The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. We settle it in the case when $G$ is quasi-split and $R$ is unramified. Some of…
We obtain tilings with a singular point by applying conformal maps on regular tilings of the Euclidean plane, and determine its symmetries. The resulting tilings are then symmetrically colored by applying the same conformal maps on…
The concept of star-duality is described for self-similar cut-and-project tilings in arbitrary dimensions. This generalises Thurston's concept of a Galois-dual tiling. The dual tilings of the Penrose tilings as well as the Ammann-Beenker…
The quotient cohomology of tiling spaces is a topological invariant that relates a tiling space to one of its factors, viewed as topological dynamical systems. In particular, it is a relative version of the tiling cohomology that…
Although reasoning about equations over strings has been extensively studied for several decades, little research has been done for equational reasoning on general clauses over strings. This paper introduces a new superposition calculus…
Finite \'etale covers of a connected scheme $X$ are parametrised by the \'etale fundamental group via the monodromy correspondence. This was generalised to an exodromy correspondence for constructible sheaves, first in the topological…
The families index theory for the overlap lattice Dirac operator is applied to derive topological features of the space of SU(N) lattice gauge fields on the 4-torus: The topological sectors, specified by the fermionic topological charge,…
We prove that the Aizenman-Contucci relations, well known for fully connected spin glasses, hold in diluted spin glasses as well. We also prove more general constraints in the same spirit for multi-overlaps, systematically confirming and…