Related papers: Structured Sunflowers
Let $\mathfrak{M}$ be a class of metric spaces. A metric space $Y$ is minimal $\mathfrak{M}$-universal if every $X\in\mathfrak{M}$ can be isometrically embedded in $Y$ but there are no proper subsets of $Y$ satisfying this property. We find…
An affine manifold is a manifold with an affine structure, i.e. a torsion-free flat affine connection. We show that the universal cover of a closed affine 3-manifold $M$ with holonomy group of shrinkable dimension (or discompacit\'e in…
Sutured Floer homology, denoted by SFH, is an invariant of balanced sutured manifolds previously defined by the author. In this paper we give a formula that shows how this invariant changes under surface decompositions. In particular, if…
This paper deals with strong structural controllability of linear systems. In contrast to existing work, the structured systems studied in this paper have a so-called zero/nonzero/arbitrary structure, which means that some of the entries…
We generalise the construction of infinite matroids from trees of matroids to allow the matroids at the nodes, as well as the field over which they are represented, to be infinite.
We study sets and groups definable in tame expansions of o-minimal structures. Let $\mathcal {\widetilde M}= \langle \mathcal M, P\rangle$ be an expansion of an o-minimal $\mathcal L$-structure $\cal M$ by a dense set $P$, such that three…
A semiring can be ``completed'' (i.e., embedded into a semiring in which all infinite sums are defined and satisfy some reasonable properties) iff this semiring can be naturally partially ordered. This construction is ``natural'' (a left…
An old problem of Moser asks: how large of a union-free subfamily does every family of m sets have? A family of sets is called union-free if there are no three distinct sets in the family such that the union of two of the sets is equal to…
In previous work we showed that the contact category algebra of a quadrangulated surface is isomorphic to the homology of a strand algebra from bordered sutured Floer theory. Being isomorphic to the homology of a differential graded…
In this paper, we study conditions which ensure the existence of backward flow invariant domains for semigroups of holomorphic self-mappings of a simply connected domain $D$. More precisely, the problem is the following. Given a…
In a non-compact setting, the notion of hyperbolicity, and the associated structure of stable and unstable manifolds (for unbounded orbits), is highly dependent on the choice of metric used to define it. We consider the simplest version of…
Let M and M' be simple 3-manifolds, each with connected boundary of genus at least two. Suppose that M and M' are glued via a homeomorphism between their boundaries. Then we show that, provided the gluing homeomorphism is `sufficiently…
The profile of a relational structure R is the function phi_R which counts for every integer n the number, possibly infinite, phi_R(n) of substructures of R induced on the n-element subsets, isomorphic substructures being identified.…
A self-dual harmonic 2-form on a 4-dimensional Riemannian manifold is symplectic where it does not vanish. Furthermore, away from the form's zero set, the metric with the 2-form give a compatible almost complex structure and thus…
Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…
Let $d \ge 3$ be an integer. We show that whenever an order-$d$ tensor admits $d+1$ decompositions according to Tao's slice rank, if the linear subspaces spanned by their one-variable functions constitute a sunflower for each choice of…
Two structures $M, N$ in the same language are called probably isomorphic if they (or, in case of metric structures, their completions) are isomorphic after forcing with the Lebesgue measure algebra. We show that, if $M$ and $N$ are…
Using an infinitary version of the Hypergraph Removal Lemma due to Towsner, we prove a model-theoretic higher amalgamation result. In particular, we obtain an independent amalgamation property which holds in structures which are measurable…
We define a notion of coordinatization for $\aleph_0$-categorical structures which is, like Lie coordinatized structures in [2], a certain kind of expansion of a tree. We show that a structure which is coordinatized, in a certain strong…
An imprimitive symmetric indecomposable association scheme of rank 5 is said to be Higmanian. A divisible design graph is a graph whose adjacency matrix is an incidence matrix of a symmetric divisible design. We establish conditions which…