$${\mathbb{Z}_2\mathbb{Z}_4}$$-linear codes: rank and kernel

A code C{{\mathcal C}} is \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-additive if the set of coordinates can be partitioned into two subsets X and Y such that the punctured code of C{{\mathcal C}} by deleting the coordinates outside X (respectively, Y) is a binary linear code (respectively, a quaternary linear code). The corresponding binary codes of \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-additive codes under an extended Gray map are called \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes. In this paper, the invariants for \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes, the rank and dimension of the kernel, are studied. Specifically, given the algebraic parameters of \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes, the possible values of these two invariants, giving lower and upper bounds, are established. For each possible rank r between these bounds, the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code with rank r is given. Equivalently, for each possible dimension of the kernel k, the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code with dimension of the kernel k is given. Finally, the bounds on the rank, once the kernel dimension is fixed, are established and the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code for each possible pair (r, k) is given.     

All 4-Edge-Connected HHD-Free Graphs are {\mathbb{Z}_3}-Connected

An undirected graph G = (V, E) is called \mathbbZ₃{\mathbb{Z}_3}-connected if for all b: V ? \mathbbZ₃{b: V \rightarrow \mathbb{Z}_3} with ?_{v ? V}b(v)=0{\sum_{v \in V}b(v)=0}, an orientation D = (V, A) of G has a \mathbbZ₃{\mathbb{Z}_3}-valued nowhere-zero flow f: A? \mathbbZ₃-{0}{f: A\rightarrow \mathbb{Z}_3-\{0\}} such that ?_{e ? d⁺(v)}f(e)-?_{e ? d^-(v)}f(e)=b(v){\sum_{e \in \delta^+(v)}f(e)-\sum_{e \in \delta^-(v)}f(e)=b(v)} for all v ? V{v \in V}. We show that all 4-edge-connected HHD-free graphs are \mathbbZ₃{\mathbb{Z}_3}-connected. This extends the result due to Lai (Graphs Comb 16:165–176, 2000), which proves the \mathbbZ₃{\mathbb{Z}_3}-connectivity for 4-edge-connected chordal graphs.     

Characterizations of Bent and Almost Bent Function on {\mathbb{Z}_p^2}

Bent and almost-bent functions on \mathbbZ_p²{\mathbb{Z}_p^2} are studied in this paper. By calculating certain exponential sum and using a technique due to Hou (Finite Fields Appl 10:566–582, 2004), we obtain a degree bound for quasi-bent functions, and prove that almost-bent functions on \mathbbZ_p²{\mathbb{Z}_p^2} are equivalent to a degenerate quadratic form. From the viewpoint of relative difference sets, we also characterize bent functions on \mathbbZ_p²{\mathbb{Z}_p^2} in two classes of M{\mathcal{M}} ’s and PS{\mathcal{PS}} ’s, and show that the graph set corresponding to a bent function on \mathbbZ_p²{\mathbb{Z}_p^2} can be written as the sum of a graph set of M{\mathcal{M}} ’s type bent function and another group ring element. By using our characterization and some technique of permutation polynomial, we obtain the result: a bent function must be of M{\mathcal{M}} ’s type if its corresponding set contains more than (p − 3)/2 flats. A problem proposed by Ma and Pott (J Algebra 175:505–525, 1995) is therefore partially answered.     

Affine \mathbb{T} -varieties of complexity one and locally nilpotent derivations

Let X = Spec A be a normal affine variety over an algebraically closed field k of characteristic 0 endowed with an effective action of a torus \mathbbT \mathbb{T} of dimension n. Let also ∂ be a homogeneous locally nilpotent derivation on the normal affine \mathbbZⁿ {\mathbb{Z}^n} -graded domain A, so that ∂ generates a k ₊-action on X that is normalized by the \mathbbT \mathbb{T} -action.     

The affine preservers of non-singular matrices

