Ideals in deformation quantizations over Z/pnZ

Let k be a perfect field of characteristic $p>2$. Let $A_1$ be an Azumaya algebra over a smooth symplectic affine variety over k. Let $A_n$ be a deformation quantization of $A_1$ over $W_n(\mathbf{k})$. We prove that all $W_n(\mathbf{k})$-flat two-sided ideals of $A_n$ are generated by central elements.     

Compact simple Lie groups admitting left-invariant Einstein metrics that are not geodesic orbit

In this article, we prove that the compact simple Lie groups $\mathrm{S}\mathrm{U}(n)$ for $n\ge 6$, $\mathrm{S}\mathrm{O}(n)$ for $n\ge 7$, $\mathrm{S}\mathrm{p}(n)$ for $n\ge 3$, ${\mathrm{E}}_6,{\mathrm{E}}_7,{\mathrm{E}}_8$, and ${\mathrm{F}}_4$ admit left-invariant Einstein metrics that are not geodesic orbit. This gives a positive answer to an open problem recently posed by Nikonorov.     

Partitions of natural numbers with the same weighted representation functions

TextFor any given two positive integers $k_1$ and $k_2$, and any set A of nonnegative integers, let $r_{k_1,k_2}(A,n)$ denote the number of solutions of the equation $n=k_1{a}_1+k_2{a}_2$ with $a_1,a_2\in A$. In this paper, we determine all pairs $k_1,k_2$ of positive integers for which there exists a set $A?\mathbb{N}$ such that $r_{k_1,k_2}(A,n)=r_{k_1,k_2}(\mathbb{N}?A,n)$ for all $n?n_0$. We also pose several problems for further research.VideoFor a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=EnezEsJl0OY.     

Non-level semi-standard graded Cohen–Macaulay domain with h-vector (h0,h1,h2)

Let $\mathbb{k}$ be an algebraically closed field of characteristic 0, and $A={?}_{i\in \mathbb{N}}{A}_i$ a Cohen–Macaulay graded domain with $A_0=\mathbb{k}$. If A is semi-standard graded (i.e., A is finitely generated as a $\mathbb{k}[A_1]$-module), it has the h-vector$(h_0,h_1,\dots ,h_s)$, which encodes the Hilbert function of A. From now on, assume that $s=2$. It is known that if A is standard graded (i.e., $A=\mathbb{k}[A_1]$), then A is level. We will show that, in the semi-standard case, if A is not level, then $h_1+1$ divides $h_2$. Conversely, for any positive integers h and n, there is a non-level A with the h-vector $(1,h,(h+1)n)$. Moreover, such examples can be constructed as Ehrhart rings (equivalently, normal toric rings).     

Boundedness and asymptotic stability of solutions to a two-species chemotaxis system with consumption of chemoattractant

This paper deals with a two-competing-species chemotaxis system with consumption of chemoattractant

