OD-Characterization of certain four dimensional linear groups with related results concerning degree patterns

The prime graph of a finite group G, which is denoted by GK(G), is a simple graph whose vertex set is comprised of the prime divisors of |G| and two distinct prime divisors p and q are joined by an edge if and only if there exists an element of order pq in G. Let p₁2<?<p_k be all prime divisors of |G|. Then the degree pattern of G is defined as D(G) = (degG(p₁), degG(p₂), ? , degG(p_k)), where degG(p) signifies the degree of the vertex p in GK(G). A finite group H is said to be OD-characterizable if G? H for every finite group G such that |G| = |H| and D(G) = D(H). The purpose of this article is threefold. First, it finds sharp upper and lower bounds on ?(G), the sum of degrees of all vertices in GK(G), for any finite group G (Theorem 2.1). Second, it provides the degree of vertices 2 and the characteristic p of the base field of any finite simple group of Lie type in their prime graphs (Propositions 3.1-3.7). Third, it proves the linear groups L₄(q), q = 19, 23, 27, 29, 31, 32, and 37, are OD-characterizable (Theorem 4.2).     

Property T and strong property T for unital*-homomorphisms

We introduce and study property T and strong property T for unital*-homomorphisms between two unital C^*-algebras.We also consider the relations between property T and invariant subspaces for some canonical unital^-representations.As a corollary,we show that when G is a discrete group,G is finite if and only if G is amenable and the inclusion map i:Cr^*(G)→B(l^2(G))has property T.We also give some new equivalent forms of property T for countable discrete groups and strong property T for unital C^*-algebras.     

S-semiembedded subgroups of finite groups

A subgroup H of a finite group G is said to be s-semipermutable in G if it is permutable with every Sylow p-subgroup of G with (p, |H|) = 1. We say that a subgroup H of a finite group G is S-semiembedded in G if there exists an s-permutable subgroup T of G such that TH is s-permutable in G and T∩H≤Hs¯G, where Hs¯G is an s-semipermutable subgroup of G contained in H. In this paper, we investigate the influence of S-semiembedded subgroups on the structure of finite groups.     

Flag-transitive 2-(v, k, λ) symmetric designs with (k, λ) = 1 and alternating socle

Consider the flag-transitive 2-(v, k, λ) symmetric designs with (k, λ) = 1. We prove that if {D} is a nontrivial 2-(v, k, λ) symmetric design with (k, λ) = 1 and G≤Aut({D}) is flag-transitive with Soc(G) = A_n for n≥5, then {D} is the projective space PG₂(3,2) and G = A₇.     

Bipartite double cover and perfect 2-matching covered graph with its algorithm

Let B(G) denote the bipartite double cover of a non-bipartite graph G with v≥2 vertices and ? edges. We prove that G is a perfect 2-matching covered graph if and only if B(G) is a 1-extendable graph. Furthermore, we prove that B(G) is a minimally 1-extendable graph if and only if G is a minimally perfect 2-matching covered graph and for each e = xy ∈ E(G), there is an independent set S in G such that |Γ_G(S)| = |S| + 1, x ∈S and |Γ_G-xy(S) | = |S|. Then, we construct a digraph D from B(G) or G and show that D is a strongly connected digraph if and only if G is a perfect 2-matching covered graph. So we design an algorithm in O(v?) time that determines whether G is a perfect 2-matching covered graph or not.     

Large 2P3-free graphs with bounded degree

Let ex^* (D;H) be the maximum number of edges in a connected graph with maximum degree D and no induced subgraph H; this is finite if and only if H is a disjoint union of paths. If the largest component of such an H has order m, then ex^*(D; H) = O(D²ex^*(D; P_m)). Constructively, ex^*(D;qP_m) = Θ(gD²ex^*(D;P_m)) if q>1 and m> 2(Θ(gD²) if m = 2). For H = 2P₃ (and D 8), the maximum number of edges is if D is even and

Full-size image

if D is odd, achieved by a unique extremal graph.     

Properties of Ahlfors constant in Ahlfors covering surface theory

This paper is a subsequent work of [Invent. Math., 2013, 191: 197-253]. The second fundamental theorem in Ahlfors covering surface theory is that, for each set E_q of q (≥3) distinct points in the extended complex plane \overline{ℂ}; there is a minimal positive constant H₀ (E_q) (called Ahlfors constant with respect to E_q), such that the inequality(q-2)A(\sum )-4\pi ♯(f^{-1}(E_q)\cap U)\le H_0(E_q)L(\partial \sum )holds for any simply-connected surface{\displaystyle \sum \mathrm{=}（f,\bar{U}）} ; where A(\sum) is the area of\sum; L(\partial \sum) is the perimeter of\sum; and # denotes the cardinality. It is difficult to compute H₀ (E_q) explicitly for general set E_q; and only a few properties of H₀(E_q) are known. The goals of this paper are to prove the continuity and differentiability of H₀ (E_q); to estimate H₀ (E_q); and to discuss the minimum of H₀ (E_q) for fiixed q.     