When \mathbbK{\mathbb{K}} is an arbitrary field, we study the affine automorphisms of M_n(\mathbbK){{\rm M}_n(\mathbb{K})} that stabilize GL_n(\mathbbK){{\rm GL}_n(\mathbb{K})}. Using a theorem of Dieudonné on maximal affine subspaces of singular matrices, this is easily reduced to the known case of linear preservers when n > 2 or # ${\mathbb{K} > 2}${\mathbb{K} > 2}. We include a short new proof of the more general Flanders theorem for affine subspaces of M_p,q(\mathbbK){{\rm M}_{p,q}(\mathbb{K})} with bounded rank. We also find that the group of affine transformations of M₂(\mathbbF₂){{\rm M}_2(\mathbb{F}_2)} that stabilize GL₂(\mathbbF₂){{\rm GL}_2(\mathbb{F}_2)} does not consist solely of linear maps. Using the theory of quadratic forms over \mathbbF₂{\mathbb{F}_2}, we construct explicit isomorphisms between it, the symplectic group Sp₄(\mathbbF₂){{\rm Sp}_4(\mathbb{F}_2)} and the symmetric group \mathfrakS₆{\mathfrak{S}_6}.     

Absolutely convergent fourier series. An improvement of the Beurling-Helson theorem

We consider the space A(\mathbbT)A(\mathbb{T}) of all continuous functions f on the circle \mathbbT\mathbb{T} such that the sequence of Fourier coefficients [^(f)] = { [^(f)]( k ), k ? \mathbbZ }\hat f = \left\{ {\hat f\left( k \right), k \in \mathbb{Z}} \right\} belongs to l ¹(ℤ). The norm on A(\mathbbT)A(\mathbb{T}) is defined by || f ||_A(\mathbbT) = || [^(f)] ||_{l¹ (\mathbbZ)}\left\| f \right\|_{A(\mathbb{T})} = \left\| {\hat f} \right\|_{l^1 (\mathbb{Z})}. According to the well-known Beurling-Helson theorem, if f:\mathbbT ? \mathbbT\phi :\mathbb{T} \to \mathbb{T} is a continuous mapping such that || e^inf ||_A(\mathbbT) = O(1)\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = O(1), n ∈ ℤ then φ is linear. It was conjectured by Kahane that the same conclusion about φ is true under the assumption that || e^inf ||_A(\mathbbT) = o( log| n | )\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\log \left| n \right|} \right). We show that if $\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right)$\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right), then φ is linear.     

The Cesàro operator on the Bergman space $ A^{2} (\mathbb{D}) $

The Cesàro operator is shown to be subdecomposable on the Bergman spaces A^p (\mathbbD) A^{p} (\mathbb{D}) for p \geqq 2 p \geqq 2 , extending a result of [12] to the case that p < 4. For A² (\mathbbD) A^{2} (\mathbb{D}) , we show that Cesàro operator is in fact subscalar, but in contrast to the situation in the Hardy space, C |_A² C |_{A^2} fails to be hyponormal.     

Uncorrelatedness and correlatedness of powers of random variables

Let x₁, ?, x_n \xi_1, \ldots, \xi_n be random variables and U be a subset of the Cartesian product \mathbbZ₊ⁿ, \mathbbZ₊ \mathbb{Z}_+^n, \mathbb{Z}_+ being the set of all non-negative integers. The random variables are said to be strictly U-uncorrelated if¶¶E(x₁^j₁ ?x_n^j_n) = E(x₁^j₁) ?E(x_n^j_n) ? (j₁, ... ,j_n) ? U. \textbf {E}\big(\xi_1^{j_1} \cdots \xi_n^{j_n}\big) = \textbf {E}\big(\xi_1^{j_1}\big) \cdots \textbf {E}\big(\xi_n^{j_n}\big) \iff (j_1, \dots ,j_n) \in U. ¶It is proved that for an arbitrary subset U \subseteqq \mathbbZ₊ⁿ U \subseteqq \mathbb{Z}_+^n containing all points with 0 or 1 non-zero coordinates there exists a collection of n strictly U-uncorrelated random variables.     

Periodicity of Non-Central Integral Arrangements Modulo Positive Integers

