Related papers: Equivalence Relations and Determinacy

Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Venneri [1981], we prove several facts about sets of terms having a given intersection type. Our main result is that every strongly normalizing…

Let F be a non-archimedean local field of characteristic zero whose residue field has at least three elements. Let G be an almost simple linear algebraic group over F, with rank_F(G) >= 2. Let X be a simply connected symmetric space of…

Let $\Gamma$ be a finite graph and let $A(\Gamma)$ be the corresponding right-angled Artin group. We characterize the Hamiltonicity of $\Gamma$ via the structure of the cohomology algebra of $A(\Gamma)$. In doing so, we define and develop a…

A graph $\Gamma$ labelled by a set $S$ defines a group $G(\Gamma)$ whose generators are the set of labels $S$ and whose relations are all words which can be read on closed paths of this graph. We introduce the notion of aspherical graph and…

We provide a geometric condition that guarantees strong Wilf equivalence in the generalized factor order. This provides a powerful tool for proving specific and general Wilf equivalence results, and several such examples are given.

Let $k$ be a number field, $\Omega$ be a finite symmetric subset of $\mathbb{GL}_{n_0}(k)$, and $\Gamma=\langle \Omega\rangle$. Let \[ C(\Gamma):=\{\mathfrak{p}\in V_f(k)|\hspace{1mm} \Gamma \text{is a bounded subgroup of}…

Let $ X_{\beta}$ be a sofic $ \beta $-shift for $ \beta \in (1, 2] $. We show that there is an $ S $-gap shift $ X(S) $ such that $ X_{\beta} $ and $ X(S) $ are right-resolving almost conjugate. Conversely, a condition on $ S \subseteq…

Let $\Gamma$ be a discrete group. Assuming rational injectivity of the Baum-Connes assembly map, we provide new lower bounds on the rank of the positive scalar curvature bordism group and the relative group in Stolz' positive scalar…

Let $G$ be an arbitrary group. We define a gain-line graph for a gain graph $(\Gamma,\psi)$ through the choice of an incidence $G$-phase matrix inducing $\psi$. We prove that the switching equivalence class of the gain function on the line…

The commuting graph ${\Gamma(G)}$ of a group $G$ is the simple undirected graph with group elements as a vertex set and two elements $x$ and $y$ are adjacent if and only if $xy=yx$ in $G$. By eliminating the identity element of $G$ and all…

Let $\Gamma'<\Gamma$ be two discrete groups acting properly by isometries on a Gromov-hyperbolic space $X$. We prove that their critical exponents coincide if and only if $\Gamma'$ is co-amenable in $\Gamma$, under the assumption that the…

We study the $\Gamma$-convergence of the functionals $F_n(u):= || f(\cdot,u(\cdot),Du(\cdot))||_{p_n(\cdot)}$ and $\mathcal{F}_n(u):= \int_{\Omega} \frac{1}{p_n(x)} f^{p_n(x)}(x,u(x),Du(x))dx$ defined on $X\in \{L^1(\Omega,\mathbb{R}^d),…

A dominating set $S$ of a graph $G$ of order $n$ is a subset of the vertices of $G$ such that every vertex is either in $S$ or adjacent to a vertex of $S$. %The domination number $G$, denoted $\gamma (G)$, is the cardinality of the smallest…

Let $\Gamma$ be a function that maps two arbitrary graphs $G$ and $H$ to a non-negative real number such that $$\alpha(G^{\boxtimes n})\leq \alpha(H^{\boxtimes n})\Gamma(G,H)^n$$ where $n$ is any natural number and $G^{\boxtimes n}$ is the…

We investigate the relationship between finite groups and incidence geometries through their automorphism structures. Building upon classical results on the realizability of groups as automorphism groups of graphs, we develop a general…

For a nice holomorphic function $f(s, z)$ in two variables, a respective holomorphic Gamma function $\Gamma = \Gamma_f$ is constructed, such that $f(s, \Gamma(s)) = \Gamma(s + 1)$. Along the way, we fall through a rabbit hole of infinite…

This is the fourth paper in a series. We prove a conjecture made independently by Boston et al and Shalev. The conjecture asserts that there is an absolute positive constant delta such that if G is a finite simple group acting transitively…

For \Gamma a countable amenable group consider those actions of \Gamma as measure-preserving transformations of a standard probability space, written as {T_\gamma}_{\gamma \in \Gamma} acting on (X,{\cal F}, \mu). We say…

The Equivalence Principle (EP) is at the heart of General Relativity (GR), tested in many aspects. It is often used to discuss qualitatively the influence of gravity on physical phenomena. But can this be made more precise? We compare clock…

Let $X$ be a compact metrizable group and $\Gamma$ a countable group acting on $X$ by continuous group automorphisms. We give sufficient conditions under which the dynamical system $(X,\Gamma)$ is surjunctive, i.e., every injective…