Arc-transitive Dihedrants of Odd Prime-power Order

Let G be a finite group with identity element 1, and S be a subset of G such that ${1 \notin S}$ and S = S ^?1. The Cayley graph Cay(G, S) has vertex set G, and x, y in G are adjacent if and only if ${xy^{-1} \in S}$ . In this paper we classify the connected, arc-transitive Cayley graphs ${{\rm Cay}(D_{2p^n}, S),}$ where ${D_{2p^n}}$ is the dihedral group of order 2p ⁿ , p is an odd prime.     

On additive decompositions of the set of primitive roots modulo p

It is conjectured that the set ${\mathcal {G}}$ of the primitive roots modulo p has no decomposition (modulo p) of the form ${\mathcal {G}= \mathcal {A} +\mathcal {B}}$ with ${|\mathcal {A}|\ge 2}$ , ${|\mathcal {B} |\ge 2}$ . This conjecture seems to be beyond reach but it is shown that if such a decomposition of ${\mathcal {G}}$ exists at all, then ${|\mathcal {A} |}$ , ${|\mathcal {B} |}$ must be around p ^1/2, and then this result is applied to show that ${\mathcal {G}}$ has no decomposition of the form ${\mathcal {G} =\mathcal {A} + \mathcal {B} + \mathcal {C}}$ with ${|\mathcal {A} |\ge 2}$ , ${|\mathcal {B} |\ge 2}$ , ${|\mathcal {C} |\ge 2}$ .     

On the L p -distortion of finite quotients of amenable groups

We study the L ^p -distortion of finite quotients of amenable groups. In particular, for every ${2\leq p < \infty}$ , we prove that the ? ^p -distortions of the groups ${C_2\wr C_n}$ and ${C_{2^n}\rtimes C_n}$ are in ${\Theta((\log n)^{1/p}),}$ and that the ? ^p -distortion of ${C_n^2 \rtimes_A \mathbf{Z}}$ , where A is the matrix ${{\left({\small\begin{array}{cc}2 & 1 \\ 1 & 1 \end{array}} \right)}}$ is in ${\Theta((\log \log n)^{1/p}).}$      

C 4p -frame of complete multipartite multigraphs

For two graphs G and H their wreath product ${G \otimes H}$ has the vertex set ${V(G) \times V(H)}$ in which two vertices (g ₁, h ₁) and (g ₂, h ₂) are adjacent whenever ${g_{1}g_{2} \in E(G)}$ or g ₁ =  g ₂ and ${h_{1}h_{2} \in E(H)}$ . Clearly ${K_{m} \otimes I_{n}}$ , where I _n is an independent set on n vertices, is isomorphic to the complete m-partite graph in which each partite set has exactly n vertices. A subgraph of the complete multipartite graph ${K_m \otimes I_n}$ containing vertices of all but one partite set is called partial factor. An H-frame of ${K_m \otimes I_n}$ is a decomposition of ${K_m \otimes I_n}$ into partial factors such that each component of it is isomorphic to H. In this paper, we investigate C _2k -frames of ${(K_m \otimes I_n)(\lambda)}$ , and give some necessary or sufficient conditions for such a frame to exist. In particular, we give a complete solution for the existence of a C _4p -frame of ${(K_m \otimes I_n)(\lambda)}$ , where p is a prime, as follows: For an integer m ≥  3 and a prime p, there exists a C _4p -frame of ${(K_m \otimes I_n)(\lambda)}$ if and only if ${(m-1)n \equiv 0 ({\rm {mod}} {4p})}$ and at least one of m, n must be even, when λ is odd.     

Estimates in Beurling-Helson type theorems: Multidimensional case