An integral coefficient matrix determines an integral arrangement of hyperplanes in \mathbbR^m{\mathbb{R}^m} . After modulo q reduction ${(q \in {\mathbb{Z}_{ >0 }})}${(q \in {\mathbb{Z}_{ >0 }})} , the same matrix determines an arrangement A_q{\mathcal{A}_q} of “hyperplanes” in \mathbbZ^m_q{\mathbb{Z}^m_q} . In the special case of central arrangements, Kamiya, Takemura, and Terao [J. Algebraic Combin. 27(3), 317–330 (2008)] showed that the cardinality of the complement of A_q{\mathcal{A}_q} in \mathbbZ^m_q{\mathbb{Z}^m_q} is a quasi-polynomial in ${q \in {\mathbb{Z}_{ >0 }}}${q \in {\mathbb{Z}_{ >0 }}} . Moreover, they proved in the central case that the intersection lattice of A_q{\mathcal{A}_q} is periodic from some q on. The present paper generalizes these results to the case of non-central arrangements. The paper also studies the arrangement [^(B)]_m^[0,a]{\hat{\mathcal{B}}_m^{[0,a]}} of Athanasiadis [J. Algebraic Combin. 10(3), 207–225 (1999)] to illustrate our results.     

Dimension Free Estimates for Riesz Transforms Associated to the Harmonic Oscillator on \mathbb{R}^{n}

Let L=?Δ+|ξ|² be the harmonic oscillator on $\mathbb{R}^{n}Let L=−Δ+|ξ|² be the harmonic oscillator on \mathbbRⁿ\mathbb{R}^{n} , with the associated Riesz transforms R_2j−1=(∂/∂ξ_j)L^−1/2,R_2j=ξ_jL^−1/2. We give a shorter proof of a recent result of Harboure, de Rosa, Segovia, Torrea: For 1<p<∞ and a dimension free constant C_p,

