Transience and Recurrence of Random Walks on Percolation Clusters in an Ultrametric Space

We study transience and recurrence of simple random walks on percolation clusters in the hierarchical group of order N, which is an ultrametric space. The connection probability on the hierarchical group for two points separated by distance k is of the form \(c_k/N^{k(1+\delta )}, \delta >0\), with \(c_k=C_0+C_1\log k+C_2k^\alpha \), non-negative constants \(C_0, C_1, C_2\), and \(\alpha >0\). Percolation occurs for \(\delta <1\), and for the critical case, \(\delta =1\), \(\alpha >0\) and sufficiently large \(C_2\). We show that in the case \(\delta <1\) the walk is transient, and in the case \(\delta =1,C_2>0,\alpha >0\) there exists a critical \(\alpha _\mathrm{c}\in (0,\infty )\) such that the walk is recurrent for \(\alpha <\alpha _\mathrm{c}\) and transient for \(\alpha >\alpha _\mathrm{c}\). The proofs involve ultrametric random graphs, graph diameters, path lengths, and electric circuit theory. Some comparisons are made with behaviours of simple random walks on long-range percolation clusters in the one-dimensional Euclidean lattice.     

Geometric Constructibility of Polygons Lying on a Circular Arc

For a positive integer n, an n-sided polygon lying on a circular arc or, shortly, an n-fan is a sequence of \(n+1\) points on a circle going counterclockwise such that the “total rotation” \(\delta \) from the first point to the last one is at most \(2\pi \). We prove that for \(n\ge 3\), the n-fan cannot be constructed with straightedge and compass in general from its central angle \(\delta \) and its central distances, which are the distances of the edges from the center of the circle. Also, we prove that for each fixed \(\delta \) in the interval \((0, 2\pi ]\) and for every \(n\ge 5\), there exists a concrete n-fan with central angle \(\delta \) that is not constructible from its central distances and \(\delta \). The present paper generalizes some earlier results published by the second author and Á. Kunos on the particular cases \(\delta =2\pi \) and \(\delta =\pi \).     

Skew <Emphasis Type="Italic">n</Emphasis>-derivation on prime and semi prime rings

Let \(n \ge 2\) be a fixed integer, R be a noncommutative n!-torsion free ring and I be any non zero ideal of R. In this paper we have proved the following results; (i) If R is a prime ring and there exists a symmetric skew n-derivation \(D: R^n \rightarrow R\) associated with the automorphism \(\sigma \) on R,  such that the trace function \(\delta : R \rightarrow R \) of D satisfies \([\delta (x), \sigma (x)] =0\), for all \(x\in I,\) then \(D=0;\,\)(ii) If R is a semi prime ring and the trace function \(\delta ,\) commuting on I,  satisfies \([\delta (x), \sigma (x)]\in Z\), for all \(x \in I,\) then \([\delta (x), \sigma (x)] = 0 \), for all \(x \in I.\) Moreover, we have proved some annihilating conditions for algebraic identity involving multiplicative(generalized) derivation.     

CLT for Random Walks of Commuting Endomorphisms on Compact Abelian Groups

Let \(\mathcal S\) be an abelian group of automorphisms of a probability space \((X, {\mathcal A}, \mu )\) with a finite system of generators \((A_1, \ldots , A_d).\) Let \(A^{{\underline{\ell }}}\) denote \(A_1^{\ell _1} \ldots A_d^{\ell _d}\), for \({{\underline{\ell }}}= (\ell _1, \ldots , \ell _d).\) If \((Z_k)\) is a random walk on \({\mathbb {Z}}^d\), one can study the asymptotic distribution of the sums \(\sum _{k=0}^{n-1} \, f \circ A^{\,{Z_k(\omega )}}\) and \(\sum _{{\underline{\ell }}\in {\mathbb {Z}}^d} {\mathbb {P}}(Z_n= {\underline{\ell }}) \, A^{\underline{\ell }}f\), for a function f on X. In particular, given a random walk on commuting matrices in \(SL(\rho , {\mathbb {Z}})\) or in \({\mathcal M}^*(\rho , {\mathbb {Z}})\) acting on the torus \({\mathbb {T}}^\rho \), \(\rho \ge 1\), what is the asymptotic distribution of the associated ergodic sums along the random walk for a smooth function on \({\mathbb {T}}^\rho \) after normalization? In this paper, we prove a central limit theorem when X is a compact abelian connected group G endowed with its Haar measure (e.g., a torus or a connected extension of a torus), \(\mathcal S\) a totally ergodic d-dimensional group of commuting algebraic automorphisms of G and f a regular function on G. The proof is based on the cumulant method and on preliminary results on random walks.     