We consider the spaces A _p ( $\mathbb{T}^m $ ) of functions f on the m-dimensional torus $\mathbb{T}^m $ such that the sequence of Fourier coefficients $\hat f = \{ \hat f(k),k \in \mathbb{Z}^m \} $ belongs to l ^p (? ^m ), 1 ≤ p < 2. The norm on A _p ( $\mathbb{T}^m $ ) is defined by $\left\| f \right\|_{A_p (\mathbb{T}^m )} = \left\| {\hat f} \right\|_{l^p (\mathbb{Z}^m )} $ . We study the rate of growth of the norms $\left\| {e^{i\lambda \phi } } \right\|_{A_p (\mathbb{T}^m )} $ as |λ| → ∞, λ ∈ ?, for C ¹-smooth real functions φ on $\mathbb{T}^m $ (the one-dimensional case was investigated by the author earlier). The lower estimates that we obtain have direct analogs for the spaces A _p (? ^m ).     

Equal Quasi-Partition of p-Groups

Let S be a subgroup of a group G. A set ${\Pi= \{H_1, \ldots , H_n\}}$ of subgroups ${H_i (i = 1, \ldots ,n)}$ with ${G=\cup_{H_i\in\Pi}H_i}$ is said to be an equal quasi-partition of G if ${H_i\cap H_j\cong S}$ and ${|H_i|=|H_j|}$ for all ${H_i, H_j\in\Pi}$ with ${i\ne j}$ . In this paper we investigate finite p-groups such that a subset of their maximal subgroups form an equal quasi-partition.     

Sur un problème de capitulation du corps ℚ\sqrt {p_1 p_2 } , i dont le 2-groupe de classes est élémentaire

Let p ₁ ≡ p ₂ ≡ 1 (mod 8) be primes such that \(\left( {\tfrac{{p_1 }} {{p_2 }}} \right) = - 1\) and \(\left( {\tfrac{2} {{a + b}}} \right) = - 1\) , where p ₁ p ₂ = a ²+b ². Let \(i = \sqrt { - 1} \) , d = p ₁ p ₂, \(\Bbbk = \mathbb{Q}(\sqrt {d,} i),\Bbbk _2^{(1)} \) be the Hilbert 2-class field and \(\Bbbk ^{(*)} = \mathbb{Q}(\sqrt {p_1 } ,\sqrt {p_2 } ,i)\) be the genus field of \(\Bbbk \) . The 2-part \(C_{\Bbbk ,2} \) of the class group of \(\Bbbk \) is of type (2, 2, 2), so \(\Bbbk _2^{(1)} \) contains seven unramified quadratic extensions \(\mathbb{K}_j /\Bbbk \) and seven unramified biquadratic extensions \(\mathbb{L}_j /\Bbbk \) . Our goal is to determine the fourteen extensions, the group \(C_{\Bbbk ,2} \) and to study the capitulation problem of the 2-classes of \(\Bbbk \) .     

On {\mathbb{F}_q} -Rational Structure of Nilpotent Orbits in the Witt Algebra

Let ${\mathfrak{g}=W_1}$ be the p-dimensional Witt algebra over an algebraically closed field ${k=\overline{\mathbb{F}}_q}$ , where p > 3 is a prime and q is a power of p. Let G be the automorphism group of ${\mathfrak{g}}$ . The Frobenius morphism F _G (resp. ${F_\mathfrak{g}}$ ) can be defined naturally on G (resp. ${\mathfrak{g}}$ ). In this paper, we determine the ${F_\mathfrak{g}}$ -stable G-orbits in ${\mathfrak{g}}$ . Furthermore, the number of ${\mathbb{F}_q}$ -rational points in each ${F_\mathfrak{g}}$ -stable orbit is precisely given. Consequently, we obtain the number of ${\mathbb{F}_q}$ -rational points in the nilpotent variety.     

{\mathbb{G}_a^ M} degeneration of flag varieties

Let ${\mathcal{F}_\lambda}$ be a generalized flag variety of a simple Lie group G embedded into the projectivization of an irreducible G-module V _λ . We define a flat degeneration ${\mathcal{F}_\lambda^a}$ , which is a ${\mathbb{G}^M_a}$ variety. Moreover, there exists a larger group G ^a acting on ${\mathcal{F}_\lambda^a}$ , which is a degeneration of the group G. The group G ^a contains ${\mathbb{G}^M_a}$ as a normal subgroup. If G is of type A, then the degenerate flag varieties can be embedde‘d into the product of Grassmannians and thus to the product of projective spaces. The defining ideal of ${\mathcal{F}_\lambda}$ is generated by the set of degenerate Plücker relations. We prove that the coordinate ring of ${\mathcal{F}_\lambda^a}$ is isomorphic to a direct sum of dual PBW-graded ${\mathfrak{g}}$ -modules. We also prove that there exists bases in multi-homogeneous components of the coordinate rings, parametrized by the semistandard PBW-tableux, which are analogs of semistandard tableaux.     

