Related papers: A model theoretic study of right-angled buildings

We propose a systematic method to produce potentially good recursive towers over finite fields. The graph point of view, so as some magma and sage computations are used in this process. We also establish some theoretical functional…

Relatively little is known about the discrete horospheres in hyperbolic groups, even in simple settings. In this paper we work with hyperbolic one-ended right-angled Coxeter groups and describe two graph structures that mimic the intrinsic…

We prove the strong Atiyah conjecture for right-angled Artin groups and right-angled Coxeter groups. More generally, we prove it for groups which are certain finite extensions or elementary amenable extensions of such groups.

A new sequential approach to investigations of structure of metric spaces at infinity is proposed. Criteria for finiteness and boundedness of metric spaces at infinity are found.

We completely classify the locally finite, infinite graphs with pure mapping class groups admitting a coarsely bounded generating set. We also study algebraic properties of the pure mapping class group: We establish a semidirect product…

Hypergraphs are structures that can be decomposed or described; in other words they are recursively countable. Here, we get exact and asymptotic enumeration results on hypergraphs by means of exponential generating functions. The number of…

The paper introduces the class of O-metric spaces, a novel generalization of metric-type spaces, classifying almost all possible metric types into upward and downward O-metrics. We list some topologies arising from O-metrics and discuss…

We give a new, direct proof of the tetrachotomy classification for the model-checking problem of positive equality-free logic parameterised by the model. The four complexity classes are Logspace, NP-complete, co-NP-complete and…

Let $\Gamma$ be a group of type rotating automorphisms of a building $\cB$ of type $\widetilde A_2$, and suppose that $\Gamma$ acts freely and transitively on the vertex set of $\cB$. The apartments of $\cB$ are tiled by triangles, labelled…

We show for a coring which is finitely generated projective as a left module that the Cartier cohomology is isomorphic to the relative Hochschild cohomology of the right algebra. Furthermore, we show that this isomorphism lifts to the level…

We prove a general theorem on the stochastic convergence of appropriately renormalized models arising from nonlinear stochastic PDEs. The theory of regularity structures gives a fairly automated framework for studying these problems but…

We show that the equational theory of the structure $\langle \omega^{\omega}: (x,y)\mapsto x+y, x\mapsto \omega x \rangle $ is finitely axiomatizable and give a simple axiom schema when the domain is the set of transfinite ordinals. We give…

Let $T$ be a countable complete first-order theory with a definable, infinite, discrete linear order. We prove that $T$ has continuum-many countable models. The proof is purely first-order, but raises the question of Borel completeness of…

We study countable graphs that -- up to isomorphism and with probability one -- arise from a random process, in a similar fashion as the Rado graph. Unlike in the classical case, we do not require that probabilities assigned to pairs of…

In previous papers, the author showed that in many cases of interest there exists an isomorphism between certain path algebras related to the structure of the subregular J-rings of Coxeter systems and matrix rings over a free product of…

Finite energy pluripotential theory accommodates the variational theory of equations of complex Monge-Amp\`ere type arising in K\"ahler geometry. Recently it has been discovered that many of the potential spaces involved have a rich metric…

We define the notion of a twisted topological graph algebra associated to a topological graph and a $1$-cocycle on its edge set. We prove a stronger version of a Vasselli's result. We expand Katsura's results to study twisted topological…

Some remarks are made about free anomaly groups in gauged WZW models. Considering a quite general action, anomaly cancellation is analyzed. The possibility of gauging left and right sectors independently in some cases is remarked. In…

We consider residue structures $R/G$ where $(G,+)$ is an additive subgroup of a ring $(R,+,\cdot)$, not necessarily an ideal. Special instances include Krasner's construction of quotient hyperfields, and Pumpluen's construction of…

We completely classify the possible divergence functions for right-angled Coxeter groups (RACGs). In particular, we show that the divergence of any such group is either polynomial, exponential or infinite. We prove that a RACG is strongly…