arXiv subjects
Publications and source records attributed to Keivan Mallahi-Karai.
We will give a criterion for the amenability of arbitrary locally finite trees. The criterion is based on the trimming operator which is defined on the space of trees. As an application, we obtain a necessary and sufficient condition for that amenability of Galton-Watson trees.
We will prove an S-arithmetic version of a theorem of Dani-Margulis on the convergence of ergodic averages of a given bounded continuous function, when the initial point is outside certain compact subsets of the singular set associated to the unipotent flow.
Let $F$ be a non-Archimedean local field with the ring of integers $\mathcal{O}$ and the prime ideal $\mathfrak{p}$ and let $G={\bf G}\left(\mathcal{O}/\mathfrak{p}^n\right)$ be the adjoint Chevalley group. Let $m_f(G)$ denote the smallest possible dimension of a faithful representation of $G$. Using the Stone-von Neumann theorem, we determine a lower bound for $m_f(G)$ which is asymptotically the same as the results of Landazuri, Seitz and Zalesskii for split Chevalley groups over $\mathbb{F}_q$. Our result yields a conceptual explanation of the exponents that appear in the aforementioned results
For a group $G$, we denote by $m_{faithful}(G)$, the smallest dimension of a faithful complex representation of $G$. Let $F$ be a non-Archimedean local field with the ring of integers $\mathcal{O}$ and the maximal ideal $\mathfrak{p}$. In this paper, we compute the precise value of $m_{faithful}(G)$ when $G$ is the Heisenberg group over $\mathcal{O}/\mathfrak{p}^n$. We then use the Weil representation to compute the minimal dimension of faithful representations of the group of unitriangular matrices over $\mathcal{O}/\mathfrak{p}^n$ and many of its subgroups. By a theorem of Karpenko and Merkurjev, our result yields the precise value of the essential dimension of the latter finite groups.
For a field $F$ and a quadratic form $Q$ defined on an $n$-dimensional vector space $V$ over $F$, let $\mathrm{QG}_Q$, called the quadratic graph associated to $Q$, be the graph with the vertex set $V$ where vertices $u,w \in V$ form an edge if and only if $Q(v-w)=1$. Quadratic graphs can be viewed as natural generalizations of the unit-distance graph featuring in the famous Hadwiger-Nelson problem. In the present paper, we will prove that for a local field $F$ of characteristic zero, the Borel chromatic number of $\mathrm{QG}_Q$ is infinite if and only if $Q$ represents zero non-trivially over $F$. The proof employs a recent spectral bound for the Borel chromatic number of Cayley graphs, combined with an analysis of certain oscillatory integrals over local fields. As an application, we will also answer a variant of question 525 proposed in the 22nd British Combinatorics Conference 2009.
Let a finite group $G$ act transitively on a finite set $X$. A subset $S\subseteq G$ is said to be {\it intersecting} if for any $s_1,s_2\in S$, the element $s_1^{-1}s_2$ has a fixed point. The action is said to have the {\it weak Erdős-Ko-Rado} property, if the cardinality of any intersecting set is at most $|G|/|X|$. If, moreover, any maximal intersecting set is a coset of a point stabilizer, the action is said to have the {\it strong Erdős-Ko-Rado} property. In this paper we will investigate the weak and strong Erdős-Ko-Rado property and attempt to classify the groups whose all transitive actions have these properties. In particular, we show that a group with the weak Erdős-Ko-Rado property is solvable and that a nilpotent group with the strong Erdős-Ko-Rado property is product of a $2$-group and an abelian group of odd order.
We will investigate quasi-randomness for profinite groups. We will obtain bounds for the mininal degree of non-trivial representations of $\mathrm{SL}_k(\mathbb{Z}/(p^n\mathbb{Z}))$ and $\mathrm{Sp}_{2k}(\mathbb{Z}/(p^n\mathbb{Z}))$. Our method also delivers a lower bound for the minimal degree of a faithful representation for these groups. Using the suitable machinery from functional analysis, we establish exponential lower and upper bounds for the supremal measure of a product-free measurable subset of the profinite groups $\mathrm{SL}_{k}({\mathbb{Z}_p})$ and $\mathrm{Sp}_{2k}(\mathbb{Z}_p)$. We also obtain analogous bounds for a special subgroup of the automorphism group of a regular tree.