The Majorization Theorem for Signless Laplacian Spectral Radii of Connected Graphs

Let ${\pi=(d_{1},d_{2},\ldots,d_{n})}$ and ${\pi'=(d'_{1},d'_{2},\ldots,d'_{n})}$ be two non-increasing degree sequences. We say ${\pi}$ is majorizated by ${\pi'}$ , denoted by ${\pi \vartriangleleft \pi'}$ , if and only if ${\pi\neq \pi'}$ , ${\sum_{i=1}^{n}d_{i}=\sum_{i=1}^{n}d'_{i}}$ , and ${\sum_{i=1}^{j}d_{i}\leq\sum_{i=1}^{j}d'_{i}}$ for all ${j=1,2,\ldots,n}$ . If there exists one connected graph G with ${\pi}$ as its degree sequence and ${c=(\sum_{i=1}^{n}d_{i})/2-n+1}$ , then G is called a c-cyclic graph and ${\pi}$ is called a c-cyclic degree sequence. Suppose ${\pi}$ is a non-increasing c-cyclic degree sequence and ${\pi'}$ is a non-increasing graphic degree sequence, if ${\pi \vartriangleleft \pi'}$ and there exists some t ${(2\leq t\leq n)}$ such that ${d'_{t}\geq c+1}$ and ${d_{i}=d'_{i}}$ for all ${t+1\leq i\leq n}$ , then the majorization ${\pi \vartriangleleft \pi'}$ is called a normal majorization. Let μ(G) be the signless Laplacian spectral radius, i.e., the largest eigenvalue of the signless Laplacian matrix of G. We use C _π to denote the class of connected graphs with degree sequence π. If ${G \in C_{\pi}}$ and ${\mu(G)\geq \mu(G')}$ for any other ${G'\in C_{\pi}}$ , then we say G has greatest signless Laplacian radius in C _π . In this paper, we prove that: Let π and π′ be two different non-increasing c-cyclic (c ≥ 0) degree sequences, G and G′ be the connected c-cyclic graphs with greatest signless Laplacian spectral radii in C _π and C _π', respectively. If ${\pi \vartriangleleft \pi'}$ and it is a normal majorization, then ${\mu(G) < \mu(G')}$ . This result extends the main result of Zhang (Discrete Math 308:3143–3150, 2008).     

MULTIPLICITY-FREE PRIMITIVE IDEALS ASSOCIATED WITH RIGID NILPOTENT ORBITS

Let G be a simple algebraic group defined over ?. Let e be a nilpotent element in $ \mathfrak{g} $ = Lie(G) and denote by U ( $ \mathfrak{g} $ , e) the finite W-algebra associated with the pair ( $ \mathfrak{g} $ , e). It is known that the component group Γ of the centraliser of e in G acts on the set ? of all one-dimensional representations of U ( $ \mathfrak{g} $ , e). In this paper we prove that the fixed point set ?^Γ is non-empty. As a corollary, all finite W-algebras associated with $ \mathfrak{g} $ admit one-dimensional representations. In the case of rigid nilpotent elements in exceptional Lie algebras we find irreducible highest weight $ \mathfrak{g} $ -modules whose annihilators in U ( $ \mathfrak{g} $ ) come from one-dimensional representations of U ( $ \mathfrak{g} $ , e) via Skryabin’s equivalence. As a consequence, we show that for any nilpotent orbit $ \mathcal{O} $ in $ \mathfrak{g} $ there exists a multiplicity-free (and hence completely prime) primitive ideal of U ( $ \mathfrak{g} $ ) whose associated variety equals the Zariski closure of $ \mathcal{O} $ in $ \mathfrak{g} $ .     

Poisson kernel and Cauchy formula of a non-symmetric transitive domain

In 1965, Lu Yu-Qian discovered that the Poisson kernel of the homogenous domain S m,p,q={Z∈Cm×m, Z1∈Cm×p,Z2 ∈Cq×m|2i1( Z-Z+)-Z1Z1′-Z2′Z20} does not satisfy the Laplace-Beltrami equation associated with the Bergman metric when S m,p,q is not symmetric. However the map T0:Z→Z, Z1→Z1 , Z2→Z2 transforms S m,p,q into a domain S I (m, m + p + q) which can be mapped by the Cayley transformation into the classical domains R I (m, m + p + q). The pull back of the Bergman metric of R I (m, m + p + q) to S m,p,q is a Riemann metric ds 2 which is not a Khler metric and even not a Hermitian metric in general. It is proved that the Laplace-Beltrami operator associated with the metric ds 2 when it acts on the Poisson kernel of S m,p,q equals 0. Consequently, the Cauchy formula of S m,p,q can be obtained from the Poisson formula.     

On Zero-Sum {\mathbb{Z}_k} -Magic Labelings of 3-Regular Graphs

Let G =  (V, E) be a finite loopless graph and let (A, +) be an abelian group with identity 0. Then an A-magic labeling of G is a function ${\phi}$ from E into A ? {0} such that for some ${a \in A, \sum_{e \in E(v)} \phi(e) = a}$ for every ${v \in V}$ , where E(v) is the set of edges incident to v. If ${\phi}$ exists such that a =  0, then G is zero-sum A-magic. Let zim(G) denote the subset of ${\mathbb{N}}$ (the positive integers) such that ${1 \in zim(G)}$ if and only if G is zero-sum ${\mathbb{Z}}$ -magic and ${k \geq 2 \in zim(G)}$ if and only if G is zero-sum ${\mathbb{Z}_k}$ -magic. We establish that if G is 3-regular, then ${zim(G) = \mathbb{N} - \{2\}}$ or ${\mathbb{N} - \{2,4\}.}$      

Toeplitz Operators on Fock Spaces {F^{p}(\varphi)}

Given \({\varphi\in \verb"C"^2(\textbf{C}^n)}\) satisfying \({dd^{c}\varphi\simeq \omega_0}\) , 0 < p < ∞, let \({F^p(\varphi)}\) be the generalized Fock space of all holomorphic functions f on \({{\mathbf C}^n}\) for which the Fock norm $$\|f\|_{p, \varphi}=\left(\,\int_{{\mathbf C}^n} \left|f(z)\right|^{p}e^ {-p\varphi(z)}dv(z)\right)^{\frac{1}{p}} < \infty. $$ While \({\varphi(z)=\frac{1}{2}|z|^2}\) , \({F^{p}(\varphi)}\) is the classical Fock space F ^p . In this paper, for all possible 0 < p,q < ∞ we characterize those positive Borel measures μ on \({{\mathbf C}^n}\) for which the induced Toeplitz operators T _μ are bounded (or compact) from one generalized Fock spaces \({F^p(\varphi)}\) to another \({F^q(\varphi)}\) . With symbols \({g\in BMO}\) , we obtain Zorborska’s criterion for boundedness (or compactness) of Toeplitz operators T _g on F ^p , our work extends the known results on F ². Toeplitz operators on p-th Fock space with 0 < p < 1 have not been studied before, even in the simplest case that \({\varphi(z)=\frac{1}{2}|z|^2}\) . Our analysis shows a significant difference between Bergman spaces and Fock spaces.     

Cops and Robber Game with a Fast Robber on Expander Graphs and Random Graphs

We consider a variant of the Cops and Robber game, in which the robber has unbounded speed, i.e., can take any path from her vertex in her turn, but she is not allowed to pass through a vertex occupied by a cop. Let ${c_{\infty}(G)}$ denote the number of cops needed to capture the robber in a graph G in this variant. We characterize graphs G with c _??(G) =? 1, and give an ${O( \mid V(G)\mid^2)}$ algorithm for their detection. We prove a lower bound for c _?? of expander graphs, and use it to prove three things. The first is that if ${np \geq 4.2 {\rm log}n}$ then the random graph ${G= \mathcal{G}(n, p)}$ asymptotically almost surely has ${\eta_{1}/p \leq \eta_{2}{\rm log}(np)/p}$ , for suitable positive constants ${\eta_{1}}$ and ${\eta_{2}}$ . The second is that a fixed-degree random regular graph G with n vertices asymptotically almost surely has ${c_{\infty}(G) = \Theta(n)}$ . The third is that if G is a Cartesian product of m paths, then ${n/4km^2 \leq c_{\infty}(G) \leq n/k}$ , where ${n = \mid V(G)\mid}$ and k is the number of vertices of the longest path.     

On functions whose symmetric part of gradient agree and a generalization of Reshetnyak’s compactness theorem

We consider the following question: Given a connected open domain ${\Omega \subset \mathbb{R}^n}$ , suppose ${u, v : \Omega \rightarrow \mathbb{R}^n}$ with det ${(\nabla u) > 0}$ , det ${(\nabla v) > 0}$ a.e. are such that ${\nabla u^T(x)\nabla u(x) = \nabla v(x)^T \nabla v(x)}$ a.e. , does this imply a global relation of the form ${\nabla v(x) = R\nabla u(x)}$ a.e. in Ω where ${R \in SO(n)}$ ? If u, v are C ¹ it is an exercise to see this true, if ${u, v\in W^{1,1}}$ we show this is false. In Theorem 1 we prove this question has a positive answer if ${v \in W^{1,1}}$ and ${u \in W^{1,n}}$ is a mapping of L ^p integrable dilatation for p > n ? 1. These conditions are sharp in two dimensions and this result represents a generalization of the corollary to Liouville’s theorem that states that the differential inclusion ${\nabla u \in SO(n)}$ can only be satisfied by an affine mapping. Liouville’s corollary for rotations has been generalized by Reshetnyak who proved convergence of gradients to a fixed rotation for any weakly converging sequence ${v_k \in W^{1,1}}$ for which $$\int \limits_{\Omega} {\rm dist}(\nabla v_k, SO(n))dz \rightarrow 0 \, {\rm as} \, k \rightarrow \infty.$$ Let S(·) denote the (multiplicative) symmetric part of a matrix. In Theorem 3 we prove an analogous result to Theorem 1 for any pair of weakly converging sequences ${v_k \in W^{1,p}}$ and ${u_k \in W^{1,\frac{p(n-1)}{p-1}}}$ (where ${p \in [1, n]}$ and the sequence (u _k ) has its dilatation pointwise bounded above by an L ^r integrable function, r > n ? 1) that satisfy ${\int_{\Omega} |S(\nabla u_k) - S(\nabla v_k)|^p dz \rightarrow 0}$ as k → ∞ and for which the sign of the det ${(\nabla v_k)}$ tends to 1 in L ¹. This result contains Reshetnyak’s theorem as the special case (u _k ) ≡ Id, p = 1.     

Dichotomies for Lorentz spaces

Assume that L ^p,q , $L^{p_1 ,q_1 } ,...,L^{p_n ,q_n } $ are Lorentz spaces. This article studies the question: what is the size of the set $E = \{ (f_1 ,...,f_n ) \in L^{p_{1,} q_1 } \times \cdots \times L^{p_n ,q_n } :f_1 \cdots f_n \in L^{p,q} \} $ . We prove the following dichotomy: either $E = L^{p_1 ,q_1 } \times \cdots \times L^{p_n ,q_n } $ or E is σ-porous in $L^{p_1 ,q_1 } \times \cdots \times L^{p_n ,q_n } $ , provided 1/p ≠ 1/p ₁ + … + 1/p _n . In general case we obtain that either $E = L^{p_1 ,q_1 } \times \cdots \times L^{p_n ,q_n } $ or E is meager. This is a generalization of the results for classical L ^p spaces.