6
$\begingroup$

Let $H$ be a discrete hypergroup. Suppose I have a matrix $A=(A_{x,y})$ indexed over $H$ with nonnegative entries which defines a bounded operator on $\ell^2(H)$. When does there exist $f\in\ell^1(H)$ such that $A_{x,y}=\langle f*\delta_x,\delta_y\rangle$, i.e., $A$ is the matrix of transition probabilities for a random walk given by convolution with $f$?

A necessary condition is that $A$ commutes with $\ell^1(H)$ convolution on the right. Is this sufficient?

$\endgroup$
1

1 Answer 1

10
$\begingroup$

In case of discrete groups, it requires amenability of $H$. Indeed, $H$ is amenable if and only if $f\in\ell^1(H)$ for all $f\geq0$ such that $[f(xy^{-1})]_{x,y} \in B(\ell^2H)$. I just don't know what are hypergroups.

$\endgroup$
1
  • $\begingroup$ There is a notion of amenability of fusion rings by Izumi and I guess this might be what needed. $\endgroup$ Commented Jun 6, 2015 at 5:11

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .