Related papers: Many symmetrically indivisible structures

In this paper we prove that for any finite coloring of N there are lambda,rho in N such that infinitely many pairs (x,y),(u,v) in N^2 satisfy the sets {lambda x, lambda y, x y, lambda(x+y)} and {u+rho, v+rho, u v+rho, u+v} being…

The poset of copies of a relational structure ${\mathbb X}$ is the partial order $\langle {\mathbb P} ({\mathbb X}) ,\subset \rangle$, where ${\mathbb P} ({\mathbb X})=\{ Y\subset X: {\mathbb Y} \cong {\mathbb X}\}$. Investigating the…

We study reflection-symmetric realisations of symmetric graphs in the plane that allow a continuous symmetry and edge-length preserving deformation. To do so, we identify a necessary combinatorial condition on graphs with…

We explicitly construct new subgroups of the mapping class groups of an uncountable collection of infinite-type surfaces, including, but not limited to, free groups, Baumslag-Solitar groups, mapping class groups of other surfaces, and a…

We introduce and discuss (local) symmetries of geometric structures. These symmetries generalize the classical (locally) symmetric spaces to various other geometries. Our main tools are homogeneous Cartan geometries and their explicit…

We discuss the role and merits of symmetry methods for the analysis of biological systems. In particular, we consider systems of first order ordinary differential equations and provide a comprehensive review of the geometrical foundations…

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…

Given a finite coloring (or finite partition) of the free semigroup $A^+$ over a set $A$, we consider various types of monochromatic factorizations of right sided infinite words $x\in A^\omega$. Some stronger versions of the usual notion of…

Let $\mathrm{XY_{L,T}}$ denote the class of countably infinite $L$-structures that satisfy the axioms $T$ and in which all homomorphisms of type X (these could be homomorphisms, monomorphisms, or isomorphisms) between finite substructures…

Invariants of the coadjoint representation of two classes of Lie algebras are calculated. The first class consists of the nilpotent Lie algebras $T(M)$, isomorphic to the algebras of upper triangular $M\times M$ matrices. The Lie algebra…

For any first order theory T we construct a Boolean valued model M, in which precisely the T--provable formulas hold, and in which every (Boolean valued) subset which is invariant under all automorphisms of M is definable by a first order…

Given a pointed metric space $M$, we study when there exist $n$-dimensional linear subspaces of $\operatorname{Lip}_0(M)$ consisting of strongly norm-attaining Lipschitz functionals, for $n\in\mathbb{N}$. We show that this is always the…

We give several structural results concerning the Lipschitz-free spaces $\mathcal F(M)$, where $M$ is a metric space. We show that $\mathcal F(M)$ contains a complemented copy of $\ell_1(\Gamma)$, where $\Gamma=\text{dens}(M)$. If $\mathcal…

Let M be a connected, symplectic 4-manifold. A semitoric integrable system on M essentially consists of a pair of independent, real-valued, smooth functions J and H on the manifold M, for which J generates a Hamiltonian circle action under…

Lenses are a mathematical structure for maintaining consistency between a pair of systems. In their ongoing research program, Johnson and Rosebrugh have sought to unify the treatment of symmetric lenses with spans of asymmetric lenses. This…

Let $\mathcal M=(M,<,...)$ be a linearly ordered first-order structure and $T$ its complete theory. We investigate conditions for $T$ that could guarantee that $\mathcal M$ is not much more complex than some colored orders (linear orders…

Let k be a field not of characteristic two and L be a set of almost all rational primes invertible in k. Suppose we have a variety X/k and strictly compatible system {M_ell -> X : ell in L} of constructible F_ell-sheaves. If the system is…

Certain semi-Riemannian metrics may be decomposed into a Riemannian part and an isochronal part. We use this idea and an idea of Kasner to construct a manifold in 6+1 Minkowski space with a well known metric. The full embedding we display…

We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. To prove this result we first reduce the…

Let $G$ be a countable group. We study left-invariant metrics on $G$ that are not necessarily proper, introducing the notion of a \emph{bornological metric}: a metric $\rho$ such that for every $C>0$ there exists $S_C>0$ with the property…