||(?k=12n|Rk(f)|2)1/2||Lp(\mathbbRn,dx)\leqslant Cp||f||Lp(\mathbbRn,dx).\bigg\Vert \bigg(\sum_{k=1}^{2n}\vert R_{k}(f)\vert ^{2}\bigg)^{{1}/{2}}\bigg\Vert _{L^{p}(\mathbb{R}^{n},\mathrm{d}\xi )}\leqslant C_{p}\Vert f\Vert _{L^{p}(\mathbb{R}^{n},\mathrm{d}\xi )}.      11. Open orbifold Gromov-Witten invariants of {[\mathbb{C}^3/\mathbb{Z}_n]}: localization and mirror symmetry      Andrea Brini  Renzo Cavalieri 《Selecta Mathematica, New Series》2011,17(4):879-933 We develop a mathematical framework for the computation of open orbifold Gromov-Witten invariants of [\mathbbC3/\mathbbZn]{[\mathbb{C}^3/\mathbb{Z}_n]} and provide extensive checks with predictions from open string mirror symmetry. To this aim, we set up a computation of open string invariants in the spirit of Katz-Liu [23], defining them by localization. The orbifold is viewed as an open chart of a global quotient of the resolved conifold, and the Lagrangian as the fixed locus of an appropriate anti-holomorphic involution. We consider two main applications of the formalism. After warming up with the simpler example of [\mathbbC3/\mathbbZ3]{[\mathbb{C}^3/\mathbb{Z}_3]} , where we verify physical predictions of Bouchard, Klemm, Mari?o and Pasquetti [4,5], the main object of our study is the richer case of [\mathbbC3/\mathbbZ4]{[\mathbb{C}^3/\mathbb{Z}_4]} , where two different choices are allowed for the Lagrangian. For one choice, we make numerical checks to confirm the B-model predictions; for the other, we prove a mirror theorem for orbifold disc invariants, match a large number of annulus invariants, and give mirror symmetry predictions for open string invariants of genus ≤ 2.      12. M?bius transform, moment-angle complexes and Halperin–Carlsson conjecture      Xiangyu Cao  Zhi Lü 《Journal of Algebraic Combinatorics》2012,35(1):121-140 The motivation for this paper comes from the Halperin–Carlsson conjecture for (real) moment-angle complexes. We first give an algebraic combinatorics formula for the M?bius transform of an abstract simplicial complex K on [m]={1,…,m} in terms of the Betti numbers of the Stanley–Reisner face ring k(K) of K over a field k. We then employ a way of compressing K to provide the lower bound on the sum of those Betti numbers using our formula. Next we consider a class of generalized moment-angle complexes ZK(\mathbb D, \mathbb S)\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})}, including the moment-angle complex ZK\mathcal{Z}_{K} and the real moment-angle complex \mathbbRZK\mathbb{R}\mathcal {Z}_{K} as special examples. We show that H*(ZK(\mathbb D, \mathbb S);k)H^{*}(\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})};\mathbf{k}) has the same graded k-module structure as Tor  k[v](k(K),k). Finally we show that the Halperin–Carlsson conjecture holds for ZK\mathcal{Z}_{K} (resp. \mathbb RZK\mathbb{ R}\mathcal{Z}_{K}) under the restriction of the natural T m -action on ZK\mathcal{Z}_{K} (resp. (ℤ2) m -action on \mathbb RZK\mathbb{ R}\mathcal{Z}_{K}).      13. On modules over integer-valued group rings of locally soluble groups with rank restrictions imposed on subgroups      O. Yu. Dashkova 《Ukrainian Mathematical Journal》2012,63(9):1379-1389 We study a \mathbbZG \mathbb{Z}G -module A such that \mathbbZ \mathbb{Z} is the ring of integer numbers, the group G has an infinite sectional p-rank (or an infinite 0-rank), C G (A) = 1, A is not a minimax \mathbbZ \mathbb{Z} -module, and, for any proper subgroup H of infinite sectional p-rank (or infinite 0-rank, respectively), the quotient module A/C A (H) is a minimax \mathbbZ \mathbb{Z} -module. It is shown that if the group G is locally soluble, then it is soluble. Some properties of soluble groups of this kind are discussed.      14. Spectral decomposition and Gelfand’s theorem      A. Driouich  O. El-Mennaoui  M. Jazar 《Semigroup Forum》2010,80(3):391-404 We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set $\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\}We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set s(A)={ilk;k ? \mathbb\mathbbZ*}\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\} is discrete and satisfies ?\frac1|lk|ldkn < ￥\sum \frac{1}{|\lambda_{k}|^{\ell}\delta_{k}^{n}}<\infty , where ℓ is a nonnegative integer and dk=min(\frac|lk+1-lk|2,\frac|lk-1-lk|2)\delta _{k}=\min(\frac{|\lambda_{k+1}-\lambda _{k}|}{2},\frac{|\lambda _{k-1}-\lambda _{k}|}{2}) . In this case, Theorem 3, we show by using Gelfand’s Theorem that there exists a family of projectors (Pk)k ? \mathbb\mathbbZ*(P_{k})_{k\in\mathbb{\mathbb{Z}}^{*}} such that, for any x∈D(A n+ℓ ), the decomposition ∑P k x=x holds.      15. The distribution of dense Sidon subsets of $ \mathbb{Z}_m $      T. Schoen 《Archiv der Mathematik》2002,79(3):171-174 Let S \subseteqq \mathbbZm S \subseteqq \mathbb{Z}_m be a Sidon set of cardinality | S | = m1/2 + O(1) \mid S \mid = m^{1 \over 2} + O(1) . It is proved, in particular, that for any interval á = {a, a + 1, ?, a + l- 1} {\cal I} = \{a, a + 1, \ldots, a + \ell - 1\} in \mathbbZm \mathbb{Z}_m , 0 \leqq l 0 \leqq \ell < m, we have | | S ?á | - | S | l/m | = O( | S | 1/2ln m) \big| {\mid S \cap {\cal I} \mid - \mid S \mid \ell/m} \big| = O(\mid S \mid^{1 \over 2}\textrm{ln}\, m) .      16. Classifying a family of edge-transitive metacirculant graphs      Shu-Jiao Song  Cai Heng Li  Dianjun Wang 《Journal of Algebraic Combinatorics》2012,35(3):497-513 A characterization is given of the class of edge-transitive Cayley graphs of Frobenius groups \mathbbZpd:\mathbbZq\mathbb{Z}_{p^{d}}{:}\mathbb{Z}_{q} with p,q odd prime, of valency coprime to p. This characterization is then used to study an isomorphism problem regarding Cayley graphs, and to construct new families of half-arc-transitive graphs.      17. Characterization of $ {\mathbb{A}_{16}} $ by a noncommuting graph      M. R. Darafsheh  M. Davoudi Monfared 《Ukrainian Mathematical Journal》2011,62(11):1673-1679 Let G be a finite non-Abelian group. We define a graph Γ G ; called the noncommuting graph of G; with a vertex set G − Z(G) such that two vertices x and y are adjacent if and only if xy ≠ yx: Abdollahi, Akbari, and Maimani put forward the following conjecture (the AAM conjecture): If S is a finite non-Abelian simple group and G is a group such that Γ S ≅ Γ G ; then S ≅ G: It is still unknown if this conjecture holds for all simple finite groups with connected prime graph except \mathbbA10 {\mathbb{A}_{10}} , L 4(8), L 4(4), and U 4(4). In this paper, we prove that if \mathbbA16 {\mathbb{A}_{16}} denotes the alternating group of degree 16; then, for any finite group G; the graph isomorphism G\mathbbA16 @ GG {\Gamma_{{\mathbb{A}_{16}}}} \cong {\Gamma_G} implies that \mathbbA16 @ G {\mathbb{A}_{16}} \cong G .      18. On the dimension of invariant measures of endomorphisms of $${\mathbb{C}\mathbb{P}^k}$$      Christophe Dupont 《Mathematische Annalen》2011,349(3):509-528 Let f be an endomorphism of \mathbbC\mathbbPk{\mathbb{C}\mathbb{P}^k} and ν be an f-invariant measure with positive Lyapunov exponents (λ 1, . . . , λ k ). We prove a lower bound for the pointwise dimension of ν in terms of the degree of f, the exponents of ν and the entropy of ν. In particular our result can be applied for the maximal entropy measure μ. When k = 2, it implies that the Hausdorff dimension of μ is estimated by dimHm 3 [(log d)/(l1)] + [(log d)/(l2)]{{\rm dim}_\mathcal{H}\mu \geq {{\rm log} d \over \lambda_1} + {{\rm log} d \over \lambda_2}}, which is half of the conjectured formula. Our method for proving these results consists in studying the distribution of the ν-generic inverse branches of f n in \mathbbC\mathbbPk{\mathbb{C}\mathbb{P}^k} . Our tools are a volume growth estimate for the bounded holomorphic polydiscs in \mathbbC\mathbbPk{\mathbb{C}\mathbb{P}^k} and a normalization theorem for the ν-generic inverse branches of f n .      19. Modular Lie algebras and the Gelfand–Kirillov conjecture      Alexander Premet 《Inventiones Mathematicae》2010,181(2):395-420 Let ${\mathfrak{g}}Let \mathfrakg{\mathfrak{g}} be a finite dimensional simple Lie algebra over an algebraically closed field \mathbbK\mathbb{K} of characteristic 0. Let \mathfrakg\mathbbZ{\mathfrak{g}}_{{\mathbb{Z}}} be a Chevalley ℤ-form of \mathfrakg{\mathfrak{g}} and \mathfrakg\Bbbk=\mathfrakg\mathbbZ?\mathbbZ\Bbbk{\mathfrak{g}}_{\Bbbk}={\mathfrak{g}}_{{\mathbb{Z}}}\otimes _{{\mathbb{Z}}}\Bbbk, where \Bbbk\Bbbk is the algebraic closure of  \mathbbFp{\mathbb{F}}_{p}. Let G\BbbkG_{\Bbbk} be a simple, simply connected algebraic \Bbbk\Bbbk-group with \operatornameLie(G\Bbbk)=\mathfrakg\Bbbk\operatorname{Lie}(G_{\Bbbk})={\mathfrak{g}}_{\Bbbk}. In this paper, we apply recent results of Rudolf Tange on the fraction field of the centre of the universal enveloping algebra U(\mathfrakg\Bbbk)U({\mathfrak{g}}_{\Bbbk}) to show that if the Gelfand–Kirillov conjecture (from 1966) holds for \mathfrakg{\mathfrak{g}}, then for all p≫0 the field of rational functions \Bbbk (\mathfrakg\Bbbk)\Bbbk ({\mathfrak{g}}_{\Bbbk}) is purely transcendental over its subfield \Bbbk(\mathfrakg\Bbbk)G\Bbbk\Bbbk({\mathfrak{g}}_{\Bbbk})^{G_{\Bbbk}}. Very recently, it was proved by Colliot-Thélène, Kunyavskiĭ, Popov, and Reichstein that the field of rational functions \mathbbK(\mathfrakg){\mathbb{K}}({\mathfrak{g}}) is not purely transcendental over its subfield \mathbbK(\mathfrakg)\mathfrakg{\mathbb{K}}({\mathfrak{g}})^{\mathfrak{g}} if \mathfrakg{\mathfrak{g}} is of type B n , n≥3, D n , n≥4, E6, E7, E8 or F4. We prove a modular version of this result (valid for p≫0) and use it to show that, in characteristic 0, the Gelfand–Kirillov conjecture fails for the simple Lie algebras of the above types. In other words, if \mathfrakg{\mathfrak{g}} is of type B n , n≥3, D n , n≥4, E6, E7, E8 or F4, then the Lie field of \mathfrakg{\mathfrak{g}} is more complicated than expected.      20. On finite 2-groups of the type $ {\mathbb{Z}_2} \wr G $      Yurii G. Leonov 《Journal of Mathematical Sciences》2011,179(2):290-299 A wreath product of the type \mathbbZ2 \wr G {\mathbb{Z}_2} \wr G is considered for any finite 2-group G. The monomorphism of such a group in the well-known Kaloujnine group P 2,m is studied for a suitable natural m.