$\{\begin{array}{cc}{u}_t=d_1\mathrm{\Delta }u?\mathrm{?}?(u{\chi }_1(w)\mathrm{?}w)+{\mu }_{1}u(1?u?a_{1}v),\hfill & x\in \mathrm{\Omega },t>0,\hfill \\ v_t=d_2\mathrm{\Delta }v?\mathrm{?}?(v{\chi }_2(w)\mathrm{?}w)+{\mu }_{2}v(1?a_{2}u?v),\hfill & x\in \mathrm{\Omega },t>0,\hfill \\ w_t=d_3\mathrm{\Delta }w?(\alpha u+\beta v)w,\hfill & x\in \mathrm{\Omega },t>0\hfill \end{array}$

under homogeneous Neumann boundary conditions in a bounded domain $\mathrm{\Omega }?{\mathbb{R}}^n$ ($n\ge 1$) with smooth boundary, where the initial data $(u_0,v_0)\in {(C^0(\stackrel{￣}{\mathrm{\Omega }}))}^2$ and $w_0\in W^{1,\infty }(\mathrm{\Omega })$ are non-negative and the parameters $d_1,d_2,d_3>0$, ${\mu }_1,{\mu }_2>0$, $a_1,a_2>0$ and $\alpha ,\beta >0$. The chemotactic function ${\chi }_i(w)$ ($i=1,2$) is smooth and satisfying some conditions. It is proved that the corresponding initial–boundary value problem possesses a unique global bounded classical solution if one of the following cases hold: for $i=1,2$,(i) ${\chi }_i(w)={\chi }_{0,i}>0$ and

${6w_{0}6}_{L^{\infty }(\mathrm{\Omega })}<\frac{\pi \sqrt{d_i{d}_3}}{\sqrt{n+1}{\chi }_{0,i}}?\frac{2\sqrt{d_i{d}_3}}{\sqrt{n+1}{\chi }_{0,i}}\arctan ?\frac{d_i?d_3}{2}\sqrt{\frac{n+1}{d_i{d}_3}};$

(ii) $0<{6w_{0}6}_{L^{\infty }(\mathrm{\Omega })}\le \frac{d_3}{3(n+1){6{\chi }_{i}6}_{L^{\infty }[0,{6w_{0}6}_{L^{\infty }(\mathrm{\Omega })}]}}\min ?\{\frac{2d_i}{d_i+d_3},1\}$.Moreover, we prove asymptotic stabilization of solutions in the sense that:? If $a_1,a_2\in (0,1)$ and $u_0\ne 0\ne v_0$, then any global bounded solution exponentially converge to $(\frac{1?a_1}{1?a_1{a}_2},\frac{1?a_2}{1?a_1{a}_2},0)$ as $t\to \infty$;? If $a_1>1>a_2>0$ and $v_0\ne 0$, then any global bounded solution exponentially converge to $(0,1,0)$ as $t\to \infty$;? If $a_1=1>a_2>0$ and $v_0\ne 0$, then any global bounded solution algebraically converge to $(0,1,0)$ as $t\to \infty$.     

Automorphism groups of Cayley graphs generated by block transpositions and regular Cayley maps

This paper deals with the Cayley graph $\mathrm{Cay}({\mathrm{Sym}}_n,T_n)$, where the generating set consists of all block transpositions. A motivation for the study of these particular Cayley graphs comes from current research in Bioinformatics. As the main result, we prove that $\text{Aut}\left(\mathrm{Cay}({\mathrm{Sym}}_n,T_n)\right)$ is the product of the left translation group and a dihedral group ${\mathsf{D}}_{n+1}$ of order $2(n+1)$. The proof uses several properties of the subgraph $\Gamma$ of $\mathrm{Cay}({\mathrm{Sym}}_n,T_n)$ induced by the set $T_n$. In particular, $\Gamma$ is a $2(n?2)$-regular graph whose automorphism group is ${\mathsf{D}}_{n+1},$ $\Gamma$ has as many as $n+1$ maximal cliques of size $2$, and its subgraph $\Gamma \left(V\right)$ whose vertices are those in these cliques is a 3-regular, Hamiltonian, and vertex-transitive graph. A relation of the unique cyclic subgroup of ${\mathsf{D}}_{n+1}$ of order $n+1$ with regular Cayley maps on ${\text{Sym}}_n$ is also discussed. It is shown that the product of the left translation group and the latter group can be obtained as the automorphism group of a non-$t$-balanced regular Cayley map on ${\text{Sym}}_n$.     

The E-normal structure of odd dimensional unitary groups

In this paper we define odd dimensional unitary groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$. These groups contain as special cases the odd dimensional general linear groups ${\mathrm{GL}}_{2n+1}(R)$ where R is any ring, the odd dimensional orthogonal and symplectic groups ${\mathrm{O}}_{2n+1}(R)$ and ${\mathrm{Sp}}_{2n+1}(R)$ where R is any commutative ring and further the first author's even dimensional unitary groups ${\mathrm{U}}_{2n}(R,\mathrm{\Lambda })$ where $(R,\mathrm{\Lambda })$ is any form ring. We classify the E-normal subgroups of the groups ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ (i.e. the subgroups which are normalized by the elementary subgroup ${\mathrm{EU}}_{2n+1}(R,\mathrm{\Delta })$), under the condition that R is either a semilocal or quasifinite ring with involution and $n\ge 3$. Further we investigate the action of ${\mathrm{U}}_{2n+1}(R,\mathrm{\Delta })$ by conjugation on the set of all E-normal subgroups.     

On AP3-covering sequences

Recently, motivated by Stanley's sequences, Kiss, Sándor, and Yang introduced a new type sequence: a sequence A of nonnegative integers is called an $A{P}_k$-covering sequence if there exists an integer $n_0$ such that, if $n>n_0$, then there exist $a_1\in A,\dots ,a_{k?1}\in A$, $a_1<a_2<?<a_{k?1}<n$ such that $a_1,\dots ,a_{k?1},n$ form a k-term arithmetic progression. They prove that there exists an $A{P}_3$-covering sequence A such that $\underset{n\to \infty }{\lim \sup }A(n)/\sqrt{n}\le 34$. In this note, we prove that there exists an $A{P}_3$-covering sequence A such that $\underset{n\to \infty }{\lim \sup }A(n)/\sqrt{n}=\sqrt{15}$.