Related papers: An Improved Homomorphism Preservation Theorem From…

Two graphs are homomorphism indistinguishable over a graph class $\mathcal{F}$, denoted by $G \equiv_{\mathcal{F}} H$, if $\operatorname{hom}(F,G) = \operatorname{hom}(F,H)$ for all $F \in \mathcal{F}$ where $\operatorname{hom}(F,G)$…

The minimal degree of a permutation group $G$ is the minimum number of points not fixed by non-identity elements of $G$. Lower bounds on the minimal degree have strong structural consequences on $G$. Babai conjectured that if a primitive…

The homology groups of the automorphism group of a free group are known to stabilize as the number of generators of the free group goes to infinity, and this paper relativizes this result to a family of groups that can be defined in terms…

Let $K$ be a number field and $v$ a non archimedean valuation on $K$. We say that an endomorphism $\Phi\colon \mathbb{P}_1\to \mathbb{P}_1$ has good reduction at $v$ if there exists a model $\Psi$ for $\Phi$ such that $\deg\Psi_v$, the…

$GC^k$ is a logic introduced by Scheidt and Schweikardt (2023) to express properties of hypergraphs. It is similar to first-order logic with counting quantifiers ($C$) adapted to the hypergraph setting. It has distinct sets of variables for…

We produce a class of $\omega$-categorical structures with finite signature by applying a model-theoretic construction -- a refinement of the Hrushosvki-encoding -- to $\omega$-categorical structures in a possibly infinite signature. We…

Graph product structure theory expresses certain graphs as subgraphs of the strong product of much simpler graphs. In particular, an elegant formulation for the corresponding structural theorems involves the strong product of a path and of…

Let $\mathfrak{X}$ be a class of finite groups closed under taking subgroups, homomorphic images and extensions. It is known that if $A$ is a normal subgroup of a finite group $G$ then the image of an $\mathfrak{X}$-maximal subgroup $H$ of…

We investigate quantifier alternation hierarchies in first-order logic on finite words. Levels in these hierarchies are defined by counting the number of quantifier alternations in formulas. We prove that one can decide membership of a…

The main result of this paper is that the isomorphism for omega-automatic trees of finite height is at least has hard as second-order arithmetic and therefore not analytical. This strengthens a recent result by Hjorth, Khoussainov,…

Let $G$ be a compact connected Lie group and let $\xi,\nu$ be complex vector bundles over the classifying space $BG$. The problem we consider is whether $\xi$ contains a subbundle which is isomorphic to $\nu$. The necessary condition is…

Building upon [2308.02636], we investigate the constraining power of persistent homology on cosmological parameters and primordial non-Gaussianity in a likelihood-free inference pipeline utilizing machine learning. We evaluate the ability…

This manuscript complements the Hirsch-Pugh-Shub (HPS) theory on persistence of normally hyperbolic laminations and the theorem of Robinson on the structural stability of diffeomorphisms that satisfy Axiom A and the strong transversality…

Let $L$ be a (non necessarily unital) truncated vector lattice of real-valued functions on a nonempty set $X$. A nonzero linear functional $\psi$ on $L$ is called a truncation homomorphism if it preserves truncation, i.e.,% \[ \psi\left(…

Given a group $G$ and an abelian $C^*$-algebra $\mathfrak{A}$, the antihomomorphisms $\Theta\colon G\rightarrow \mathrm{Aut}(\mathfrak{A})$ are in one-to-one with those left actions $\Phi\colon G\times \mathrm{Spec}(\mathfrak{A})\rightarrow…

A fundamental fact for the algebraic theory of constraint satisfaction problems (CSPs) over a fixed template is that pp-interpretations between at most countable \omega-categorical relational structures have two algebraic counterparts for…

The theorem of factorisation forests shows the existence of nested factorisations -- a la Ramsey -- for finite words. This theorem has important applications in semigroup theory, and beyond. The purpose of this paper is to illustrate the…

We provide specific PDEs for preserved quantities $Q$ in Geometry, as well as a bridge between this and specific PDEs for observables $O$ in Physics. We furthermore prove versions of four other theorems either side of this bridge: the below…

The bounded proper forcing axiom BPFA is the statement that for any family of aleph_1 many maximal antichains of a proper forcing notion, each of size aleph_1, there is a directed set meeting all these antichains. A regular cardinal kappa…

In this article, we study the isomorphism problem for the algebras of $\Phi-$Pseudofunctions and $\Phi-$Pseudomeasures, denoted by $PF_\Phi(G)$ and $PM_\Phi(G),$ respectively. More precisely, for a certain class of Young functions $\Phi,$…