Open orbifold Gromov-Witten invariants of {[\mathbb{C}^3/\mathbb{Z}_n]}: localization and mirror symmetry

We develop a mathematical framework for the computation of open orbifold Gromov-Witten invariants of [\mathbbC³/\mathbbZ_n]{[\mathbb{C}^3/\mathbb{Z}_n]} and provide extensive checks with predictions from open string mirror symmetry. To this aim, we set up a computation of open string invariants in the spirit of Katz-Liu [23], defining them by localization. The orbifold is viewed as an open chart of a global quotient of the resolved conifold, and the Lagrangian as the fixed locus of an appropriate anti-holomorphic involution. We consider two main applications of the formalism. After warming up with the simpler example of [\mathbbC³/\mathbbZ₃]{[\mathbb{C}^3/\mathbb{Z}_3]} , where we verify physical predictions of Bouchard, Klemm, Mari?o and Pasquetti [4,5], the main object of our study is the richer case of [\mathbbC³/\mathbbZ₄]{[\mathbb{C}^3/\mathbb{Z}_4]} , where two different choices are allowed for the Lagrangian. For one choice, we make numerical checks to confirm the B-model predictions; for the other, we prove a mirror theorem for orbifold disc invariants, match a large number of annulus invariants, and give mirror symmetry predictions for open string invariants of genus ≤ 2.     

