Suppose that $𝒢$ is a finite, connected graph and $X$ is a lazy random walk on $𝒢$. The lamplighter chain $X^{\diamond }$ associated with $X$ is the random walk on the wreath product ${𝒢}^{\diamond }={𝐙}_2\wr 𝒢$, the graph whose vertices consist of pairs $(\underline{f},x)$ where $f$ is a labeling of the vertices of $𝒢$ by elements of ${𝐙}_2=\{0,1\}$ and $x$ is a vertex in $𝒢$. There is an edge between $(\underline{f},x)$ and $(\underline{g},y)$ in ${𝒢}^{\diamond }$ if and only if $x$ is adjacent to $y$ in $𝒢$ and $f_z=g_z$ for all $z\ne x,y$. In each step, $X^{\diamond }$ moves from a configuration $(\underline{f},x)$ by updating $x$ to $y$ using the transition rule of $X$ and then...

For $X,Y\in {𝐌}_{n,m}$ it is said that $X$ is gut-majorized by $Y$, and we write $X{\prec }_{\mathrm{gut}}Y$, if there exists an $n$-by-$n$ upper triangular g-row stochastic matrix $R$ such that $X=RY$. Define the relation ${\sim }_{\mathrm{gut}}$ as follows. $X{\sim }_{\mathrm{gut}}Y$ if $X$ is gut-majorized by $Y$ and $Y$ is gut-majorized by $X$. The (strong) linear preservers of ${\prec }_{\mathrm{gut}}$ on ${ℝ}^n$ and strong linear preservers of this relation on ${𝐌}_{n,m}$ have been characterized before. This paper characterizes all (strong) linear preservers and strong linear preservers of ${\sim }_{\mathrm{gut}}$ on ${ℝ}^n$ and ${𝐌}_{n,m}$.

A famous theorem of Carleson says that, given any function $f\in L^p\left(𝕋\right)$, $p\in (1,+\infty )$, its Fourier series $\left(S_{n}f\left(x\right)\right)$ converges for almost every $x\in 𝕋$. Beside this property, the series may diverge at some point, without exceeding $O\left(n^{1/p}\right)$. We define the divergence index at $x$ as the infimum of the positive real numbers $\beta$ such that $S_{n}f\left(x\right)=O\left(n^{\beta }\right)$ and we are interested in the size of the exceptional sets $E_{\beta }$, namely the sets of $x\in 𝕋$ with divergence index equal to $\beta$. We show that quasi-all functions in $L^p\left(𝕋\right)$ have a multifractal behavior with respect to...

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...

Let $G$ be a finite group and $H$ a subgroup. Denote by $D(G;H)$ (or $D\left(G\right)$) the crossed product of $C\left(G\right)$ and $ℂH$ (or $ℂG$) with respect to the adjoint action of the latter on the former. Consider the algebra $\langle D\left(G\right),e\rangle$ generated by $D\left(G\right)$ and $e$, where we regard $E$ as an idempotent operator $e$ on $D\left(G\right)$ for a certain conditional expectation $E$ of $D\left(G\right)$ onto $D(G;H)$. Let us call $\langle D\left(G\right),e\rangle$ the basic construction from the conditional expectation $E:D\left(G\right)\to D(G;H)$. The paper constructs a crossed product algebra $C(G/H\times G)⋊ℂG$, and proves that there is an algebra isomorphism between...