English
Related papers

Related papers: Space functions and complexity of the word problem…

200 papers

We derive an explicit formula for a restricted partition function P_n^m(s) with constraints making use of known expression for a restricted partition function W_m(s) without constraints

Combinatorics · Mathematics 2018-02-12 Leonid G. Fel

We construct a finitely presented (two-sided) totally orderable group with insoluble word problem.

Group Theory · Mathematics 2014-02-26 V. V. Bludov , A. M. W. Glass

When dealing with concrete problems in a function space on R^n, it is sometimes helpful to have a dense subspace consisting of functions of a particular type, adapted to the problem under consideration. We give a theorem that allows one to…

funct-an · Mathematics 2008-02-03 M. F. E. de Jeu

Let w be a group word. It is conjectured that if w has only countably many values in a profinite group G, then the verbal subgroup w(G) is finite. In the present paper we confirm the conjecture in the cases where w is a multilinear…

Group Theory · Mathematics 2016-10-20 Eloisa Detomi , Marta Morigi , Pavel Shumyatsky

We consider sequences of integers defined by a system of linear inequalities with integer coefficients. We show that when the constraints are strong enough to guarantee that all the entries are nonnegative, the generating function for the…

Combinatorics · Mathematics 2007-05-23 S. Corteel , C. D. Savage

Let $G$ be a unitriangular matrix group of nilpotency class at most ten. We show that the Identity Problem (does a semigroup contain the identity matrix?) and the Group Problem (is a semigroup a group?) are decidable in polynomial time for…

Discrete Mathematics · Computer Science 2023-09-12 Ruiwen Dong

With each semigroup one can associate a partial algebra, called the biordered set, which captures important algebraic and geometric features of the structure of idempotents of that semigroup. For a biordered set $\mathcal{E}$, one can…

Group Theory · Mathematics 2022-10-07 Igor Dolinka

Partition functions of certain classes of "spin glass" models in statistical physics show strong connections to combinatorial graph invariants. Also known as homomorphism functions they allow for the representation of many such invariants,…

Computational Complexity · Computer Science 2010-04-08 Marc Thurley

Let $T(X)$ (resp. L(V)) be the semigroup of all transformations (resp. linear transformations) of a set $X$ (resp. vector space $V$). For a subset $Y$ of $X$ and a subsemigroup $\mathbb{S}(Y)$ of $T(Y)$, consider the subsemigroup…

Group Theory · Mathematics 2023-03-08 Mosarof Sarkar , Shubh N. Singh

Given a subset of states $S$ of a deterministic finite automaton and a word $w$, the preimage is the subset of all states mapped to a state in $S$ by the action of $w$. We study three natural problems concerning words giving certain…

Formal Languages and Automata Theory · Computer Science 2020-09-22 Mikhail V. Berlinkov , Robert Ferens , Marek Szykuła

Building on the previous extensive study of Yang, Gould and the present author, we provide a more precise insight into the group-theoretical ramifications of the word problem for free idempotent generated semigroups over finite biordered…

Group Theory · Mathematics 2020-09-22 Igor Dolinka

We prove that, for a finitely generated residually finite group, having solvable word problem is not a sufficient condition to be a subgroup of a finitely presented residually finite group. The obstruction is given by a residually finite…

Group Theory · Mathematics 2021-03-19 Emmanuel Rauzy

Given a semigroup $S$ and an $n$-partition $\mathcal{P}$ of $S$, $n\in \mathbb{N}$, do there exist $A\in \mathcal{P}$ and a subset $F$ of $S$ such that $S=F ^{-1} \{x \in S: x A \bigcap A\neq\emptyset\}$ and $|F |\leq n$? We give an…

Combinatorics · Mathematics 2015-08-31 Igor Protasov , Ksenia Protasova

The semi-group of weighted composition operators $(W_n)_{n\geq 1}$ where \[ W_nf(z)=(1+z+\ldots+z^{n-1})f(z^n) \] on the classical Hardy-Hilbert space $H^2$ of the open unit disk is related to the Riemann Hypothesis (RH) (see…

Functional Analysis · Mathematics 2025-06-10 Juan Manzur , Waleed Noor , Charles F. Santos

In this paper we deal with the following problem: how does the structure of a finite semigroup $S$ depend on the probability that two elements selected at random from $S$, with replacement, define the same inner right translation of $S$. We…

Group Theory · Mathematics 2023-10-17 Attila Nagy , Csaba Tóth

Given a finite alphabet $\Sigma$ and a right-infinite word $\bf w$ over $\Sigma$, we define the Lie complexity function $L_{\bf w}:\mathbb{N}\to \mathbb{N}$, whose value at $n$ is the number of conjugacy classes (under cyclic shift) of…

Formal Languages and Automata Theory · Computer Science 2021-02-09 Jason P. Bell , Jeffrey Shallit

This paper introduces a novel generalization of the classical concept of $S$-metric spaces, referred to as composed $S$-metric spaces. By incorporating a composed function, we impose more general conditions on the triangle inequality,…

General Mathematics · Mathematics 2025-09-16 Nizar Souayah

It is known that point searching in basic semialgebraic sets and the search for globally minimal points in polynomial optimization tasks can be carried out using $(s\,d)^{O(n)}$ arithmetic operations, where $n$ and $s$ are the numbers of…

Symbolic Computation · Computer Science 2014-02-11 Bernd Bank , Marc Giusti , Joos Heintz , Mohab Safey El Din

In this paper we consider the following problems: how many different subsets of Sigma^n can occur as set of all length-n factors of a finite word? If a subset is representable, how long a word do we need to represent it? How many such…

Formal Languages and Automata Theory · Computer Science 2013-04-15 Shuo Tan , Jeffrey Shallit

We study the language-theoretic aspects of the word problem, in the sense of Duncan & Gilman, of free products of semigroups and monoids. First, we provide algebraic tools for studying classes of languages known as super-AFLs, which…

Group Theory · Mathematics 2021-12-21 Carl-Fredrik Nyberg-Brodda
‹ Prev 1 3 4 5 6 7 10 Next ›