M?bius transform, moment-angle complexes and Halperin–Carlsson conjecture

The motivation for this paper comes from the Halperin–Carlsson conjecture for (real) moment-angle complexes. We first give an algebraic combinatorics formula for the M?bius transform of an abstract simplicial complex K on [m]={1,…,m} in terms of the Betti numbers of the Stanley–Reisner face ring k(K) of K over a field k. We then employ a way of compressing K to provide the lower bound on the sum of those Betti numbers using our formula. Next we consider a class of generalized moment-angle complexes Z_K^{(\mathbb D, \mathbb S)}\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})}, including the moment-angle complex Z_K\mathcal{Z}_{K} and the real moment-angle complex \mathbbRZ_K\mathbb{R}\mathcal {Z}_{K} as special examples. We show that H^*(Z_K^{(\mathbb D, \mathbb S)};k)H^{*}(\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})};\mathbf{k}) has the same graded k-module structure as Tor  ^k[v](k(K),k). Finally we show that the Halperin–Carlsson conjecture holds for Z_K\mathcal{Z}_{K} (resp. \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}) under the restriction of the natural T ^m -action on Z_K\mathcal{Z}_{K} (resp. (ℤ₂) ^m -action on \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}).     

On modules over integer-valued group rings of locally soluble groups with rank restrictions imposed on subgroups