Generalized area operators on Lp(?n)

We introduce the generalized area operators by using nonnegative measures defined on upper half-spaces ?+n+1. The characterization of the boundedness and compactness of the generalized area operator from L^p(?n) to L^q(?n) is investigated in terms of s-Carleson measures with 1<p, q<+∞. In the case of p = q = 1, the weak type estimate is also obtained.     

On B6- and B7-groups

A finite group G is said to be a Bn-group if any n-element subset A = {a₁, a₂,..., a_n} of G satisfies \left|A^2\right|=\left|\left\{a_i{a}_j|1\le i,j\le n\right\}\right|\le n(n+1)/2. In this paper, the characterizations of the B₆- and B₇-groups are given.     

Continuity of functors with respect to generalized inductive limits

Let(Ai,φi,i+1) be a generalized indue Live system of a sequeiiee (Ai) of unital separable C^*-algebras,with A =limi→∞(Ai,φi,i+1). Set φj,i=φi-1,i^0…0φj+1,j+2^0 φj,j+1 for all i>j. We prove that if φj,i are order zero completely positive contractions for all j and i>j, And L:=inf{λ|λ∈σ(φj,i(1Aj)) for all j uud i>j}>0, where σ(φj,i(1Aj)) is the speetrum of φj,i(1Aj),than limi→∞(Cu(Ai),Cu((φi,i+1))=Cu(A), where Cu(A) is a stable version of the Cuntz semigroup of C^*-algebra A. Let (An,φm,n) be a generalized inductive syfitem of C^*-algahrafl, with the ipmkn order zero completely positive contractions. We also prove that if the decomposition rank (nuclear dimension) of ,4n is no more t han some integer k for each n, then the decompostition rank (nuclear dimension) of A is also no more than k.     

Superminimal surfaces in hyperquadric Q2

We study a superminimal surface M immersed into a hyperquadric Q₂ in several cases classified by two global defined functions {{\displaystyle \tau }}_X and {{\displaystyle \tau }}_Y, which were introduced by X. X. Jiao and J. Wang to study a minimal immersion f : M\to {{\displaystyle Q}}_{\mathrm{2}}. In case both {{\displaystyle \tau }}_X and {{\displaystyle \tau }}_Y are not identically zero, it is proved that f is superminimal if and only if f is totally real or i\circ f:M\to {ℂ\mathrm{P}}^{\mathrm{3}} is also minimal, where i:{{\displaystyle Q}}_{\mathrm{2}}\to {ℂ\mathrm{P}}^{\mathrm{3}} is the standard inclusion map. In the rest case that {{\displaystyle \tau }}_X\equiv \mathrm{0} or {{\displaystyle \tau }}_Y\equiv \mathrm{0}, the minimal immersion f is automatically superminimal. As a consequence, all the superminimal two-spheres in Q₂ are completely described.     

Majid conjecture: quantum Kac-Moody algebras version

Based on the n-fold tensor product version of the generalized double-bosonization construction, we prove the Majid conjecture of the quantum Kac-Moody algebras version. Particularly, we give explicitly the double-bosonization type-crossing constructions of quantum Kac-Moody algebras for affine types G_2^{(1)} , E_2^{(1)},and Tp,q,r, and in this way, we can recover generators of quantum Kac-Moody algebras with braided groups defined by R-matrices in the related braided tensor category. This gives us a better understanding for the algebra structures themselves of the quantum Kac-Moody algebras as a certain extension of module-algebras/module-coalgebras with respect to the related quantum subalgebras of finite types inside.     

Quasi-periodic solutions for class of Hamiltonian partial differential equations with fixed constant potential

We consider Hamiltonian partial differential equations u_tt +|∂_x|u+ σu = f(u), x ∈ T, t ∈?, with periodic boundary conditions, where f(u) is a real-analytic function of the form f(u) = u⁵ + o(u⁵) near u = 0, σ ∈ (0, 1) is a fixed constant, and \mathbb{T}=?/\mathrm{2}\pi \mathbb{Z}T= R/2πZ. A family of quasi-periodic solutions with 2-dimensional are constructed for the equation above with σ ∈ (0, 1)\ ?. The proof is based on infinite-dimensional KAM theory and partial Birkhoff normal form.     

Mean-square estimate of automorphic L-functions

Let f be a holomorphic Hecke cusp form with even integral weight k≥2 for the full modular group,and letχbe a primitive Dirichlet character modulo q.Let Lf(s,χ)be the automorphic L-function attached to f andχ-We study the mean-square estimate of Lf(s,χ)and establish an asymptotic formula.     

Matchings extend to Hamiltonian cycles in hypercubes with faulty edges

We consider the problem of existence of a Hamiltonian cycle containing a matching and avoiding some edges in an n-cube {{\displaystyle Q}}_n, and obtain the following results. Let n\ge \mathrm{3},\hspace{0.17em}M\subset E({{\displaystyle Q}}_n), and F\subset E({{\displaystyle Q}}_n)\backslash M with \mathrm{1}\le \left|F\right|\le \mathrm{2}n-\mathrm{4}-\left|M\right|. If M is a matching and every vertex is incident with at least two edges in the graph {{\displaystyle Q}}_n-F, then all edges of M lie on a Hamiltonian cycle in {{\displaystyle Q}}_n-F. Moreover, if \left|M\right|=\mathrm{1} or \left|M\right|=\mathrm{2}, then the upper bound of number of faulty edges tolerated is sharp. Our results generalize the well-known result for \left|M\right|=\mathrm{1}.     

Exponential sums involving Maass forms

We study the exponential sums involving l：burmr coeffcients ot Maass forms and exponential functions of the form e（anZ）, where 0 ≠ α∈R and 0 〈 β 〈 1. An asymptotic formula is proved for the nonlinear exponential sum ∑x〈n≤2x λg（n）e（αnβ）, when β = 1/2 and ｜α｜ is close to 2√ q C Z＋, where Ag（n） is the normalized n-th Fourier coefficient of a Maass cusp form for SL2 （Z）. The similar natures of the divisor function 7（n） and the representation function r（n） in the circle problem in nonlinear exponential sums of the above type are also studied.     

Dynamical behaviors for generalized pendulum type equations with p-Laplacian

We consider a pendulum type equation with p-Laplacian {({\varphi }_p(x^{\prime }))}^{\prime }+{G_x}^{\prime }(t,x)=p(t), where {{\displaystyle \varphi }}_p(u)={\left|u\right|}^{p-\mathrm{2}}u,p>\mathrm{1},G(t,x) and p(t) are 1-periodic about every variable. The solutions of this equation present two interesting behaviors. On the one hand, by applying Moser's twist theorem, we find infinitely many invariant tori whenever {\displaystyle {\int }_{\mathrm{0}}^{\mathrm{1}}p(t)}\mathrm{d}t=\mathrm{0}, which yields the bounded-ness of all solutions and the existence of quasi-periodic solutions starting at t = 0 on the invariant tori. On the other hand, if p(t) = 0 and {G_x}^{\prime }(t,x) has some specific forms, we find a full symbolic dynamical system made by solutions which oscillate between any two different trivial solutions of the equation. Such chaotic solutions stay close to the trivial solutions in some fixed intervals, according to any prescribed coin-tossing sequence.     

Number of fixed points for unitary Tn−1-manifold

Let M be a 2n-dimensional closed unitary manifold with a Tⁿ⁻¹-action with only isolated fixed points. In this paper, we first prove that the equivariant cobordism class of a unitary Tⁿ⁻¹-manifold M is just determined by the equivariant Chern numbers c_{\omega }^{T^{n-\mathrm{1}}}[M],where ω= (i₁, i₂, ..., i₆) are the multi-indexes for all i₁, i₂, ..., i₆∈\mathbb{N}. Then we show that if Mdoes not bound equivariantly, then the number of fixed points is greater than or equal to \lceil n/\mathrm{6}\rceil +\mathrm{1}, where \lceil n/\mathrm{6}\rceil denotes the minimum integer no less than n/6.     

Elliptic genera of level N for complete intersections

We focus on the elliptic genera of level N at the cusps of a congruence subgroup for any complete intersection. Writing the first Chern class of a complete intersection as a product of an integral coefficient c₁ and a generator of the 2nd integral cohomology group, we mainly discuss the values of the elliptic genera of level N for the complete intersection in the cases of c₁>, =, or<0, In particular, the values about the Todd genus, \widehat{A}\mathrm{-genus}, and A_k-genus can be derived from the elliptic genera of level N.