Related papers: Simple Expansion Sets and Non-Positive Curvature

As time passes, once simple quantum states tend to become more complex. For strongly coupled k-local Hamiltonians, this growth of computational complexity has been conjectured to follow a distinctive and universal pattern. In this paper we…

A celebrated theorem of Curtis and Tits on groups with finite BN-pair shows that roughly speaking these groups are determined by their local structure. This result was later extended to Kac-Moody groups by P.~Abramenko and B.~M\"uhlherr.…

We investigate the structure of the minimal displacement set in CAT(0) cubical complexes. We show that such set is convex, it is locally endowed with a CAT(0) metric and it is simply connected.

We show that any connected locally compact group which admits an expansive automorphism is nilpotent. We also show that for any locally compact group $G$, $\alpha\in {\rm Aut}(G)$ is expansive if and only if for any $\alpha$-invariant…

We prove the arborescence of any locally finite complex that is $CAT(0)$ with a polyhedral metric for which all vertex stars are convex. In particular locally finite $CAT(0)$ cube complexes or equilateral simplicial complexes are…

We give an explicit description of the category of central extensions of a group scheme by a sheaf of Abelian groups. Based on this, we describe a framework for computing with central extensions of finite commutative group schemes, torsors…

In this paper we show that graphs of "neighbourly" cubical complexes -- cubical complexes in which every pair of vertices spans a (unique) cube -- have good expansion properties, using a technique based on multicommodity flows. By showing…

Let $G$ be a finitely generated group, and let $\Bbbk{G}$ be its group algebra over a field of characteristic $0$. A Taylor expansion is a certain type of map from $G$ to the degree completion of the associated graded algebra of $\Bbbk{G}$…

We construct, in locally compact, second countable, amenable groups, sets with large density that fail to have certain combinatorial properties. For the property of being a shift of a set of measurable recurrence we show that this is…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

Positive curvature and bosons Compact positive curvature Riemannian manifolds M with symmetry group G allow Conner-Kobayashi reductions M to N, where N is the fixed point set of the symmetry G. The set N is a union of smaller-dimensional…

We show that for each countable simplicial complex P the following conditions are equivalent: (1) $P \in AE(X)$ iff $P \in AE(\beta X)$ for any space X; (2) There exists a P-invertible map of a metrizable compactum X with $P \in AE(X)$ onto…

We study conformal field theories (CFTs) on curved spaces including both orientable and unorientable manifolds possibly with boundaries. We first review conformal transformations on curved manifolds. We then compute the identity components…

Coquand's cubical set model for homotopy type theory provides the basis for a computational interpretation of the univalence axiom and some higher inductive types, as implemented in the cubical proof assistant. This paper contributes to the…

Let $H$ be a group and $E$ a set such that $H \subseteq E$. We shall describe and classify up to an isomorphism of groups that stabilizes $H$ the set of all group structures that can be defined on $E$ such that $H$ is a subgroup of $E$. A…

If X and Y are orthogonal hyperdefinable sets such that X is simple, then any group G interpretable in (X,Y) has a normal hyperdefinable X-internal subgroup N such that G/N is Y-internal; N is unique up to commensurability. In order to make…

The geometric problem of estimating an unknown compact convex set from evaluations of its support function arises in a range of scientific and engineering applications. Traditional approaches typically rely on estimators that minimize the…

We correct Theorem 3.10 of "The simplicial boundary of a CAT(0) cube complex" in the infinite-dimensional case. No correction is needed in the finite-dimensional case.

Let $\mathcal{R}$ be an expansion of the ordered real additive group. When $\mathcal{R}$ is o-minimal, it is known that either $\mathcal{R}$ defines an ordered field isomorphic to $(\mathbb{R},<,+,\cdot)$ on some open subinterval…

Motivated by the well-known cases of the real Hilbert ball and complete R-trees, being both particular cases of CAT(-1) spaces, we give an affirmative answer to the question of whether the geodesically boundedness property is a necessary…