We study a \mathbbZG \mathbb{Z}G -module A such that \mathbbZ \mathbb{Z} is the ring of integer numbers, the group G has an infinite sectional p-rank (or an infinite 0-rank), C _G (A) = 1, A is not a minimax \mathbbZ \mathbb{Z} -module, and, for any proper subgroup H of infinite sectional p-rank (or infinite 0-rank, respectively), the quotient module A/C _A (H) is a minimax \mathbbZ \mathbb{Z} -module. It is shown that if the group G is locally soluble, then it is soluble. Some properties of soluble groups of this kind are discussed.     

Spectral decomposition and Gelfand’s theorem

We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set $\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\}We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set s(A)={il_k;k ? \mathbb\mathbbZ^*}\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\} is discrete and satisfies ?\frac1|l_k|^ld_kⁿ < ￥\sum \frac{1}{|\lambda_{k}|^{\ell}\delta_{k}^{n}}<\infty , where ℓ is a nonnegative integer and d_k=min(\frac|l_k+1-l_k|2,\frac|l_k-1-l_k|2)\delta _{k}=\min(\frac{|\lambda_{k+1}-\lambda _{k}|}{2},\frac{|\lambda _{k-1}-\lambda _{k}|}{2}) . In this case, Theorem 3, we show by using Gelfand’s Theorem that there exists a family of projectors (P_k)_{k ? \mathbb\mathbbZ^*}(P_{k})_{k\in\mathbb{\mathbb{Z}}^{*}} such that, for any x∈D(A ^n+ℓ ), the decomposition ∑P _k x=x holds.     

The distribution of dense Sidon subsets of $ \mathbb{Z}_m $

Let S \subseteqq \mathbbZ_m S \subseteqq \mathbb{Z}_m be a Sidon set of cardinality | S | = m^1/₂ + O(1) \mid S \mid = m^{1 \over 2} + O(1) . It is proved, in particular, that for any interval á = {a, a + 1, ?, a + l- 1} {\cal I} = \{a, a + 1, \ldots, a + \ell - 1\} in \mathbbZ_m \mathbb{Z}_m , 0 \leqq l 0 \leqq \ell < m, we have | | S ?á | - | S | l/m | = O( | S | ^1/₂ln m) \big| {\mid S \cap {\cal I} \mid - \mid S \mid \ell/m} \big| = O(\mid S \mid^{1 \over 2}\textrm{ln}\, m) .     

Classifying a family of edge-transitive metacirculant graphs

A characterization is given of the class of edge-transitive Cayley graphs of Frobenius groups \mathbbZ_p^d:\mathbbZ_q\mathbb{Z}_{p^{d}}{:}\mathbb{Z}_{q} with p,q odd prime, of valency coprime to p. This characterization is then used to study an isomorphism problem regarding Cayley graphs, and to construct new families of half-arc-transitive graphs.     

Characterization of $ {\mathbb{A}_{16}} $ by a noncommuting graph

Let G be a finite non-Abelian group. We define a graph Γ _G ; called the noncommuting graph of G; with a vertex set G − Z(G) such that two vertices x and y are adjacent if and only if xy ≠ yx: Abdollahi, Akbari, and Maimani put forward the following conjecture (the AAM conjecture): If S is a finite non-Abelian simple group and G is a group such that Γ _S ≅ Γ _G ; then S ≅ G: It is still unknown if this conjecture holds for all simple finite groups with connected prime graph except \mathbbA₁₀ {\mathbb{A}_{10}} , L ₄(8), L ₄(4), and U ₄(4). In this paper, we prove that if \mathbbA₁₆ {\mathbb{A}_{16}} denotes the alternating group of degree 16; then, for any finite group G; the graph isomorphism G_\mathbbA16 @ G_G {\Gamma_{{\mathbb{A}_{16}}}} \cong {\Gamma_G} implies that \mathbbA₁₆ @ G {\mathbb{A}_{16}} \cong G .     