The Terwilliger algebra of the incidence graph of the Hamming graph

Let \(\varGamma \) be a distance-semiregular graph on Y, and let \(D^Y\) be the diameter of \(\varGamma \) on Y. Let \(\varDelta \) be the halved graph of \(\varGamma \) on Y. Fix \(x \in Y\). Let T and \(T'\) be the Terwilliger algebras of \(\varGamma \) and \(\varDelta \) with respect to x, respectively. Assume, for an integer i with \(1 \le 2i \le D^Y\) and for \(y,z \in \varGamma _{2i}(x)\) with \(\partial _{\varGamma }(y,z)=2\), the numbers \(|\varGamma _{2i-1}(x) \cap \varGamma (y) \cap \varGamma (z)|\) and \(|\varGamma _{2i+1}(x) \cap \varGamma (y) \cap \varGamma (z)|\) depend only on i and do not depend on the choice of y, z. The first goal in this paper is to show the relations between T-modules of \(\varGamma \) and \(T'\)-modules of \(\varDelta \). Assume \(\varGamma \) is the incidence graph of the Hamming graph H(D, n) on the vertex set Y and the set \({\mathcal {C}}\) of all maximal cliques. Then, \(\varGamma \) satisfies above assumption and \(\varDelta \) is isomorphic to H(D, n). The second goal is to determine the irreducible T-modules of \(\varGamma \). For each irreducible T-module W, we give a basis for W the action of the adjacency matrix on this basis and we calculate the multiplicity of W.     

An Engel condition with skew derivations for one-sided ideals

We apply the theory of generalized polynomial identities with automorphisms and skew derivations to prove the following theorem: Let A be a prime ring with the extended centroid C and with two-sided Martindale quotient ring Q, R a nonzero right ideal of A and \(\delta \) a nonzero \(\sigma \)-derivation of A, where \(\sigma \) is an epimorphism of A. For \(x,y\in A\), we set \([x,y] = xy - yx\). If \([[\ldots [[\delta (x^{n_0}),x^{n_1}],x^{n_{2}}],\ldots ],x^{n_k}]=0\) for all \(x\in R\), where \(n_{0},n_{1},\ldots ,n_{k}\) are fixed positive integers, then one of the following conditions holds: (1) A is commutative; (2) \(C\cong GF(2)\), the Galois field of two elements; (3) there exist \(b\in Q\) and \(\lambda \in C\) such that \(\delta (x)=\sigma (x)b-bx\) for all \(x\in A\), \((b-\lambda )R=0\) and \(\sigma (R)=0\). The analogous result for left ideals is also obtained. Our theorems are natural generalizations of the well-known results for derivations obtained by Lanski (Proc Am Math Soc 125:339–345, 1997) and Lee (Can Math Bull 38:445–449, 1995).     

Anderson Polymer in a Fractional Brownian Environment: Asymptotic Behavior of the Partition Function

We consider the Anderson polymer partition function

$$\begin{aligned} u(t):=\mathbb {E}^X\left[ e^{\int _0^t \mathrm {d}B^{X(s)}_s}\right] \,, \end{aligned}$$

