Related papers: Post's correspondence problem for hyperbolic and v…

Since Cocke and Minsky proved 2-tag systems universal, they have been extensively used to prove the universality of numerous computational models. Unfortunately, all known algorithms give universal 2-tag systems that have a large number of…

A homomorphism from a graph G to a graph H is a vertex mapping f from the vertex set of G to the vertex set of H such that there is an edge between vertices f(u) and f(v) of H whenever there is an edge between vertices u and v of G. The…

This paper investigates complexity of the uniform membership problem for hyperedge replacement grammars in comparison with other mildly context-sensitive grammar formalisms. It turns out that the complexity of this problem depends on how…

We study the complexity of counting (weighted) planar graph homomorphism problem $\tt{Pl\text{-}GH}(M)$ parametrized by an arbitrary symmetric non-negative real valued matrix $M$. For matrices with pairwise distinct diagonal values, we…

The word problem for categories with free products and coproducts (sums), SP-categories, is directly related to the problem of determining the equivalence of certain processes. Indeed, the maps in these categories may be directly…

Let $G$ be a nontrivial finite subgroup of $\SL_n(\C)$. Suppose that the quotient singularity $\C^n/G$ has a crepant resolution $\pi\colon X\to \C^n/G$ (i.e. $K_X = \shfO_X$). There is a slightly imprecise conjecture, called the McKay…

The CSP of a first-order theory $T$ is the problem of deciding for a given finite set $S$ of atomic formulas whether $T \cup S$ is satisfiable. Let $T_1$ and $T_2$ be two theories with countably infinite models and disjoint signatures.…

We consider popular matching problems in both bipartite and non-bipartite graphs with strict preference lists. It is known that every stable matching is a min-size popular matching. A subclass of max-size popular matchings called dominant…

We study the transference through finite index extensions of the notion of equational coherence, as well as its effective counterpart. We deduce an explicit algorithm for solving the following algorithmic problem about size two integral…

This article provides an account of the functorial correspondence between irreducible singular $G$-monopoles on $S^1\times \Sigma$ and $\vec{t}$-stable meromorphic pairs on $\Sigma$. The main theorem of [1] is thus generalized here from…

Let $G$ be a finitely generated group, and let $\Sigma$ be a finite subset that generates $G$ as a monoid. The \emph{word problem of $G$ with respect to $\Sigma$} consists of all words in the free monoid $\Sigma^{\ast}$ that are equal to…

Let $\Gamma$ be a torsion-free hyperbolic group. We study $\Gamma$--limit groups which, unlike the fundamental case in which $\Gamma$ is free, may not be finitely presentable or geometrically tractable. We define model $\Gamma$--limit…

The main result of this paper is an application of the topology of the space $Q(X)$ to obtain results for the cohomology of the symmetric group on $d$ letters, $\Sigma_d$, with `twisted' coefficients in various choices of Young modules and…

If G and X are groups and N is a normal subgroup of X, then the G-closure of N in X is the normal subgroup X^G= bigcap{kerphi|phi:X-> G, with N subseteq kerphi} of X . In particular, 1^G = R_G X is the G-radical of X. Plotkin calls two…

Let $(G,\alpha)$ and $(H,\beta)$ be locally compact groupoids with Haar systems. We define a topological correspondence from $(G,\alpha)$ to $(H,\beta)$ to be a $G$-$H$-bispace $X$ on which $H$ acts properly and $X$ carries a continuous…

The class of generalized gamma convolutions (GGC) is closed with respect to (wrt) change of scales, weak limits and addition and multiplication of independent random variables. Our main result adds the new property that GGC is also closed…

We show that, given a finitely generated group $G$ as the coordinate group of a finite system of equations over a torsion-free hyperbolic group $\Gamma$, there is an algorithm which constructs a cover of a canonical solution diagram. The…

We address the breakdown of the bulk-boundary correspondence observed in non-Hermitian systems, where open and periodic systems can have distinct phase diagrams. The correspondence can be completely restored by considering the Hamiltonian's…

Let $G$ be a locally compact abelian group. By modifying a theorem of Pedersen, it follows that actions of $G$ on $C^*$-algebras $A$ and $B$ are outer conjugate if and only if there is an isomorphism of the crossed products that is…

Hilbert bimodules are morphisms between C*-algebraic models of quantum systems, while symplectic dual pairs are morphisms between Poisson geometric models of classical systems. Both of these morphisms preserve representation-theoretic…