On the dimension of invariant measures of endomorphisms of $${\mathbb{C}\mathbb{P}^k}$$

Let f be an endomorphism of \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} and ν be an f-invariant measure with positive Lyapunov exponents (λ ₁, . . . , λ _k ). We prove a lower bound for the pointwise dimension of ν in terms of the degree of f, the exponents of ν and the entropy of ν. In particular our result can be applied for the maximal entropy measure μ. When k = 2, it implies that the Hausdorff dimension of μ is estimated by dim_Hm 3 [(log d)/(l₁)] + [(log d)/(l₂)]{{\rm dim}_\mathcal{H}\mu \geq {{\rm log} d \over \lambda_1} + {{\rm log} d \over \lambda_2}}, which is half of the conjectured formula. Our method for proving these results consists in studying the distribution of the ν-generic inverse branches of f ⁿ in \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} . Our tools are a volume growth estimate for the bounded holomorphic polydiscs in \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} and a normalization theorem for the ν-generic inverse branches of f ⁿ .     

Modular Lie algebras and the Gelfand–Kirillov conjecture

Let ${\mathfrak{g}}Let \mathfrakg{\mathfrak{g}} be a finite dimensional simple Lie algebra over an algebraically closed field \mathbbK\mathbb{K} of characteristic 0. Let \mathfrakg_\mathbbZ{\mathfrak{g}}_{{\mathbb{Z}}} be a Chevalley ℤ-form of \mathfrakg{\mathfrak{g}} and \mathfrakg_\Bbbk=\mathfrakg_\mathbbZ?_\mathbbZ\Bbbk{\mathfrak{g}}_{\Bbbk}={\mathfrak{g}}_{{\mathbb{Z}}}\otimes _{{\mathbb{Z}}}\Bbbk, where \Bbbk\Bbbk is the algebraic closure of  \mathbbF_p{\mathbb{F}}_{p}. Let G_\BbbkG_{\Bbbk} be a simple, simply connected algebraic \Bbbk\Bbbk-group with \operatornameLie(G_\Bbbk)=\mathfrakg_\Bbbk\operatorname{Lie}(G_{\Bbbk})={\mathfrak{g}}_{\Bbbk}. In this paper, we apply recent results of Rudolf Tange on the fraction field of the centre of the universal enveloping algebra U(\mathfrakg_\Bbbk)U({\mathfrak{g}}_{\Bbbk}) to show that if the Gelfand–Kirillov conjecture (from 1966) holds for \mathfrakg{\mathfrak{g}}, then for all p≫0 the field of rational functions \Bbbk (\mathfrakg_\Bbbk)\Bbbk ({\mathfrak{g}}_{\Bbbk}) is purely transcendental over its subfield \Bbbk(\mathfrakg_\Bbbk)^G_\Bbbk\Bbbk({\mathfrak{g}}_{\Bbbk})^{G_{\Bbbk}}. Very recently, it was proved by Colliot-Thélène, Kunyavskiĭ, Popov, and Reichstein that the field of rational functions \mathbbK(\mathfrakg){\mathbb{K}}({\mathfrak{g}}) is not purely transcendental over its subfield \mathbbK(\mathfrakg)^\mathfrakg{\mathbb{K}}({\mathfrak{g}})^{\mathfrak{g}} if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄. We prove a modular version of this result (valid for p≫0) and use it to show that, in characteristic 0, the Gelfand–Kirillov conjecture fails for the simple Lie algebras of the above types. In other words, if \mathfrakg{\mathfrak{g}} is of type B _n , n≥3, D _n , n≥4, E₆, E₇, E₈ or F₄, then the Lie field of \mathfrakg{\mathfrak{g}} is more complicated than expected.     

On finite 2-groups of the type $ {\mathbb{Z}_2} \wr G $

A wreath product of the type \mathbbZ₂ \wr G {\mathbb{Z}_2} \wr G is considered for any finite 2-group G. The monomorphism of such a group in the well-known Kaloujnine group P _2,m is studied for a suitable natural m.