where \(\{B^{x}_t\,;\, t\ge 0\}_{x\in \mathbb {Z}^d}\) is a family of independent fractional Brownian motions all with Hurst parameter \(H\in (0,1)\), and \(\{X(t)\}_{t\in \mathbb {R}^{\ge 0}}\) is a continuous-time simple symmetric random walk on \(\mathbb {Z}^d\) with jump rate \(\kappa \) and started from the origin. \(\mathbb {E}^X\) is the expectation with respect to this random walk. We prove that when \(H\le 1/2\), the function u(t) almost surely grows asymptotically like \(e^{\lambda t}\), where \(\lambda >0\) is a deterministic number. More precisely, we show that as t approaches \(+\infty \), the expression \(\{\frac{1}{t}\log u(t)\}_{t\in \mathbb {R}^{>0}}\) converges both almost surely and in the \(\hbox {L}^1\) sense to some positive deterministic number \(\lambda \). For \(H>1/2\), we first show that \(\lim _{t\rightarrow \infty } \frac{1}{t}\log u(t)\) exists both almost surely and in the \(\hbox {L}^1\) sense and equals a strictly positive deterministic number (possibly \(+\infty \)); hence, almost surely u(t) grows asymptotically at least like \(e^{\alpha t}\) for some deterministic constant \(\alpha >0\). On the other hand, we also show that almost surely and in the \(\hbox {L}^1\) sense, \(\limsup _{t\rightarrow \infty } \frac{1}{t\sqrt{\log t}}\log u(t)\) is a deterministic finite real number (possibly zero), hence proving that almost surely u(t) grows asymptotically at most like \(e^{\beta t\sqrt{\log t}}\) for some deterministic positive constant \(\beta \). Finally, for \(H>1/2\) when \(\mathbb {Z}^d\) is replaced by a circle endowed with a Hölder continuous covariance function, we show that \(\limsup _{t\rightarrow \infty } \frac{1}{t}\log u(t)\) is a deterministic finite positive real number, hence proving that almost surely u(t) grows asymptotically at most like \(e^{c t}\) for some deterministic positive constant c.

     

Random Walks in the Hyperbolic Plane and the Minkowski Question Mark Function

Consider \(G=SL_2(\mathbb {Z})/\{\pm I\}\) acting on the complex upper half plane H by \(h_M(z)=\frac{az\,+\,b}{cz\,+\,d}\) for \(M \in G\). Let \(D=\{z \in H: |z|\ge 1, |\mathfrak {R}(z)|\le 1/2\}\). We consider the set \({\mathcal {E}} \subset G\) with the nine elements M, different from the identity, such that \(\mathrm{tr\,}(MM^T)\le 3\). We equip the tiling of H defined by \(\mathbb {D}=\{h_M(D){:}\, M \in G\}\) with a graph structure where the neighbours are defined by \(h_M(D) \cap h_{M'}(D) \ne \emptyset \), equivalently \(M^{-1}M' \in {\mathcal {E}}\). The present paper studies several Markov chains related to the above structure. We show that the simple random walk on the above graph converges a.s. to a point X of the real line with the same distribution of \(S_2 W^{S_1}\), where \(S_1,S_2,W\) are independent with \(\Pr (S_i=\pm 1)=1/2\) and where W is valued in (0, 1) with distribution \(\Pr (W<w)=\mathbf ? (w)\). Here \(\mathbf ? \) is the Minkowski function. If \(K_1, K_2, \ldots \) are i.i.d with distribution \(\Pr (K_i=n)= 1/2^n\) for \(n=1,2,\ldots \), then \(W= \frac{1}{K_1+\frac{1}{K_2+\ldots }}\): this known result (Isola in Appl Math 5:1067–1090, 2014) is derived again here.     

An <Emphasis Type="Italic">A</Emphasis>-invariant subspace for bipartite distance-regular graphs with exactly two irreducible <Emphasis Type="Italic">T</Emphasis>-modules with endpoint 2, both thin

Let \(\Gamma \) denote a bipartite distance-regular graph with vertex set X, diameter \(D \ge 4\), and valency \(k \ge 3\). Let \({{\mathbb {C}}}^X\) denote the vector space over \({{\mathbb {C}}}\) consisting of column vectors with entries in \({{\mathbb {C}}}\) and rows indexed by X. For \(z \in X\), let \({{\widehat{z}}}\) denote the vector in \({{\mathbb {C}}}^X\) with a 1 in the z-coordinate, and 0 in all other coordinates. Fix a vertex x of \(\Gamma \) and let \(T = T(x)\) denote the corresponding Terwilliger algebra. Assume that up to isomorphism there exist exactly two irreducible T-modules with endpoint 2, and they both are thin. Fix \(y \in X\) such that \(\partial (x,y)=2\), where \(\partial \) denotes path-length distance. For \(0 \le i,j \le D\) define \(w_{ij}=\sum {{\widehat{z}}}\), where the sum is over all \(z \in X\) such that \(\partial (x,z)=i\) and \(\partial (y,z)=j\). We define \(W=\mathrm{span}\{w_{ij} \mid 0 \le i,j \le D\}\). In this paper we consider the space \(MW=\mathrm{span}\{mw \mid m \in M, w \in W\}\), where M is the Bose–Mesner algebra of \(\Gamma \). We observe that MW is the minimal A-invariant subspace of \({{\mathbb {C}}}^X\) which contains W, where A is the adjacency matrix of \(\Gamma \). We show that \(4D-6 \le \mathrm{dim}(MW) \le 4D-2\). We display a basis for MW for each of these five cases, and we give the action of A on these bases.     

Spectral density estimates with partial symmetries and an application to Bahri–Lions-type results

We are concerned with the existence of infinitely many solutions for the problem \(-\Delta u=|u|^{p-2}u+f\) in \(\Omega \), \(u=u_0\) on \(\partial \Omega \), where \(\Omega \) is a bounded domain in \(\mathbb {R}^N\), \(N\ge 3\). This can be seen as a perturbation of the problem with \(f=0\) and \(u_0=0\), which is odd in u. If \(\Omega \) is invariant with respect to a closed strict subgroup of O(N), then we prove infinite existence for all functions f and \(u_0\) in certain spaces of invariant functions for a larger range of exponents p than known before. In order to achieve this, we prove Lieb–Cwikel–Rosenbljum-type bounds for invariant potentials on \(\Omega \), employing improved Sobolev embeddings for spaces of invariant functions.     

The Difference Between a Discrete and Continuous Harmonic Measure

We consider a discrete-time, continuous-state random walk with steps uniformly distributed in a disk of radius h. For a simply connected domain D in the plane, let \(\omega _h(0,\cdot ;D)\) be the discrete harmonic measure at \(0\in D\) associated with this random walk, and \(\omega (0,\cdot ;D)\) be the (continuous) harmonic measure at 0. For domains D with analytic boundary, we prove there is a bounded continuous function \(\sigma _D(z)\) on \(\partial D\) such that for functions g which are in \(C^{2+\alpha }(\partial D)\) for some \(\alpha >0\) we have

$$\begin{aligned} \lim _{h\downarrow 0} \frac{\int _{\partial D} g(\xi ) \omega _h(0,|\mathrm{d}\xi |;D) -\int _{\partial D} g(\xi )\omega (0,|\mathrm{d}\xi |;D)}{h} = \int _{\partial D}g(z) \sigma _D(z) |\mathrm{d}z|. \end{aligned}$$

We give an explicit formula for \(\sigma _D\) in terms of the conformal map from D to the unit disk. The proof relies on some fine approximations of the potential kernel and Green’s function of the random walk by their continuous counterparts, which may be of independent interest.

     

Thue’s inequalities and the hypergeometric method

We establish upper bounds for the number of primitive integer solutions to inequalities of the shape \(0<|F(x, y)| \le h\), where \(F(x , y) =(\alpha x + \beta y)^r -(\gamma x + \delta y)^r \in \mathbb {Z}[x ,y]\), \(\alpha \), \(\beta \), \(\gamma \) and \(\delta \) are algebraic constants with \(\alpha \delta -\beta \gamma \ne 0\), and \(r \ge 5\) and h are integers. As an important application, we pay special attention to binomial Thue’s inequalities \(|ax^r - by^r| \le c\). The proofs are based on the hypergeometric method of Thue and Siegel and its refinement by Evertse.     

Fluctuation Theory for Markov Random Walks

Two fundamental theorems by Spitzer–Erickson and Kesten–Maller on the fluctuation-type (positive divergence, negative divergence or oscillation) of a real-valued random walk \((S_{n})_{n\ge 0}\) with iid increments \(X_{1},X_{2},\ldots \) and the existence of moments of various related quantities like the first passage into \((x,\infty )\) and the last exit time from \((-\infty ,x]\) for arbitrary \(x\ge 0\) are studied in the Markov-modulated situation when the \(X_{n}\) are governed by a positive recurrent Markov chain \(M=(M_{n})_{n\ge 0}\) on a countable state space \(\mathcal {S}\); thus, for a Markov random walk \((M_{n},S_{n})_{n\ge 0}\). Our approach is based on the natural strategy to draw on the results in the iid case for the embedded ordinary random walks \((S_{\tau _{n}(i)})_{n\ge 0}\), where \(\tau _{1}(i),\tau _{2}(i),\ldots \) denote the successive return times of M to state i, and an analysis of the excursions of the walk between these epochs. However, due to these excursions, generalizations of the aforementioned theorems are surprisingly more complicated and require the introduction of various excursion measures so as to characterize the existence of moments of different quantities.     

Partial permutation decoding for binary linear and $$Z_4$$-linear Hadamard codes

In this paper, s-\({\text {PD}}\)-sets of minimum size \(s+1\) for partial permutation decoding for the binary linear Hadamard code \(H_m\) of length \(2^m\), for all \(m\ge 4\) and \(2 \le s \le \lfloor {\frac{2^m}{1+m}}\rfloor -1\), are constructed. Moreover, recursive constructions to obtain s-\({\text {PD}}\)-sets of size \(l\ge s+1\) for \(H_{m+1}\) of length \(2^{m+1}\), from an s-\({\text {PD}}\)-set of the same size for \(H_m\), are also described. These results are generalized to find s-\({\text {PD}}\)-sets for the \({\mathbb {Z}}_4\)-linear Hadamard codes \(H_{\gamma , \delta }\) of length \(2^m\), \(m=\gamma +2\delta -1\), which are binary Hadamard codes (not necessarily linear) obtained as the Gray map image of quaternary linear codes of type \(2^\gamma 4^\delta \). Specifically, s-PD-sets of minimum size \(s+1\) for \(H_{\gamma , \delta }\), for all \(\delta \ge 3\) and \(2\le s \le \lfloor {\frac{2^{2\delta -2}}{\delta }}\rfloor -1\), are constructed and recursive constructions are described.     

Subconvexity for sup-norms of cusp forms on $$\mathrm{PGL}(n)$$

Let F be an \(L^2\)-normalized Hecke Maaß cusp form for \(\Gamma _0(N) \subseteq {\mathrm{SL}}_{n}({\mathbb {Z}})\) with Laplace eigenvalue \(\lambda _F\). If \(\Omega \) is a compact subset of \(\Gamma _0(N)\backslash {\mathrm{PGL}}_n/\mathrm{PO}_{n}\), we show the bound \(\Vert F|_{\Omega }\Vert _{\infty } \ll _{ \Omega } N^{\varepsilon } \lambda _F^{n(n-1)/8 - \delta }\) for some constant \(\delta = \delta _n> 0\) depending only on n.     

The Dirichlet problem for Einstein metrics on cohomogeneity one manifolds

Let \(G{/}H\) be a compact homogeneous space, and let \(\hat{g}_0\) and \(\hat{g}_1\) be G-invariant Riemannian metrics on \(G/H\). We consider the problem of finding a G-invariant Einstein metric g on the manifold \(G/H\times [0,1]\) subject to the constraint that g restricted to \(G{/}H\times \{0\}\) and \(G/H\times \{1\}\) coincides with \(\hat{g}_0\) and \(\hat{g}_1\), respectively. By assuming that the isotropy representation of \(G/H\) consists of pairwise inequivalent irreducible summands, we show that we can always find such an Einstein metric.     

Lengths of words in transformation semigroups generated by digraphs

Given a simple digraph D on n vertices (with \(n\ge 2\)), there is a natural construction of a semigroup of transformations \(\langle D\rangle \). For any edge (a, b) of D, let \(a\rightarrow b\) be the idempotent of rank \(n-1\) mapping a to b and fixing all vertices other than a; then, define \(\langle D\rangle \) to be the semigroup generated by \(a \rightarrow b\) for all \((a,b) \in E(D)\). For \(\alpha \in \langle D\rangle \), let \(\ell (D,\alpha )\) be the minimal length of a word in E(D) expressing \(\alpha \). It is well known that the semigroup \(\mathrm {Sing}_n\) of all transformations of rank at most \(n-1\) is generated by its idempotents of rank \(n-1\). When \(D=K_n\) is the complete undirected graph, Howie and Iwahori, independently, obtained a formula to calculate \(\ell (K_n,\alpha )\), for any \(\alpha \in \langle K_n\rangle = \mathrm {Sing}_n\); however, no analogous non-trivial results are known when \(D \ne K_n\). In this paper, we characterise all simple digraphs D such that either \(\ell (D,\alpha )\) is equal to Howie–Iwahori’s formula for all \(\alpha \in \langle D\rangle \), or \(\ell (D,\alpha ) = n - \mathrm {fix}(\alpha )\) for all \(\alpha \in \langle D\rangle \), or \(\ell (D,\alpha ) = n - \mathrm {rk}(\alpha )\) for all \(\alpha \in \langle D\rangle \). We also obtain bounds for \(\ell (D,\alpha )\) when D is an acyclic digraph or a strong tournament (the latter case corresponds to a smallest generating set of idempotents of rank \(n-1\) of \(\mathrm {Sing}_n\)). We finish the paper with a list of conjectures and open problems.     

Associate space with respect to a locally $$\sigma $$-finite measure on a $$\delta $$δ-ring and applications to spaces of integrable functions defined by a vector measure

We show that for a locally \(\sigma \)-finite measure \(\mu \) defined on a \(\delta \)-ring, the associate space theory can be developed as in the \(\sigma \)-finite case, and corresponding properties are obtained. Given a saturated \(\sigma \)-order continuous \(\mu \)-Banach function space E, we prove that its dual space can be identified with the associate space \(E ^\times \) if, and only if, \(E^\times \) has the Fatou property. Applying the theory to the spaces \(L^p (\nu )\) and \(L_w^p (\nu )\), where \(\nu \) is a vector measure defined on a \(\delta \)-ring \(\mathcal {R}\) and \(1 \le p < \infty \), we establish results corresponding to those of the case when the vector measure is defined on a \(\sigma \)-algebra.     

On a Characterization of Idempotent Distributions on Discrete Fields and on the Field of <Emphasis Type="Italic">p</Emphasis>-Adic Numbers

We prove the following theorem. Let X be a discrete field, and \(\xi \) and \(\eta \) be independent identically distributed random variables with values in X and distribution \(\mu \). The random variables \(S=\xi +\eta \) and \(D=(\xi -\eta )^2\) are independent if and only if \(\mu \) is an idempotent distribution. A similar result is also proved in the case when \(\xi \) and \(\eta \) are independent identically distributed random variables with values in the field of p-adic numbers \({\mathbf {Q}}_p\), where \(p>2\), assuming that the distribution \(\mu \) has a continuous density.     

Brownian Paths Homogeneously Distributed in Space: Percolation Phase Transition and Uniqueness of the Unbounded Cluster

We consider a continuum percolation model on \(\mathbb {R}^d\), \(d\ge 1\). For \(t,\lambda \in (0,\infty )\) and \(d\in \{1,2,3\}\), the occupied set is given by the union of independent Brownian paths running up to time t whose initial points form a Poisson point process with intensity \(\lambda >0\). When \(d\ge 4\), the Brownian paths are replaced by Wiener sausages with radius \(r>0\). We establish that, for \(d=1\) and all choices of t, no percolation occurs, whereas for \(d\ge 2\), there is a non-trivial percolation transition in t, provided \(\lambda \) and r are chosen properly. The last statement means that \(\lambda \) has to be chosen to be strictly smaller than the critical percolation parameter for the occupied set at time zero (which is infinite when \(d\in \{2,3\}\), but finite and dependent on r when \(d\ge 4\)). We further show that for all \(d\ge 2\), the unbounded cluster in the supercritical phase is unique. Along the way a finite box criterion for non-percolation in the Boolean model is extended to radius distributions with an exponential tail. This may be of independent interest. The present paper settles the basic properties of the model and should be viewed as a springboard for finer results.